Simon Kawuma, Robert Mugonza

Modeling in Event-B A Practical Approach for Systems Engineers

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 96
• Erscheinungstermin: 22. Januar 2015
• Englisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 145g
• ISBN-13: 9783659648052
• ISBN-10: 3659648051
• Artikelnr.: 42281817

Autorenporträt

Simon holds a MSc. in Embedded Computing Systems and BSc. in Computer Science. He is a Lecturer, Department of Computer Engineering at Mbarara University and an Erasmus Mundus scholar. His research interests are in Verification of Embedded System Software, Hardware and Complex System Engineering, and mathematical Modelling and Simulation.