Applying formal methods in industry the UseGat project

Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard

Research output: Contribution to conferencePaper

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.
Original languageEnglish
Publication statusPublished - 1998
Event17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998 - Heidelberg, Germany
Duration: 1 Jan 1998 → …

Conference

Conference17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998
CountryGermany
CityHeidelberg
Period1/1/98 → …

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Bologna, S., Bove, R., Dipoppa, G., Mongardi, G., Biondi, G., Porzia, C., ... Kirkegaard, N. (1998). Applying formal methods in industry the UseGat project. Paper presented at 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998, Heidelberg, Germany.