A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
The design methodology for the verification of hybrid dynamical systems
2011
2011 IEEE 10th International Conference on Cybernetic Intelligent Systems (CIS)
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
doi:10.1109/cis.2011.6169148
fatcat:tjkrsuowbzhqlmxzrdg4ypjgr4