Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Modelling a cardiac pacemaker visually and formally
Leemans, Jerome; AMALIO, Nuno
2012In VLHCC 2012
Peer reviewed
 

Files


Full Text
vlhcc2012-ext-abs.pdf
Author postprint (354.96 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Visual Languages; Modelling; Formal Methods
Abstract :
[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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2013-037
Author, co-author :
Leemans, Jerome
AMALIO, Nuno ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Modelling a cardiac pacemaker visually and formally
Publication date :
2012
Event name :
Visual Languages and Human-Centric Computing (VL/HCC), 2012
Event date :
October 2012
Main work title :
VLHCC 2012
Publisher :
IEEE
Pages :
257 - 258
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 09 August 2013

Statistics


Number of views
53 (0 by Unilu)
Number of downloads
205 (0 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
2

Bibliography


Similar publications



Contact ORBilu