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 Citations (Scopus)

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

Formal methods
Control systems
Uncertainty

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

A survey : Applying formal methods to a software intensive system. / De Groot, Adriaan; Hooman, Jozef; Kordon, Fabrice; Paviot-Adet, Emmanuel; Mounier, Isabelle; Lemoine, Michel; Gaudiere, Gervais; Winter, Victor L.; Kapur, Deepak.

6th IEEE International Symposium on High Assurance Systems Engineering - Special Topic: Impact of Networking, HASE 2001. IEEE Computer Society, 2001. p. 55-64 966807 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; Vol. 2001-January).

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

De Groot, A, Hooman, J, Kordon, F, Paviot-Adet, E, Mounier, I, Lemoine, M, Gaudiere, G, Winter, VL & 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., 966807, Proceedings of IEEE International Symposium on High Assurance Systems Engineering, vol. 2001-January, IEEE Computer Society, pp. 55-64, 6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001, Boca Raton, United States, 10/22/01. https://doi.org/10.1109/HASE.2001.966807
De Groot A, Hooman J, Kordon F, Paviot-Adet E, Mounier I, Lemoine M et al. 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. IEEE Computer Society. 2001. p. 55-64. 966807. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering). https://doi.org/10.1109/HASE.2001.966807
De Groot, Adriaan ; Hooman, Jozef ; Kordon, Fabrice ; Paviot-Adet, Emmanuel ; Mounier, Isabelle ; Lemoine, Michel ; Gaudiere, Gervais ; Winter, Victor L. ; Kapur, Deepak. / A survey : Applying formal methods to a software intensive system. 6th IEEE International Symposium on High Assurance Systems Engineering - Special Topic: Impact of Networking, HASE 2001. IEEE Computer Society, 2001. pp. 55-64 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).
@inproceedings{8602d72fa67147ff8b762e69ee05f809,
title = "A survey: Applying formal methods to a software intensive system",
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.",
keywords = "Software systems, Systems engineering and theory",
author = "{De Groot}, Adriaan and Jozef Hooman and Fabrice Kordon and Emmanuel Paviot-Adet and Isabelle Mounier and Michel Lemoine and Gervais Gaudiere and Winter, {Victor L.} and Deepak Kapur",
year = "2001",
month = "1",
day = "1",
doi = "10.1109/HASE.2001.966807",
language = "English (US)",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
publisher = "IEEE Computer Society",
pages = "55--64",
booktitle = "6th IEEE International Symposium on High Assurance Systems Engineering - Special Topic",

}

TY - GEN

T1 - A survey

T2 - Applying formal methods to a software intensive system

AU - De Groot, Adriaan

AU - Hooman, Jozef

AU - Kordon, Fabrice

AU - Paviot-Adet, Emmanuel

AU - Mounier, Isabelle

AU - Lemoine, Michel

AU - Gaudiere, Gervais

AU - Winter, Victor L.

AU - Kapur, Deepak

PY - 2001/1/1

Y1 - 2001/1/1

N2 - 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.

AB - 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.

KW - Software systems

KW - Systems engineering and theory

UR - http://www.scopus.com/inward/record.url?scp=33750550263&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33750550263&partnerID=8YFLogxK

U2 - 10.1109/HASE.2001.966807

DO - 10.1109/HASE.2001.966807

M3 - Conference contribution

AN - SCOPUS:33750550263

T3 - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

SP - 55

EP - 64

BT - 6th IEEE International Symposium on High Assurance Systems Engineering - Special Topic

PB - IEEE Computer Society

ER -