Assurance Benefits of ISO 26262 compliant Microcontrollers for safety-critical Avionics.

Andreas Schwierz Håkan Forsberg

Published in: CoRR (2018)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
agent architecture
nuclear power plant
support systems
regulatory requirements
adaptive systems
real time
decision support system
knowledge based systems