The BRAT case study

Authors:
V. Winter;F. Kordon;M. Lemoine
Affiliations:
-;Université P. & M. Curie, France;ONERA Centre de Toulouse, France
Venue:
Formal methods for embedded distributed systems
Year:
2004

Citing 0
Cited 2

Applying service-oriented development to complex systems: BART case study

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Towards dynamic partitioning of reactive system behavior: a train controller case study

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms

Quantified Score

Hi-index	0.00

Visualization

Abstract

This chapter describes the BART case study, that will be used in all this book as a common problem to be solved by various analysis methods. The following chapters pick-up pieces from this example to illustrate possibilities of the presented techniques.