63 search results - page 10 / 13 » Safety Properties Ensured by the OASIS Model for Safety Crit... |
HAPTICS
2003
IEEE
14 years 2 months ago
2003
IEEE
In previous papers, a passive control implementation structure is proposed for mechanical systems interacting with physical environments. The proposed implementation structure enf...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
SRDS
1999
IEEE
14 years 1 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
ZUM
2000
Springer
14 years 10 days ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...