System Modeling in the COSMA Environment
Distributed, Parallel, and Cluster Computing
2017-02-14 v1
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.
Cite
@article{arxiv.1702.03563,
title = {System Modeling in the COSMA Environment},
author = {Wiktor B. Daszczuk and Waldemar Grabski and Jerzy Mieścicki and Jacek Wytrębowicz},
journal= {arXiv preprint arXiv:1702.03563},
year = {2017}
}
Comments
6 pages, 3 figures, 1 table