A survey: Applying formal methods to a software intensive system

Adriaan De Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Mounier, Michel Lemoine, Gervais Gaudiere, Victor L. Winter, Deepak Kapur

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

This paper surveys various complementary formal approaches that could be used to facilitate the development of the train control system described in BART case study. This system is interesting because train control must take into account complex behaviors, positional uncertainties, noise, continuous aspects, and a predefined computational architecture. The approaches discussed are works in progress and are not complete at the time of the writing of this paper.

Original languageEnglish (US)
Title of host publication6th IEEE International Symposium on High Assurance Systems Engineering - Special Topic
Subtitle of host publicationImpact of Networking, HASE 2001
PublisherIEEE Computer Society
Pages55-64
Number of pages10
ISBN (Electronic)0769512755
DOIs
Publication statusPublished - Jan 1 2001
Event6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 - Boca Raton, United States
Duration: Oct 22 2001Oct 24 2001

Publication series

NameProceedings of IEEE International Symposium on High Assurance Systems Engineering
Volume2001-January
ISSN (Print)1530-2059

Other

Other6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001
CountryUnited States
CityBoca Raton
Period10/22/0110/24/01

    Fingerprint

Keywords

  • Software systems
  • Systems engineering and theory

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

De Groot, A., Hooman, J., Kordon, F., Paviot-Adet, E., Mounier, I., Lemoine, M., ... Kapur, D. (2001). A survey: Applying formal methods to a software intensive system. In 6th IEEE International Symposium on High Assurance Systems Engineering - Special Topic: Impact of Networking, HASE 2001 (pp. 55-64). [966807] (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; Vol. 2001-January). IEEE Computer Society. https://doi.org/10.1109/HASE.2001.966807