The design methodology for the verification of hybrid dynamical systems

Author

Pluska, Michal ; Sinclair, David

Author_Institution

Sch. of Comput., Dublin City Univ., Dublin, Ireland

fYear

2011

fDate

1-2 Sept. 2011

Firstpage

133

Lastpage

138

Abstract

This work presents the OHMS methodology. The main aim of it is to design a model of a complex system easy to process by formal model checking procedure. The outcome is a verification report showing safety of the system. As the novel approach the complex mathematical notation is hidden form the user and use object base approach with graphical notation. It gives the user better experience and more flexibility in the design. On the other hand at the end of the process the user is still provided with the formal verification report helping in the correct design.

Keywords

design engineering; formal verification; object-oriented methods; OHMS methodology; complex system model design; design methodology; formal model checking procedure; graphical notation; hybrid dynamical system verification; object base approach; object-oriented hybrid systems methodology; Adaptation models; Automata; DSL; Equations; Mathematical model; Modeling; Unified modeling language; Hybrid system; design methodology; formal verification; systems engineering;

fLanguage

English

Publisher

ieee

Conference_Titel

Cybernetic Intelligent Systems (CIS), 2011 IEEE 10th International Conference on

Conference_Location

London

Print_ISBN

978-1-4673-0687-4

Type

conf

DOI

10.1109/CIS.2011.6169148

Filename

6169148