Using Event-B for Critical Device Software Systems

Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by ImportBot
May 4, 2020 | History

Using Event-B for Critical Device Software Systems

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way. Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.

Publish Date
Publisher
Springer
Pages
346

Buy this book

Edition Availability
Cover of: Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
2015, Springer London, Limited
in English
Cover of: Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
2013, Springer London, Imprint: Springer
electronic resource / in English
Cover of: Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
Jul 31, 2013, Springer
paperback

Add another edition?

Book Details


The Physical Object

Format
paperback
Number of pages
346

Edition Identifiers

Open Library
OL27997066M
ISBN 10
1447152611
ISBN 13
9781447152613

Work Identifiers

Work ID
OL19909158W

Source records

amazon.com record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
May 4, 2020 Created by ImportBot Imported from amazon.com record