A codesign approach for safety-critical automotive applications.

Reinhard von Hanxleden Ali Botorabi Slawomir Kupczyk

Published in: IEEE Micro (1998)

Keyphrases

safety critical
formal methods
agent architecture
fault tolerant
embedded systems
nuclear power plant
safety analysis
support systems
regulatory requirements
adaptive systems
software agents
machine learning
real time
intelligent agents
low cost
patient care
decision making
databases