Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics.

Andreas Schwierz Håkan Forsberg

Published in: SAFECOMP (2018)

Keyphrases

safety critical
formal methods
nuclear power plant
fault tolerant
embedded systems
safety analysis
agent architecture
support systems
adaptive systems
regulatory requirements
cooperative
knowledge based systems
data model
intelligent agents