127
click to vote
SAFECOMP
14 years 11 months ago
2010 Springer 
A safety case should provide a clear, comprehensible and defensible argument, supported by evidence, that a system is acceptably safe to operate in a particular environment. This a...
103
click to vote
SAFECOMP
14 years 11 months ago
2010 Springer 
Abstract. With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on...
128
click to vote
SAFECOMP
14 years 11 months ago
2010 Springer 
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
114
click to vote
SAFECOMP
14 years 11 months ago
2010 Springer 
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
108
click to vote
SAFECOMP
14 years 11 months ago
2010 Springer 
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
|
Security Privacy