Skip to main content
SpringerLink
Log in

Applying Formal Methods in Industry The UseGat Project

  • Conference paper
  • First Online:
Computer Safety, Reliability and Security (SAFECOMP 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1516))

Included in the following conference series:

  • 363 Accesses

Abstract

The use of formal methods in real project is still a challenge. The paper reports the results of a Trial Project, partially funded by the European Communities, with the goal to measure difficulties and benefits associated with the use of integrated graphical and textual formal specification languages. The reference application used for the trial project was the development of a platform door control function of a more complex system in the field of railway applications.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Software through Picture:Core: Fundamental of StP, Release 2, IDE, February 1996

    Google Scholar 

  2. The IFAD VDM-SL Documentation, March 1996.

    Google Scholar 

  3. D.J. Hatley, I.A. Pirbhai: Strategy for Real-Time System Specification Dorset House Publishing New York-1997, ISBN: 0-932633-11-0

    Google Scholar 

  4. CENELEC European Committee for Electro-technical Standardization: Railway Applications: Software for Railway Control and Protection Systems, Draft prEN50128, August 1996

    Google Scholar 

  5. ISO/IEC 1207 International Standard: Information technology Software life-cycle processes

    Google Scholar 

  6. A. Traverso: A tool for Specification Analysis: Complete Decision Table, SA-FECOMP’85

    Google Scholar 

  7. C. Abbaneo, G. Biondi, M. Ferrando, G. Mongardi: Testing of Computer Based Interlocking Software: Methodology and Environment, SAFECOMP’92

    Google Scholar 

  8. ISO/IEC 9126 Information technology-Safety product evaluation-Quality characteristics and guidelines for their use, 1991

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ENEA C.R. CASACCIA, Via Anguillarese, 301, I-00060, Roma, Italy

    Sandro Bologna, Rocco Bove & Giovanni Dipoppa

  2. ANSALDO, Segnalamento Ferroviario Via dei pescatori 35, I-16129, Genova, Italy

    Giorgio Mongardi, Gino Biondi & Carmen Porzia

  3. IFAD, Forskerparken 10, DK-5230, Odense, Denmark

    Benny Graft Mortensen & Niels Kirkegaard

Authors
  1. Sandro Bologna
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rocco Bove
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giovanni Dipoppa
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Giorgio Mongardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Gino Biondi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Carmen Porzia
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Benny Graft Mortensen
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Niels Kirkegaard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Angewandte Informatik, Fachhochschule Fulda, Postfach 12 69, D-36012, Fulda, Germany

    Wolfgang Ehrenberger

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg Berlin Heidelberg

About this paper

Cite this paper

Bologna, S. et al. (1998). Applying Formal Methods in Industry The UseGat Project. In: Ehrenberger, W. (eds) Computer Safety, Reliability and Security. SAFECOMP 1998. Lecture Notes in Computer Science, vol 1516. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49646-7_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-49646-7_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65110-9

  • Online ISBN: 978-3-540-49646-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation