Using Event-B for Critical Device Software Systems
Book Details:
| Publisher: | Springer |
| Series: | Springer , Using |
| Author: | Neeraj Kumar Singh |
| Edition: | 1 |
| ISBN-10: | 144715259X |
| ISBN-13: | 9781447152590 |
| Pages: | 326 |
| Published: | Jul 02 2013 |
| Posted: | Nov 19 2014 |
| Language: | English |
| Book format: | |
| Book size: | 3.27 MB |
Book Description:
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.
Download Link:
Related Books:
Software Development for Embedded Multi-core Systems
A Practical Guide Using Embedded Intel Architecture
The multicore revolution has reached the deployment stage in embedded systems ranging from small ultramobile devices to large telecommunication servers. The transition from single to multicore processors, motivated by the need to increase performance while conserving power, has placed great responsibility on the shoulders of software engineers. In this new embedded multicore era, the toughest task is the development of code to support more sophisticated systems. This book provides embedded engineers with solid grounding in the skills required to develop software targeting multicore processors. Within the text, the author undertakes an in-depth exploration of performance analysis, and a close-up look at the tools of the trade. Both general multicore d...
Model-Driven Design Using IEC 61499
A Synchronous Approach for Embedded and Automation Systems
This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach is used as the main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The proposed approach also ensures very efficient implementations either on small-scale embedded devices or on industry-scale programmable automation controllers (PACs). It can be used for both centralized and distributed implementations. Significantly,...
Pattern-Oriented Analysis and Design
Composing Patterns to Design Software Systems
Software experts agree: the most difficult aspect of building software is not coding; it is the decisions the designer makes in the early stages. Those decisions live with the system for the rest of its lifetime. Good designs beget good software. Bad designs beget trouble. Designers are faced with a tough question: how do they know whether their designs are good or bad? Design patterns can provide valid judgment criteria for software designers. While a great deal of effort has been devoted to discovering new design patterns, very little effort has been spent on developing a process for "gluing" or "composing" design patterns to better develop software applications. This book specifically addresses this need, and explains the Patte...
2007 - 2021 © eBooks-IT.org