You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Newcastle University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Newcastle University

Return to search Previous output Next output

Output 58 of 100 in the submission

Output title

Incremental Development of a Distributed Real-Time Model of A Cardiac Pacing System using VDM

Type

E - Conference contribution

DOI

10.1007/978-3-540-68237-0_14

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

URL

http://dx.doi.org/10.1007/978-3-540-68237-0_14

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract