112
click to vote
SAFECOMP
15 years 6 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...
113
click to vote
SAFECOMP
15 years 6 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 6 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...
84
Voted
SAFECOMP
15 years 6 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...
78
Voted
SAFECOMP
15 years 6 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