Software Development for Real-Time Safety-Critical Applications.

Andrew J. Kornecki Janusz Zalewski

Published in: SEW Tutorial Notes (2005)

Keyphrases

safety critical
software development
real time
formal methods
fault tolerant
embedded systems
agent architecture
safety analysis
nuclear power plant
support systems
software engineering
regulatory requirements
low cost
software architecture
adaptive systems
control system
intelligent agents
decision support