System Modeling in the COSMA Environment
Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Mie\'scicki, Jacek, Wytr\k{e}bowicz
TL;DR
This paper demonstrates how the COSMA environment, based on Concurrent State Machines, can be used for system modeling and validation, exemplified through a distributed railway brake control system.
Contribution
It introduces the COSMA environment and illustrates its application in modeling and validating a complex distributed control system.
Findings
Successful modeling of a distributed brake control system
Validation of the model using a temporal logic analyzer
Demonstration of COSMA's capabilities for system validation
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.