Abstract
This chapter sets out the experience of deployment in the automotive components company Bosch (Robert Bosch GmbH). An analysis of the typical challenges and practices is followed by a detailed description of the process used to experiment with the adoption of more formal methods by Bosch Research. One conclusion is that there is a need for semi-formal methods for bridging the gap between the initial (natural language) requirements and the creation of a formal model in Event-B. It is also important to note that the process of development reveals differences between refinement as used in the Problem Frames Approach and that envisaged in Event-B. Finally, the experience gained by the main support contact (Newcastle University) is analysed in the hope that these lessons will assist future projects.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
DEPLOY. Deliverable D19: D1.1 pilot deployment in the automotive sector WP1. http://www.deploy-project.eu/html/deliverables.html (2009)
DEPLOY. Deliverable D38: D1.2 report on enhanced deployment in the automotive sector WP1. http://www.deploy-project.eu/html/deliverables.html (2010)
Iliasov, A.: Use case scenarios as verification conditions: Event-B/flow approach. In: Troubitsyna, E. (ed.) SERENE. Lecture Notes in Computer Science, vol. 6968, pp. 9–23. Springer, Berlin (2011)
ISO 26262 Road vehicles—Functional safety. http://www.iso.org/iso/home.html
Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley Longman Publishing, Boston (2001)
Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Trans. Softw. Eng. 20, 684–707 (1994)
Mahony, B., Hayes, I.: Using continuous real functions to model timed histories. In: Bailes, P. (ed.) Engineering Safe Software, pp. 257–270. Australian Computer Society, Sydney (1991)
Newcastle University. DEPLOY—Industrial deployment of system engineering methods providing high dependability and productivity. http://www.deploy-project.eu/ (May 2009)
V-modell XT. http://www.bit.bund.de/
Zhou, C., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40, 269–271 (1991)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gmehlich, R., Jones, C. (2013). Experience of Deployment in the Automotive Industry. In: Romanovsky, A., Thomas, M. (eds) Industrial Deployment of System Engineering Methods. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33170-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-33170-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33169-5
Online ISBN: 978-3-642-33170-1
eBook Packages: Computer ScienceComputer Science (R0)