Abstract—Teaching computer science in the domain of safety critical systems needs to address multiple topics: embedded and distributed systems, real-time behavior and model-based system design. We present a model railway demonstrator that employs these paradigms in one application. The distributed railway controller nodes are connected using industry standard networks (CAN, Ethernet or TTP). The corresponding application software can be implemented manually in C/C++ or by using model-based development tools. This flexibility enables users to compare ad-vantages and drawbacks of various design patterns. Following an overview of the railway and its control system, experiences from educational courses as part of the DECOS training activities a...
In this work, we present a results front case study on testing a highly configurable, safety-critica...
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply t...
Simulation means running a model of a system with suitable input and observing the corresponding out...
The problem of control and management of railway transportation is a complex task with major outcome...
We wish to model railway control systems in a formally precise way so that product lines can be adap...
Bachelor thesis „Computer controlled train model“ is focused on basic evaluation of terms and existi...
This article describes digital control of trains on a railway model and it implements option of moni...
In the field of railway transport many activities are taken to achieve higher availability of offere...
In this paper a railway simulator will be presented and illustrated with a railway network model, wh...
The paper explains the main results of an ongoing research concerning the development of a network m...
International audienceThe increasing automation of transportation systems has contributed to the eme...
Distributed Embedded Real-Time Systems are becoming more important in the industrial sector. Applica...
This paper deals with a possibility of a modeling of a block system. A created modeling tool contain...
The paper deals with usage of computer simulation methods for education at Department of Electrical ...
The paper describes the design of a coloured Petri net model for a rather complex model train system...
In this work, we present a results front case study on testing a highly configurable, safety-critica...
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply t...
Simulation means running a model of a system with suitable input and observing the corresponding out...
The problem of control and management of railway transportation is a complex task with major outcome...
We wish to model railway control systems in a formally precise way so that product lines can be adap...
Bachelor thesis „Computer controlled train model“ is focused on basic evaluation of terms and existi...
This article describes digital control of trains on a railway model and it implements option of moni...
In the field of railway transport many activities are taken to achieve higher availability of offere...
In this paper a railway simulator will be presented and illustrated with a railway network model, wh...
The paper explains the main results of an ongoing research concerning the development of a network m...
International audienceThe increasing automation of transportation systems has contributed to the eme...
Distributed Embedded Real-Time Systems are becoming more important in the industrial sector. Applica...
This paper deals with a possibility of a modeling of a block system. A created modeling tool contain...
The paper deals with usage of computer simulation methods for education at Department of Electrical ...
The paper describes the design of a coloured Petri net model for a rather complex model train system...
In this work, we present a results front case study on testing a highly configurable, safety-critica...
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply t...
Simulation means running a model of a system with suitable input and observing the corresponding out...