The design methodology for the verification of hybrid dynamical systems
conference contribution
posted on 2012-02-01, 14:57 authored by Michal Pluska, David SinclairThis 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.
History
Publication
10th IEEE International conference on cybernetic Intelligent Systems;09/2011Publisher
IEEE Computer SocietyNote
non-peer-reviewedOther Funding information
SFIRights
“© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other worksLanguage
EnglishExternal identifier
Usage metrics
Categories
No categories selectedLicence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC