By Topic

A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Rajesh Kumar ; Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213, USA. rajeshk@andrew.cmu.edu ; Bruce H. Krogh

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. In previous papers we introduced 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. This paper presents our heterogeneous verification tool that implements a new logic programming language EOLC (Epistemic Ontology Language with Constraints) for specifying the epistemic ontology for heterogeneous verification. We describe the features of EOLC and illustrate them for the verification of the mode logic of a redundant flight guidance system.

Published in:

2007 American Control Conference

Date of Conference:

9-13 July 2007