Overview
- Summarizes results of DEPLOY research project on engineering methods for dependable systems
- Frank assessment of related managerial and organisational challenges
- Of value to researchers, systems and software engineers, industrial managers, policymakers, and regulators
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design.
Â
The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome.
Â
The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators.
Reviews
"[T]his book describes a project that has made a major contribution towards bridging the gap between formalists and practitioners in software development for dependable systems. The detailed substance of the contribution lies in the specifics of what has been done; but the full value lies even more in the cooperative way in which the project has been carried out and the open-minded acknowledgment of challenges. This book will amply repay a careful and thoughtful reading by researchers and practitioners alike." [Michael Jackson, London]
Editors and Affiliations
About the editors
Prof. Alexander Romanovsky works in the School of Computing Science, Newcastle University; he has been working on system dependability and fault tolerance for many years, in particular on reasoning about faults and fault tolerance during early phases of system development, and he coordinated the related RODIN and DEPLOY projects.
Dr. Martyn Thomas in an industrialist who has been concerned with safety-critical and other high-dependence computer systems since the 1980s.
Bibliographic Information
Book Title: Industrial Deployment of System Engineering Methods
Editors: Alexander Romanovsky, Martyn Thomas
DOI: https://doi.org/10.1007/978-3-642-33170-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Hardcover ISBN: 978-3-642-33169-5Published: 23 July 2013
Softcover ISBN: 978-3-642-43064-0Published: 08 February 2015
eBook ISBN: 978-3-642-33170-1Published: 09 July 2013
Edition Number: 1
Number of Pages: X, 262
Topics: Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Industrial and Production Engineering