A discussion on the Ada Run-Time Environment in safety critical applications.

James V. Chelini

Published in: ACM SIGSOFT Softw. Eng. Notes (1992)

Keyphrases

safety critical
real time
fault tolerant
artificial intelligence
embedded systems
formal methods
nuclear power plant
machine learning