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
StatePublished - 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

Keywords

  • Software systems
  • Systems engineering and theory

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'A survey: Applying formal methods to a software intensive system'. Together they form a unique fingerprint.

Cite this