25 search results - page 2 / 5 » Establishing Evidence for Safety Cases in Automotive Systems... |
DAC
1997
ACM
13 years 9 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
PRDC
2008
IEEE
14 years 5 days ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
HICSS
2006
IEEE
13 years 12 months ago
2006
IEEE
Utilization of Radio Frequency Identification (RFID) is often presented as improving supply chain management even though there are still few in-depth studies that support the hype...
QEST
2009
IEEE
14 years 15 days ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
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...