A Survey: Applying Formal Methods to a Software Intensive System - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

A Survey: Applying Formal Methods to a Software Intensive System

G. Gaudière
  • Fonction : Auteur
A. De Groot
  • Fonction : Auteur
J. Hooman
  • Fonction : Auteur
Fabrice Kordon
M. Lemoine
  • Fonction : Auteur
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651
V. Winter
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

hal-01571075 , version 1 (01-08-2017)

Identifiants

Citer

G. Gaudière, A. De Groot, J. Hooman, Fabrice Kordon, M. Lemoine, et al.. A Survey: Applying Formal Methods to a Software Intensive System. 6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Oct 2001, Boco Raton, FL, United States. pp.55-64, ⟨10.1109/HASE.2001.966807⟩. ⟨hal-01571075⟩
38 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More