Industrial Deployment of System Engineering Methods

1. Introduction
Alexander Romanovsky, Martyn Thomas

2. Integrated Project DEPLOY
Alexander Romanovsky

3. Experience of Deployment in the Automotive Industry
Rainer Gmehlich, Cliff Jones

4. Improving Railway Data Validation with ProB
Jérôme Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge

5. Deployment in the Space Sector
Dubravka Ilić, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi

6. Business Information Sector
Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu

7. Formal Methods as an Improvement Tool
Aryldo G. Russo

8. Critical Software Technologies’ Experience with Formal Methods
Alex Hill, Jose Reis, Paulo Carvalho

9. Experience of Deploying Event-B in Industrial Microprocessor Development
Stephen Wright, Kerstin Eder

10. Industrial Deployment of Formal Methods: Trends and Challenges
John Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock

11. Introducing Formal Methods into Existing Industrial Practices
Martyn Thomas, Alexander Romanovsky

12. Tooling
Michael Butler, Laurent Voisin, Thomas Muller

13. Technology Transfer
David Basin, Thai Son Hoang

14. After and Outside DEPLOY: The DEPLOY Ecosystem
Alexander Romanovsky

15. Industrial Software Engineering and Formal Methods
Martyn Thomas, Alexander Romanovsky

Nyckelord: Computer Science, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Industrial and Production Engineering