Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Tuesday, August 1, 2017 - 3:12:25 PM
Last modification on : Thursday, March 21, 2019 - 1:13:30 PM



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⟩



Record views