Skip to main content
SpringerLink
Log in

Formal Methods for a Digital Industry

Industrial Day at ISoLA 2021

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2021)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 13036))

Included in the following conference series:

  • 1949 Accesses

Abstract

The industrial track at ISoLA 2021 provided a platform for presenting industrial perspectives on digitalization and for discussing trends and challenges in the ongoing digital transformation from the perspective of where and how formal methods can contribute to addressing the related technical and societal challenges. The track continued two special tracks at ISoLA conferences focused on the application of learning techniques in software engineering and software products [4], and industrial applications of formal methods in the context of Industry 4.0 [3, 7]. Topics of interest included but were not limited to Industry 4.0, industrial applications of formal methods and testing, as well as applications of machine learning in industrial contexts.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Altendeitering, M.: Mining data quality rules for data migrations: a case study on material master data. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 178–191. Springer, Cham (2021)

    Google Scholar 

  2. Marc, A.: Why software is eating the world. In: The Wall Street Journal (2011/08/20) (2011)

    Google Scholar 

  3. Hessenämper, A., Howar, F., Rausch, A.: Digital transformation trends: Industry 4.0, automation, and AI - industrial track at ISoLA 2018. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5–9, 2018, Proceedings, Part IV, pp. 469–471 (2018)

    Google Scholar 

  4. Howar, F., Meinke, K., Rausch, A.: Learning systems: machine-learning in software products and learning-based analysis of software systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 651–654. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_50

    Chapter  Google Scholar 

  5. Hardi, H.: Use cases for simulation in the development of automated driving systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 117–128. Springer, Cham (2021)

    Google Scholar 

  6. Jobish, J., Amrita, G., Tiziana, M., Dirk, P.: Dsls and middleware platforms in a model driven development approach for secure predictive maintenance systems in smart factories. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 146–161. Springer, Cham (2021)

    Google Scholar 

  7. Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, ISoLA 2016. LNCS, vol. 9953. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3

  8. Malte, M., Moritz, R.: From requirements to executable rules: an ensemble of domain-specific languages for programming cyber-physical systems in warehouse logistics. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 162–177. Springer, Cham (2021)

    Google Scholar 

  9. Boris, O., et al.: Data Ecosystems: Conceptual Foundations, Constituents and Recommendations for Action (2019). http://publica.fraunhofer.de/documents/N-572093.html. Accessed September 2021

  10. Robin, P., Hedan, Q., Lukas, H., Fabian, S., Falk, H.: Simulation-based elicitation of accuracy requirements for the environmental perception of autonomous vehicles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 129–145. Springer, Cham (2021)

    Google Scholar 

  11. Barbara, S., Falk, H., Tim, T., Bernhard, S.: Agile business engineering: from transformation towards continuous innovation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 77–94. Springer, Cham (2021)

    Google Scholar 

  12. Barbara, S., Stephen, R., Frederik, M., Alex, R., Tiziana, M.: Towards living canvases. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 95–116. Springer, Cham (2021)

    Google Scholar 

  13. The German Federal Government. Strategie Künstliche Intelligenz der Bundesregierung (2018). https://www.bmwi.de/Redaktion/DE/Publikationen/Technologie/strategie-kuenstliche-intelligenz-der-bundesregierung.html. Accessed September 2021

  14. The German Federal Government. Strategie Künstliche Intelligenz der Bundesregierung - Fortschreibung (2020). https://www.bmwi.de/Redaktion/DE/Publikationen/Technologie/strategie-kuenstliche-intelligenz-fortschreibung-2020.html. Accessed September 2021

Download references

Author information

Authors and Affiliations

  1. Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany

    Falk Howar

  2. German Aerospace Center, Braunschweig, Germany

    Hardi Hungar

  3. Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    Andreas Rausch

Authors
  1. Falk Howar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hardi Hungar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andreas Rausch
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Falk Howar .

Editor information

Editors and Affiliations

  1. University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Howar, F., Hungar, H., Rausch, A. (2021). Formal Methods for a Digital Industry. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2021. Lecture Notes in Computer Science(), vol 13036. Springer, Cham. https://doi.org/10.1007/978-3-030-89159-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-89159-6_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-89158-9

  • Online ISBN: 978-3-030-89159-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation