Using Event B for Critical Device Software Systems is popular PDF and ePub book, written by Neeraj Kumar Singh in 2013-06-19, it is a fantastic choice for those who relish reading online the Mathematics genre. Let's immerse ourselves in this engaging Mathematics book by exploring the summary and details provided below. Remember, Using Event B for Critical Device Software Systems can be Read Online from any device for your convenience.
Using Event B for Critical Device Software Systems Book PDF Summary
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.
Detail Book of Using Event B for Critical Device Software Systems PDF
- Author : Neeraj Kumar Singh
- Release : 19 June 2013
- Publisher : Springer Science & Business Media
- ISBN : 9781447152606
- Genre : Mathematics
- Total Page : 335 pages
- Language : English
- PDF File Size : 10,5 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Using Event B for Critical Device Software Systems by Neeraj Kumar Singh, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.