HieroMate: A graphical tool for specification and verification of hierarchical hybrid automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5803 LNAI, Issue , 2009, Pages 695-702

  Mohammed, Ammar ^a   Schwarz, Christian ^a  

^a University of Koblenz   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLP PROGRAMS; CONSTRAINT LOGIC PROGRAMMING; ERROR PRONES; FORMAL SYSTEMS; GRAPHICAL TOOLS; HYBRID AUTOMATONS; LEVELS OF ABSTRACTION; MODEL COMPLEXES; SPECIFICATION AND VERIFICATION; UML STATE MACHINE; VERIFICATION PROCESS;

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; HIERARCHICAL SYSTEMS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; POTASSIUM IODIDE; REAL TIME SYSTEMS; ROBOTS; SPECIFICATIONS; TRANSLATION (LANGUAGES);

AUTOMATA THEORY;

EID: 76649100071     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04617-9_87     Document Type: Conference Paper

References (21)

1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
2. Apt, K., Wallace, M.: Constraint logic programming using ECLiPSe. Cambridge University Press, Cambridge (2007)
3. Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Informatica, 451-476 (2007)
4. Banda, G., Gallagher, J.P.: Analysis of linear hybrid systems in CLP. In: Hanus, M. (ed.) Pre- Proceedings of LOPSTR 2008 - 18th International Symposium on Logic-Based Program Synthesis and Transformation, pp. 58-72. Technical University of Valencia, Spain (2008)
5. Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.3185, pp. 200-236. Springer, Heidelberg (2004)
6. Ciarlini, A., Frühwirth, T.: Automatic derivation of meaningful experiments for hybrid systems. In: Proceeding of ACM SIGSIM Conf. on Artificial Intelligence, Simulation, and Planning, AIS 2000 (2000)
7. Delzanno, G., Podelski, A.: Model checking in CLP. In: Cleaveland,W.R. (ed.) TACAS 1999. LNCS, vol.1579, pp. 223-239. Springer, Heidelberg (1999)
8. Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: Morari,M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.3414, pp. 258-273. Springer, Heidelberg (2005)
9. Furbach, U., Murray, J., Schmidsberger, F., Stolzenburg, F.: Hybrid multiagent systems with timed synchronization - specification and model checking. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol.4908, pp. 205-220. Springer, Heidelberg (2008)
10. Gupta, G., Pontelli, E.: A constraint-based approach for specification and verification of realtime systems. In: Proceedings of IEEE Real-time Symposium, pp. 230-239 (1997)
11. Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293-333 (1996)
12. Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science, New Brunswick, NJ, pp. 278-292. IEEE Computer Society Press, Los Alamitos (1996)
13. Henzinger, T.A., Ho, P.-H.,Wong-Toi, H.: HyTech: The next generation. In: IEEE Real-Time Systems Symposium, pp. 56-65 (1995)
14. Jaffar, J., Santosa, A., Voicu, R.: A CLP proof method for timed automata. In: IEEE International on Real-Time Systems Symposium, pp. 175-186 (2004)
15. Mohammed, A., Furbach, U.: Modeling multi-agent logistic process system using hybrid automata. In: Ultes-Nitsche, U., Moldt, D., Augusto, J.C. (eds.) Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008, pp. 141-149. Insticc Press (2008)
16. Mohammed, A., Furbach, U.: Multi-agent systems: Modeling and verification using hybrid automata. In: Proceedings of the 7th International Workshop on Programming Multi-Agent Systems (ProMAS 2009), Budapest, Hungary, May 10-15 (2009)
17. Mohammed, A., Stolzenburg, F.: Implementing hierarchical hybrid automata using constraint logic programming. In: Schwarz, S. (ed.) Proceedings of 22nd Workshop on (Constraint) Logic Programming, Dresden, pp. 60-71 (2008); University Halle Wittenberg, Institute of Computer Science. Technical Report 2008/08
18. Murray, J., Stolzenburg, F.: Hybrid state machines with timed synchronization for multirobot system specification. In: Bento, C., Cardoso, A., Dias, G. (eds.) Proceedings of 12th Portuguese Conference on Artificial Intelligence, pp. 236-241. Institute of Electrical and Electronics Engineers (IEEE), Inc. (2005)
19. Object Management Group, Inc. UML Version 2.1.2 (Infrastructure and Superstructure) (November 2007)
20. Urbina, L.: Analysis of hybrid systems in CLP(R). In: Freuder, E.C. (ed.) CP 1996. LNCS, vol.1118, pp. 451-467. Springer, Heidelberg (1996)
21. Yovine, S.: Kronos: A verification tool for real-time systems. International Journal on Software Tools for Technology Transfer (STTT) 1(1), 123-133 (1997)