Departmental Papers (CIS)

Date of this Version

10-18-2010

Document Type

Conference Paper

Comments

4th International Symposium On Leveraging Application of Formal Methods, Verification and Validation (ISoLA), Amirandes, Heraclion, Crete, October 18-20, 2010.

Abstract

We discuss the construction of an assurance case for the pace-maker software. The software is developed following a model-based technique that combined formal modeling of the system, systematic code generation from the formal model, and measurement of timing behavior of the implementation. We show how the structure of the assurance case reflects our development approach.

Subject Area

CPS Model-Based Design

Publication Source

Lecture Notes in Computer Science: Leveraging Methods of Formal Methods, Verification, and Validation

Volume

6416

Start Page

343

Last Page

356

DOI

10.1007/978-3-642-16561-0_33

Copyright/Permission Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-16561-0_33

Keywords

assurance case, pacemaker challenge, model-driven development, real-time software

Share

COinS
 

Date Posted: 08 November 2011

This document has been peer reviewed.