1031 search results - page 152 / 207 » On the Formal Development of Safety-Critical Software |
ENTCS
2007
13 years 7 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
JSA
2002
13 years 7 months ago
2002
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
We report on one organization's experience making process changes in a suite of projects. The changes were motivated by clients’ requests for better time estimates, better ...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...