Using Event B For Critical Device Software Systems
Download Using Event B For Critical Device Software Systems PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Using Event B For Critical Device Software Systems book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Using Event-B for Critical Device Software Systems
Author: Neeraj Kumar Singh
language: en
Publisher: Springer Science & Business Media
Release Date: 2013-06-19
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.
Ambient Communications and Computer Systems
This book features high-quality, peer-reviewed papers from the Fourth International Conference on Recent Advancements in Computer, Communication, and Computational Sciences (RACCCS 2021), held at Aryabhatta College of Engineering and Research Center, Ajmer, India, on August 20–21, 2021. Presenting the latest developments and technical solutions in computational sciences, it covers a variety of topics, such as intelligent hardware and software design, advanced communications, intelligent computing technologies, advanced software engineering, the web and informatics, and intelligent image processing. As such, it helps those in the computer industry and academia to use the advances in next-generation communication and computational technology to shape real-world applications.
Using Event-B for Critical Device Software Systems
Author: Keith Glover
language: en
Publisher: Createspace Independent Publishing Platform
Release Date: 2017-08-23
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.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.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 book adopts a rigorous safety assessment approach explored via several layers.