133 search results - page 24 / 27 » Transactor-based Formal Verification of Real-time Embedded S... |
114
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
119
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
110
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
128
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
135
Voted
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...