Safety-Critical Systems Built with COTS.
Joseph A. Profeta IIINikos P. AndrianosBing YuBarry W. JohnsonTodd A. DeLongDavid GuaspariDamir JamsekPublished in: Computer (1996)
Keyphrases
- safety critical
- formal methods
- safety analysis
- agent architecture
- embedded systems
- distributed systems
- third party
- fault tolerant
- real time
- user interface
- information systems
- learning systems
- knowledge based systems
- software components
- software engineering
- object oriented
- support systems
- reinforcement learning
- nuclear power plant