25 search results - page 1 / 5 » Establishing Evidence for Safety Cases in Automotive Systems... |
SAFECOMP
2007
Springer
13 years 11 months ago
2007
Springer
ISSRE
2010
IEEE
13 years 3 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
SAFECOMP
2010
Springer
13 years 3 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...
GI
2007
Springer
13 years 9 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...