Skip to main content
SpringerLink
Log in

Preface of the special issue on formal methods in industrial critical systems

  • Introduction
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

The use of formal methods in industrial critical systems has a lot of potential to increase the quality and reliability of these systems. Three of the main challenges of the application of formal methods in industrial systems are scalability, their often inherent complexity and the integration into existing development processes. Due to this, their application is limited mainly to where usage is highly recommended by domain-specific standards, e.g., in light rail and avionics. The contributions in this special issue address some of these core problems of using formal methods in industry. The articles are based on papers selected from the 2015 Fmics workshop, an annual forum organized by the Ercim working group dedicated to formal methods for industrial critical systems.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aman, B., Ciobanu, G.: Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transfer (2016). doi:10.1007/s10009-016-0439-9

  2. Aichernig, B.K., Hörmaier, K., Lorber, F., Ničkovic, D., Tiran, S.: Require, test and trace IT. Int. J. Softw. Tools Technol. Transfer (2016). doi:10.1007/s10009-016-0444-z

  3. Damouche, N., Martel, M., Chapoutot, A.: Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transfer (2016). doi10.1007/s10009-016-0435-0

  4. Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: towards flexible verification under fairness. In: Computer Aided Verification: \(21^{st}\) International Conference (CAV 2009). LNCS. Springer (2009)

  5. Junker, U.: QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In: Proceedings of the 19th National Conference on Artificial Intelligence, pp 167–172. AAAI Press, California (2004)

  6. Ioualalen, A., Martel, M.: A new abstract domain for the representation of mathematically equivalent expressions. In: Proceedings of the \(19^{th}\) International Conference on Static Analysis (SAS 2012). LNCS. Springer (2012)

Download references

Author information

Authors and Affiliations

  1. DiffBlue ltd., King Charles House, Park End Street, Oxford, Ox1 1JD, UK

    Matthias Güdemann

  2. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    Manuel Núñez

Authors
  1. Matthias Güdemann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Núñez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matthias Güdemann.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Güdemann, M., Núñez, M. Preface of the special issue on formal methods in industrial critical systems. Int J Softw Tools Technol Transfer 19, 391–393 (2017). https://doi.org/10.1007/s10009-017-0455-4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-017-0455-4

Keywords

Search

Navigation