SAFECOMP
2009
Springer
13 years 9 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
SAFECOMP
2009
Springer
13 years 11 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
SAFECOMP
2009
Springer
13 years 11 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
SAFECOMP
2009
Springer
13 years 11 months ago
2009
Springer
SAFECOMP
2009
Springer
13 years 11 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...