An ontology-based approach to heterogeneous verification of embedded control systems

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 370-385

  Kumar, Rajesh ^a   Krogh, Bruce H ^a   Feiler, Peter ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Knowledge base; Knowledge integration; Ontology; Theorem proving

Indexed keywords

AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; CONTROL SYSTEM ANALYSIS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS;

EMBEDDED CONTROL APPLICATIONS; EMBEDDED SYSTEM APPLICATIONS; ONTOLOGY; VERIFICATION;

EMBEDDED SYSTEMS;

EID: 24344451693     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_24     Document Type: Conference Paper

References (29)

1. J.R. Burch, E.M. Clarke, D.E. Long, K.L. MacMillan, D.L. Dill: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13 (1994) 401-424
2. Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In Jensen, K., Podelski, A., eds.: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). Volume 2988 of Lecture Notes in Computer Science., Springer (2004) 168-176
3. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995) 3-34
4. Alur, R., Henzinger, T., Wong-Toi, H.: Symbolic analysis of hybrid systems. In: Proc. 37-th IEEE Conference on Decision and Control, 1997. (1997)
5. Aldrich, B., Fehnker, A., Krogh, B.H., Feiler, P.H., Han, Z., Lim, E., Sivashankar;, S.: Managing verification activities with svm. Sixth International Conference on Formal Engineering Methods (2004)
6. (http://www.ece.cmu.edu/~webk/svm)
7. Gruber, T.: A translation approach to portable ontology specification. Knowledge Acquisition 5 (1993) 199-220
8. Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. The MIT Press (2001)
9. Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer-Verlag (1995)
10. Ramamohanarao, K., Harland, J.: An introduction to deductive database languages and systems. The VLDB Journal 3 (1994) 107-122
11. Wiederhold, G.: Interoperation, mediation and ontologies. International Symposium on Fifth Generation Computer Systems (FGCS94), Tokyo, Japan (1994)
12. Bonatti, P., Deng, Y., Subrahmanian, V.: An ontology-extended relational algebra. Proc. 2003 IEEE Intl. Conference on Information Reuse and Integration, Las Vegas, Nevada (2003) 192-199
13. Lu, J.J., Nerode, A., Subrahmanian, V.S.: Hybrid knowledge bases. IEEE Transactions on Knowledge and Data Engineering, 8 (1996) 773-785
14. Ledeczi, A., Davis, J., Neema, S., Agrawal, A.: Modeling methodology for integrated simulation of embedded systems. ACM Transactions on Modeling and Computer Simulation (2003)
15. Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.: Metropolis: An integrated electronic system design environment. (Transactions of IEEE Computer Society, April 2003 (Vol. 36, No. 4))
16. Maedche, A., Staab, S.: Ontologies in f-logic. (In: S. Staab, R. Studer (Eds.): Handbook of Ontologies. Springer)
17. Gyssens, M., Paredaens, J., den Bussche, J.V., van Gucht, D.: A graph-oriented object database model. IEEE Transactions on Knowledge and Data Engineering 6 (1994) 572-586
18. (http://protege.stanford.edu/)
19. Freiling, M.: Designing an inference engine: From ontology to control. Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications (1988) 20-26
20. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in CHARON. In: HSCC. (2000) 6-19
21. Mylopoulos, J., Chaudhri, V.K., Plexousakis, D., Shrufi, A., Topologlou, T.: Building knowledge base management systems. VLDB Journal: Very Large Data Bases 5 (1996) 238-263
22. Bocca, J.B.: Compilation of logic programs to implement very large knowledge base systems - a case study: Educe*. In: Proceedings of the Sixth International Conference on Data Engineering, February 5-9, 1990, Los Angeles, California, USA, IEEE Computer Society (1990) 361-369
23. Bocca, J., Pearson, P.J.: On prolog - dbms connections: a step forward from educe. In: Peter M. D. Gray, Robert J. Lucas (Eds.): Prolog and Databases -Implementations and New Directions. Ellis Horwood / John Wiley (1988) 55-66
24. Bitton, D., DeWitt, D.J., Turbyfill, C.: Benchmarking database systems a systematic approach. In: Proceedings of the 9th International Conference on Very Large Data Bases, Morgan Kaufmann Publishers Inc. (1983) 8-19
25. (http://www.w3.org/RDF/)
26. Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming 19/20 (1994) 503-581
27. Subrahmanian, V.S.: Nonmonotonic logic programming. IEEE Transactions on Knowledge and Data Engineering 11 (1999) 143-152
28. Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theor. Comput. Sci. 68 (1989) 135-154
29. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12 (1992) 335-367