Title :
Using COTS software in high assurance control applications
Author_Institution :
CS, UIUC
Keywords :
Application software; Cities and towns; Control systems; Costs; Electrical capacitance tomography; Embedded system; Fault tolerance; Feedback control; Marine vehicles; Neural networks;
Conference_Titel :
High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on
Print_ISBN :
0-7695-0418-3
DOI :
10.1109/HASE.1999.809485