# System Modeling in the COSMA Environment

## 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.

## Key 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.

---
Source: https://tomesphere.com/paper/1702.03563