Reference : Modelling a cardiac pacemaker visually and formally
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Modelling a cardiac pacemaker visually and formally
Leemans, Jerome [> >]
Amalio, Nuno mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
VLHCC 2012
257 - 258
Visual Languages and Human-Centric Computing (VL/HCC), 2012
October 2012
[en] Visual Languages ; Modelling ; Formal Methods
[en] Embedded software in medical devices is becoming ubiquitous and increasing in content and complexity. This paper gives an outline of a visual model of a cardiac pacemaker system, a case study from the grand challenge in software verification. The model is expressed in the Visual Contract Language (VCL), a formal modelling language that describes predicates visually. From VCL diagrams it is possible to generate Z specifications. This is the first visual and formal model of one of the software verification challenges.

File(s) associated to this reference

Fulltext file(s):

Open access
vlhcc2012-ext-abs.pdfAuthor postprint346.64 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.