Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Output title
Incremental Development of a Distributed Real-Time Model of A Cardiac Pacing System using VDM
Type
E - Conference contribution
Name of conference/published proceedings
FM 2008: Formal Methods - 15th International Symposium on Formal Methods
Volume number
5014
Issue number
-
First page of article
181
ISSN of proceedings
0302-9743
Year of publication
2008
Number of additional authors
2
Additional information
<07> One of the first attempts on the Cardiac Pacemaker "challenge problem" promoted by the Verified Software Initiative. The paper contributed to take-up of the problem and has been cited by groups tackling the challenge using Z (Brazil), Event-B (France), TimedCSP (Singapore), ASMs (Manchester), PRISM (Oxford), UPPAAL (UPenn), Java and Ada (York). Analysis tools built to validate the model were included in the Overture tool set (overturetool.org, 14000+ downloads). Resulted in invitations to present at Dagstuhl seminars on certification (2013) and on medical devices (2014).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
10
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-