Assurance Cases in Model-Driven Development of the Pacemaker Software

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Model-Based Design
assurance case
pacemaker challenge
model-driven development
real-time software
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
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.

Advisor
Date of presentation
2010-10-18
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T05:33:02.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
4th International Symposium On Leveraging Application of Formal Methods, Verification and Validation (ISoLA), Amirandes, Heraclion, Crete, October 18-20, 2010.
Recommended citation
Collection