Apricot - An Object-Oriented Modeling Language for Hybrid Systems

Preprint English OPEN
Fang, Huixing ; Zhu, Huibiao ; Shi, Jianqi (2013)
  • Subject: Computer Science - Systems and Control | Computer Science - Software Engineering | Computer Science - Logic in Computer Science

We propose Apricot as an object-oriented language for modeling hybrid systems. The language combines the features in domain specific language and object-oriented language, that fills the gap between design and implementation, as a result, we put forward the modeling language with simple and distinct syntax, structure and semantics. In addition, we introduce the concept of design by convention into Apricot.As the characteristic of object-oriented and the component architecture in Apricot, we conclude that it is competent for modeling hybrid systems without losing scalability.
  • References (21)
    21 references, page 1 of 3

    1. Alur, R., Courcoubetis, C., Henzinger, T., Ho, P.: Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems. In: Hybrid Systems, LNCS, vol. 736, pp. 209-229. Springer-Verlag (1993)

    2. Alur, R., Henzinger, T., Ho, P.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering 22(3), 181-201 (1996)

    3. America, P., de Bakker, J., Kok, J., Rutten, J.: Operational semantics of a parallel object-oriented language. In: Proceedings of POPL'86. pp. 194-208. ACM (1986)

    4. Apt, K., De Boer, F., Olderog, E., de Gouw, S.: Verification of object-oriented programs: a transformational approach. Journal of Computer and System Sciences (2011)

    5. Asarin, E., Dang, T., Maler, O.: The d/dt tool for verification of hybrid systems. In: Proceedings of CAV'02, LNCS, vol. 2404, pp. 365-370. Springer-Verlag (2002)

    6. Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. The Journal of Logic and Algebraic Programming 62(2), 191-245 (2005)

    7. Dorf, R.C., Bishop, R.H.: Modern Control Systems. Prentice Hall (2011)

    8. Fowler, M.: Domain-specific languages. Addison-Wesley Professional (2010)

    9. Frehse, G.: Phaver: algorithmic verification of hybrid systems past hytech. International Journal on Software Tools for Technology Transfer 10(3), 263-279 (2008)

    10. Frehse, G., Guernic, C.L., Donz´e, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: Scalable verification of hybrid systems. In: Proceedings of CAV'11. LNCS, vol. 6806, pp. 379-395. Springer-Verlag (2011)

  • Metrics
    No metrics available
Share - Bookmark