Modelling a cardiac pacemaker visually and formally

Reference : Modelling a cardiac pacemaker visually and formally


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/4726

Title :	Modelling a cardiac pacemaker visually and formally
Language :	English
Author, co-author :	Leemans, Jerome [> >]
	Amalio, Nuno [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2012
Main document title :	VLHCC 2012
Publisher :	IEEE
Pages :	257 - 258
Peer reviewed :	Yes
Event name :	Visual Languages and Human-Centric Computing (VL/HCC), 2012
Event date :	October 2012
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/4726
DOI :	10.1109/VLHCC.2012.6344542

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	vlhcc2012-ext-abs.pdf		Author postprint	346.64 kB	View/Open

All documents in ORBi^lu are protected by a user license.