SAFECOMP
15 years 2 months ago
2005 Springer 
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
SAFECOMP
15 years 2 months ago
2005 Springer 
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
SAFECOMP
15 years 2 months ago
2005 Springer 
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...
63
Voted
SAFECOMP
15 years 2 months ago
2005 Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
60
Voted
SAFECOMP
15 years 2 months ago
2005 Springer 
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
|
Security Privacy