nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

The 2020 Expert Survey on Formal Methods

verfasst von : Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol

Erschienen in: Formal Methods for Industrial Critical Systems

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Organised to celebrate the 25th anniversary of the FMICS international conference, the present survey addresses 30 questions on the past, present, and future of formal methods in research, industry, and education. Not less than 130 high-profile experts in formal methods (among whom three Turing award winners and many recipients of other prizes and distinctions) accepted to participate in this survey. We analyse their answers and comments, and present a collection of 111 position statements provided by these experts. The survey is both an exercise in collective thinking and a family picture of key actors in formal methods.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Correction to: The 2020 Expert Survey on Formal Methods

Nächstes Kapitel Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents

https://en.wikipedia.org/wiki/Likert_scale.

https://en.wikipedia.org/wiki/LimeSurvey.

https://arxiv.org/corr/subjectclasses.

AbsInt: Astrée software (2020). http://www.absint.com/astree

Bartocci, E., et al.: TOOLympics 2019: an overview of competitions in formal methods. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) TACAS 2019. LNCS, vol. 11429, pp. 3–24. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17502-3_1CrossRef

Basile, D., et al.: On the industrial uptake of formal methods in the railway domain: a survey with stakeholders. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 20–29. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98938-9_2CrossRef

ter Beek, M.H., et al.: Adopting formal methods in an industrial setting: the railways case. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 762–772. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30942-8_46CrossRef

Bjørner, D., Havelund, K.: 40 years of formal methods: some obstacles and some possibilities? In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 42–61. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06410-9_4CrossRef

Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Comput. 28(4), 56–63 (1995). https://doi.org/10.1109/2.375178CrossRef

Cerone, A., et al.: Rooting formal methods within higher education curricula for computer science and software engineering: a white paper. In: Cerone, A., Roggenbach, M. (eds.) FMFun 2019. CCIS, vol. 1301. Springer (2020)

Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996). https://doi.org/10.1145/242223.242257CrossRef

Davis, J.A., et al.: Study on the barriers to the industrial adoption of formal methods. In: Pecheur, C., Dierkes, M. (eds.) FMICS 2013. LNCS, vol. 8187, pp. 63–77. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41010-9_5CrossRef

10.

Ferrari, A., Mazzanti, F., Basile, D., ter Beek, M.H., Fantechi, A.: Comparing formal tools for system design: a judgment study. In: Proceedings of the 42nd International Conference on Software Engineering (ICSE), pp. 62–74. ACM (2020). https://doi.org/10.1145/3377811.3380373

11.

Garavel, H., Graf, S.: Formal methods for safe and secure computer systems. BSI Study 875, Bundesamt für Sicherheit in der Informationstechnik (2013). https://www.bsi.bund.de/DE/Publikationen/Studien/Formal_Methods_Study_875/study_875.html

12.

Garavel, H., Mateescu, R.: Reflections on Bernhard Steffen’s physics of software tools. In: Margaria, T., Graf, S., Larsen, K.G. (eds.) Models, Mindsets, Meta: The What, the How, and the Why Not?. LNCS, vol. 11200, pp. 186–207. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-22348-9_12CrossRef

13.

Gates, B.: Trustworthy computing, January 2002. https://www.wired.com/2002/01/bill-gates-trustworthy-computing. e-mail memo to Microsoft employees

14.

Gnesi, S., Margaria, T. (eds.): Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley (2013). https://doi.org/10.1002/9781118459898

15.

Hall, A.: Seven myths of formal methods. IEEE Softw. 7(5), 11–19 (1990). https://doi.org/10.1109/52.57887CrossRef

16.

Huisman, M., Gurov, D., Malkis, A.: Formal methods: from academia to industrial practice. A travel guide. CoRR abs/2002.07279 (2020). https://arxiv.org/abs/2002.07279

17.

Jones, C.B., Thomas, M.: The development and deployment of formal methods in the UK. CoRR abs/2006.06327 (2020). https://arxiv.org/abs/2006.06327. Submitted to IEEE Ann. Hist. Comput.

18.

Miller, S.P.: Lessons from twenty years of industrial formal methods. In: Proceedings of the 20th High Confidence Software and Systems Conference (HCSS 2012) (2012). http://cps-vo.org/node/3434

19.

Rushby, J.: Formal methods and the certification of critical systems. Technical report SRI-CSL-93-7, Computer Science Laboratory, SRI International, December 1993. http://www.csl.sri.com/papers/csl-93-7/. Also issued under the title “Formal Methods and Digital Systems Validation for Airborne Systems” as NASA Contractor Report 4551, December 1993

20.

Steffen, B.: The physics of software tools: SWOT analysis and vision. Int. J. Softw. Tools Technol. Transfer. 19(1), 1–7 (2017). https://doi.org/10.1007/s10009-016-0446-xCrossRef

21.

Wilhelm, R.: Real time spent on real time. Commun. ACM (2020, to appear)

22.

Wing, J.M.: A specifier’s introduction to formal methods. IEEE Comput. 23(9), 8–22 (1990). https://doi.org/10.1109/2.58215CrossRef

23.

Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 19:1–19:36 (2009). https://doi.org/10.1145/1592434.1592436CrossRef

24.

Zave, P., Rexford, J.: The compositional architecture of the Internet. Commun. ACM 62(3), 78–87 (2019). https://doi.org/10.1145/3226588CrossRef

Titel: The 2020 Expert Survey on Formal Methods
verfasst von: Hubert Garavel
Maurice H. ter Beek
Jaco van de Pol
Verlag: Springer International Publishing
Buch: Formal Methods for Industrial Critical Systems
Print ISBN: 978-3-030-58297-5

Electronic ISBN: 978-3-030-58298-2

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-58298-2_1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"