Login / Signup
Modelling Support for Design of Safety-Critical Automotive Embedded Systems.
De-Jiu Chen
Rolf Johansson
Henrik Lönn
Yiannis Papadopoulos
Anders Sandberg
Fredrik Törner
Martin Törngren
Published in:
SAFECOMP (2008)
Keyphrases
</>
embedded systems
safety critical
support systems
low cost
safety analysis
embedded software
formal methods
hw sw
fault tolerant
regulatory requirements
hardware software
field programmable gate array
agent architecture
software systems
software architecture
decision support
decision support system