| book details |

Using Event-B for Critical Device Software Systems

By (author) Neeraj Kumar Singh

| on special |

normal price: R 4 229.95

Price: R 3 806.95

| add to trolley |

| 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.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 415.95
now: R 373.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

| more |

| add to trolley |

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming

A terrifying locked-room mystery set in a remote outpost on Mars.

| more |

| add to trolley |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 552.95
now: R 497.95
Available from overseas. Usually dispatched in 14 days

| more |

| add to trolley |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages
was: R 395.95
now: R 355.95
Usually dispatched in 6-12 days

An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

| more |

| add to trolley |