Title :
Heterogeneous verification of embedded control systems
Author :
Kumar, Rajesh ; Krogh, Bruce H.
Author_Institution :
Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA
Abstract :
Heterogeneous verification is the integration of verification results from several formal and informal activities using different tools and different models to achieve system-level verification. Here we describe an ontology-based approach to heterogeneous verification. A static ontology provides a structure for the heterogeneous information and an epistemic ontology provides rules for reasoning about this information. Several kinds of functionality are supported, namely, inferencing for verification, managing requirements, models and the system architecture and assumptions made during the verification process. The concepts are illustrated using a power window control system application
Keywords :
control engineering computing; embedded systems; formal verification; inference mechanisms; knowledge based systems; ontologies (artificial intelligence); embedded control systems; epistemic ontology; heterogeneous verification; knowledge bases; power window control system application; reasoning rules; static ontology; system-level verification; Application software; Control systems; Energy management; Engineering management; Information analysis; Information management; Logic; Ontologies; Power system management; Power system modeling;
Conference_Titel :
American Control Conference, 2006
Conference_Location :
Minneapolis, MN
Print_ISBN :
1-4244-0209-3
Electronic_ISBN :
1-4244-0209-3
DOI :
10.1109/ACC.2006.1657445
