485 search results - page 9 / 97 » System Safety Requirements as Control Structures |
JTRES
2009
ACM
14 years 1 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
ICN
2009
Springer
14 years 1 months ago
2009
Springer
In contrast to classic train protection systems where most of the safety measures are built into the rail infrastructure, future versions of the European railway safety system ERT...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
– This paper describes a wireless sensor network for mine safety monitoring. Based on the characteristics of underground mine gallery and the requirements for mine safety monitor...
GECCO
2007
Springer
14 years 20 days ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...