32 search results - page 1 / 7 » Synchronous Design and Verification of Critical Embedded Sys... |
FMICS
2007
Springer
13 years 12 months ago
2007
Springer
ISOLA
2004
Springer
13 years 11 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
SAFECOMP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
ISCAS
2007
IEEE
13 years 12 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
HYBRID
2005
Springer
13 years 11 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...