3801 search results - page 17 / 761 » An Approach to Modeling Software Safety |
LCTRTS
2010
Springer
14 years 7 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
JAIR
2010
14 years 4 months ago
2010
The Aviation Safety Reporting System collects voluntarily submitted reports on aviation safety incidents to facilitate research work aiming to reduce such incidents. To effectivel...
EMSOFT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
SEUS
2007
IEEE
15 years 3 months ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...