An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems

1. Burch, J.R., Clarke, E.M., Long, D.E., MacMillan, K.L., Dill, D.L.: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13, 401–424 (1994)

   Article  Google Scholar 

2. Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168–176. Springer, Heidelberg (2004)

   Chapter  Google Scholar 

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, 3–34 (1995)

   Article  MATH  MathSciNet  Google Scholar 

4. Alur, R., Henzinger, T., Wong-Toi, H.: Symbolic analysis of hybrid systems. In: Proc. 37-th IEEE Conference on Decision and Control (1997)

   Google Scholar 

5. Aldrich, B., Fehnker, A., Krogh, B.H., Feiler, P.H., Han, Z., Lim, E., Sivashankar, S.: Managing verification activities with svm. In: Sixth International Conference on Formal Engineering Methods (2004)

   Google Scholar 

6. http://www.ece.cmu.edu/~webk/svm

7. Gruber, T.: A translation approach to portable ontology specification. Knowledge Acquisition 5, 199–220 (1993)

   Article  Google Scholar 

8. Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. The MIT Press, Cambridge (2001)

   MATH  Google Scholar 

9. Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, Heidelberg (1995)

   Google Scholar 

10. Ramamohanarao, K., Harland, J.: An introduction to deductive database languages and systems. The VLDB Journal 3, 107–122 (1994)

    Article  Google Scholar 

11. Wiederhold, G.: Interoperation, mediation and ontologies. In: International Symposium on Fifth Generation Computer Systems (FGCS 1994), Tokyo, Japan (1994)

    Google Scholar 

12. Bonatti, P., Deng, Y., Subrahmanian, V.: An ontology-extended relational algebra. In: Proc. 2003 IEEE Intl. Conference on Information Reuse and Integration, Las Vegas, Nevada, pp. 192–199 (2003)

    Google Scholar 

13. Lu, J.J., Nerode, A., Subrahmanian, V.S.: Hybrid knowledge bases. IEEE Transactions on Knowledge and Data Engineering 8, 773–785 (1996)

    Article  Google Scholar 

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)

    Google Scholar 

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 36(4) (April 2003)

    Google Scholar 

16. Maedche, A., Staab, S.: Ontologies in f-logic. In: Staab, S., Studer, R. (eds.) Handbook of Ontologies. Springer, Heidelberg

    Google Scholar 

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, 572–586 (1994)

    Article  Google Scholar 

18. http://protege.stanford.edu/

19. Freiling, M.: Designing an inference engine: From ontology to control. In: Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications, pp. 20–26 (1988)

    Google Scholar 

20. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in CHARON. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 6–19. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

21. Mylopoulos, J., Chaudhri, V.K., Plexousakis, D., Shrufi, A., Topologlou, T.: Building knowledge base management systems. VLDB Journal: Very Large Data Bases 5, 238–263 (1996)

    Article  Google Scholar 

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, Los Angeles, California, USA, February 5-9, 1990, pp. 361–369. IEEE Computer Society, Los Alamitos (1990)

    Chapter  Google Scholar 

23. Bocca, J., Pearson, P.J.: On prolog - dbms connections: a step forward from educe. In: Peter, M.D., Gray, R.J. (eds.) Prolog and Databases - Implementations and New Directions, pp. 55–66. Ellis Horwood / John Wiley (1988)

    Google Scholar 

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, pp. 8–19. Morgan Kaufmann Publishers Inc., San Francisco (1983)

    Google Scholar 

25. http://www.w3.org/RDF/

26. Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming 19–20, 503–581 (1994)

    Article  MathSciNet  Google Scholar 

27. Subrahmanian, V.S.: Nonmonotonic logic programming. IEEE Transactions on Knowledge and Data Engineering 11, 143–152 (1999)

    Article  Google Scholar 

28. Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theor. Comput. Sci. 68, 135–154 (1989)

    Article  MATH  MathSciNet  Google Scholar 

29. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335–367 (1992)

    Article  MathSciNet  Google Scholar 

Download references