Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction Kapitel lesen Erstes Kapitel lesen

2013 | OriginalPaper | Buchkapitel

10. Industrial Deployment of Formal Methods: Trends and Challenges

verfasst von : John Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock

Erschienen in: Industrial Deployment of System Engineering Methods

Verlag: Springer Berlin Heidelberg

Einloggen

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

search-config
loading …

Abstract

The DEPLOY project has provided a rare opportunity to explore and document the potential benefits of and challenges to creating and exploiting usable formal methods. Using the results of an updated review of 98 industrial applications, we identify trends relating to analytic power, robustness, stability and usability of tools, as well as to the quality of evidence on costs and benefits of deployment. A consideration of the DEPLOY applications reinforces these trends, additionally emphasising the importance of selecting formalisms suited to the problem domain and of effectively managing traceable links between requirements and models.

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 Experience of Deploying Event-B in Industrial Microprocessor Development
Nächstes Kapitel Introducing Formal Methods into Existing Industrial Practices
Literatur
1.
Austin, S., Parkin, G.: Formal methods: A survey. Technical report, National Physical Laboratory, Teddington, Middlesex, UK (March 1993)
2.
Bicarregui, J., Fitzgerald, J., Larsen, P.G., Woodcock, J.: Industrial practice in formal methods: A review. In: Cavalcanti, A., Dams, D. (eds.) FM 2009: Formal Methods. Lecture Notes in Computer Science, vol. 5850, pp. 810–813. Springer, Berlin (2009) CrossRef
3.
Bloomfield, R., Craigen, D.: Formal methods diffusion: Past lessons and future prospects. Technical report D/167/6101. Adelard, Coborn House, 3 Coborn Road, London E3 2DA, UK (December 1999)
4.
Brock, B., Kaufmann, M., Moore, J.: ACL2 theorems about commercial microprocessors. In: Srivas, M., Camilleri, A. (eds.) Proceedings of Formal Methods in Computer-Aided Design, FMCAD’96, pp. 275–293. Springer, Berlin (1996) CrossRef
5.
Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: A new symbolic model checker. Int. J. Softw. Tools Technol. Transf. 2(4), 410–425 (2000) CrossRefMATH
6.
Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996) CrossRef
7.
Craigen, D., Gerhart, S., Ralston, T.: An International Survey of Industrial Applications of Formal Methods, volume 1, Purpose, Approach, Analysis and Conclusions. U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology, Computer Systems Laboratory, Gaithersburg, MD (Mar. 1993)
8.
Craigen, D., Gerhart, S., Ralston, T.: Formal methods reality check: Industrial usage. In: Woodcock, J.C.P., Larsen, P.G. (eds.) FME’93: Industrial-Strength Formal Methods, April 1993. Lecture Notes in Computer Science, vol. 670, pp. 250–267. Springer, Berlin (1993) CrossRef
9.
Glass, R.L.: Formal methods are a surrogate for a more serious software concern. IEEE Comput. 29(4), 19 (1996) MathSciNet
10.
Hinchey, M.G., Bowen, J.P.: To formalize or not to formalize? IEEE Comput. 29(4), 18–19 (1996)
11.
Jackson, D., Wing, J.: Lightweight formal methods. IEEE Comput. 29(4), 22–23 (1996)
12.
Larsen, P.G., Fitzgerald, J., Brookes, T.: Applying formal specification in industry. IEEE Softw. 13(3), 48–56 (1996) CrossRef
13.
Miller, S., Greve, D., Srivas, M.: Formal verification of the AAMP5 and the AAMP-FV microcode. In: Third AMAST Workshop on Real-Time Systems, Salt Lake City, Utah, March 6–8, 1996
14.
Miller, S.P., Anderson, E.A., Wagner, L.G., Whalen, M.W., Heimdahl, M.P.E.: Formal verification of flight critical software. In: AIAA Guidance, Navigation and Control Conference and Exhibit, San Francisco, August 2005. AIAA, Washington (2005)
15.
Miller, S.P.: The industrial use of formal methods: Was Darwin right? In: 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, pp. 74–82. IEEE, Boca Raton (1998)
16.
Miller, S.P., Whalen, M.W., Cofer, D.D.: Software model checking takes off. Commun. ACM 53, 58–64 (2010) CrossRef
17.
Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) 11th International Conference on Automated Deduction (CADE). Lecture Notes in Artificial Intelligence, vol. 607, pp. 748–752. Springer, Saratoga (1992)
18.
Srivas, M.K., Miller, S.P.: Formal verification of the AAMP5 microprocessor. In: Hinchey, M.G., Bowen, J.P. (eds.) Applications of Formal Methods. Series in Computer Science, pp. 125–180. Prentice Hall International, Englewood Cliffs (1995)
19.
Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: Practice and experience. ACM Comput. Surv. 41(4), 1–36 (2009) CrossRef
Metadaten
Titel
Industrial Deployment of Formal Methods: Trends and Challenges
verfasst von
John Fitzgerald
Juan Bicarregui
Peter Gorm Larsen
Jim Woodcock
Copyright-Jahr
2013
Verlag
Springer Berlin Heidelberg
Buch
Industrial Deployment of System Engineering Methods

Print ISBN: 978-3-642-33169-5

Electronic ISBN: 978-3-642-33170-1

Copyright-Jahr: 2013

DOI
https://doi.org/10.1007/978-3-642-33170-1_10

Premium Partner

    Bildnachweise