System Modeling in the COSMA Environment

Autor:	Daszczuk, Wiktor B., Grabski, Waldemar, Mieścicki, Jerzy, Wytrębowicz, Jacek
Rok vydání:	2017
Předmět:	Computer Science - Distributed Parallel and Cluster Computing
Zdroj:	Proc. Euromicro Symposium on Digital Systems Design - Architectures, Methods and Tools, September 4-6 2001, Warsaw, Poland, pp. 152-157
Druh dokumentu:	Working Paper
DOI:	10.1109/DSD.2001.952264
Popis:	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. Comment: 6 pages, 3 figures, 1 table
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1702.03563 Zobrazit plný text záznamu View this record from Arxiv