Software Tools for Safety-Critical Systems According to DO-254.

Andrew J. Kornecki Brian Butka Janusz Zalewski

Published in: Computer (2008)

Keyphrases

software tools
safety critical
formal methods
safety analysis
embedded systems
nuclear power plant
fault tolerant
agent architecture
support systems
management system
adaptive systems
decision making
ambient intelligence
software components