Title :
System modeling in the COSMA environment
Author :
W.B. Daszczuk;W. Grabski;J. Miescicki;J. Wytrebowicz
Author_Institution :
Inst. of Comput. Sci., Warsaw Univ. of Technol., Poland
fDate :
6/23/1905 12:00:00 AM
Abstract :
The aim of this paper is to demonstrate how the COSMA environment can be used for system modeling. This environment is a set of tools based on concurrent state machines paradigm and is developed in the Institute of Computer Science at the Warsaw University of Technology. Our demonstration example is a distributed brake control system dedicated for a railway transport. The paper shortly introduces COSMA. Next it shows how the example model can be validated by our temporal logic analyzer.
Keywords :
"Modeling","Computer science","Hardware","Engines","Protocols","Automata","Distributed control","Control systems","Logic","Safety"
Conference_Titel :
Digital Systems Design, 2001. Proceedings. Euromicro Symposium on
Print_ISBN :
0-7695-1239-9
DOI :
10.1109/DSD.2001.952264
