Abstract
Why is it that carefully researched and well-formulated theoretical and methodological constructs don’t make their way into industrial applications? This keynote speech takes a look at my personal experiences in both the aviation and automotive fields to suggest what can be done about it. I will first try to explain why engineers (and even industry scientists) tend not to use the kind of methods and tools that emerge from academic settings while working on actual products, and then show some of the consequences of not using such methods. I will end with a few vignettes from my own trials and tribulations in applying formal methods in engineering design processes as well as some of the future prospects, for both academia and industry, as human-automation systems become more demanding and complex.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Degani, A. (2012). Formal Methods in the Wild: Trains, Planes, & Automobile. In: Giannakopoulou, D., Méry, D. (eds) FM 2012: Formal Methods. FM 2012. Lecture Notes in Computer Science, vol 7436. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32759-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-32759-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32758-2
Online ISBN: 978-3-642-32759-9
eBook Packages: Computer ScienceComputer Science (R0)