Modeling In Event B
Download Modeling In Event B PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Modeling In Event B 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.
Modeling in Event-B
Author: Jean-Raymond Abrial
language: en
Publisher: Cambridge University Press
Release Date: 2010-05-13
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.
Modeling in Event-B
Author: Jean-Raymond Abrial
language: en
Publisher: Cambridge University Press
Release Date: 2010-05-13
A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
Modeling in Event-B a Practical Approach for Systems Engineers
Author: Kawuma Simon
language: en
Publisher: LAP Lambert Academic Publishing
Release Date: 2015-01-22
This book focuses on the use of Event-B as a formal method for software modelling and verification. Our case study is the elevator control system (ECS). Elevator Requirements are translated into mathematical Event-B models. We use RODIN to develop, test and verify ECS Event-B models before we can implement the system into a Software program. Event-B modeling is so vital that we can identify missing requirements, errors in our design and proof that the system model will function as expected than if we develop a system immediately after receiving requirements from the client. These requirements are incomplete and ambiguous. With the use of Event-B, we reduce the cost of system development since errors will always be discovered in the early stages of development. Transition from the requirements phase to formal specification phase is one of the most challenging steps. In fact, building initial models from system requirements requires a high level of competence and practical skills in Event-B Modelling.Since there is no well-defined process to guide system Engineers, this book provides a practical approach on how to develop good software systems