Paraconsistent logic programming
Theoretical Computer Science
On Prolog DBMS connection: a step forward from Educe
Prolog and databases: implementations and new directions
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
The logic of knowledge bases
An introduction to deductive database languages and systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
A Graph-Oriented Object Database Model
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Compilation of Logic Programs to Implement Very Large Knowledge Base Systems - A Case Study: Educe*
Proceedings of the Sixth International Conference on Data Engineering
Benchmarking Database Systems A Systematic Approach
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Modeling methodology for integrated simulation of embedded systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Heterogeneous verification of cyber-physical systems using behavior relations
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
| Hi-index | 0.00 |
This paper presents an ontology-based approach to heterogeneous verification of embedded systems, that is, the integration of verification results from different tools and different models of embedded system applications. We present an overview of our proposed framework and explain the key components. We then describe an initial ontology for embedded control applications and its mapping to a knowledge base. We illustrate this initial framework using an example of an automotive power window controller. The concluding discussion describes our current work and future research directions.