DocumentCode
1917672
Title
A survey: applying formal methods to a software intensive system
Author
de Groot, A. ; Hooman, Jozef ; Lemoine, M. ; Winter, Victor L. ; Kapur, D.
Author_Institution
Katholieke Univ., Nijmegen
fYear
2001
fDate
2001
Firstpage
55
Lastpage
64
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
Petri nets; computational complexity; formal specification; software fault tolerance; BART case study; complementary formal approaches; complex behaviors; formal Methods; noise; predefined computational architecture; software intensive system; train control system; Software systems; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on
Conference_Location
Boco Raton, FL
ISSN
1530-2059
Print_ISBN
0-7695-1275-5
Type
conf
DOI
10.1109/HASE.2001.966807
Filename
966807
Link To Document