277 search results - page 8 / 56 » Program Spectra Analysis in Embedded Software: A Case Study |
110
click to vote
ESE
2006
14 years 11 months ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
81
Voted
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
114
click to vote
ICDCIT
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
82
Voted
CSMR
2005
IEEE
15 years 5 months ago
2005
IEEE
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...