| 1. |
- di Tommaso, P., et al.
(författare)
-
The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system
- 2005
-
Ingår i: HASE 2005 : Ninth IEEE International Symposium on High Assurance Systems Engineering. - Heidelberg : Springer. - 0769523773 - 9780769523774 ; , s. 131-139
-
Konferensbidrag (refereegranskat)abstract
- ERTMS/ETCS is going to become the reference standard for modern railway signalling. To develop a safe and reliable Automatic Train Protection System (ATPS) based on ERTMS/ETCS, a detailed functional testing phase is needed, meeting the requirements of international railway safety standards. In this paper we deal with the functional validation of the trackside part of an ERTMS/ETCS compliant system. An extensive set of functional tests have been specified in order to thoroughly verify the system, using an innovative approach based on influence variables and state diagrams. However, such a detailed test specification requires a great amount of time and resources to be entirely executed in the real environment. Moreover, several tests need to generate abnormal safety-critical conditions that are unfeasible on the field. In this paper we describe how we overcame such problems using a specific simulation environment capable to quickly and automatically execute anomaly tests in normal as well as in degraded operating conditions.
|
|
| 2. |
- Flammini, Francesco, Senior Lecturer, 1978-, et al.
(författare)
-
Using repairable fault trees for the evaluation of design choices for critical repairable systems
- 2005
-
Ingår i: Proceedings of IEEE International Symposium on High Assurance Systems Engineering. - : IEEE. - 0769523773 - 9780769523774 ; , s. 163-172
-
Konferensbidrag (refereegranskat)abstract
- Critical repairable systems are characterized by complex architecture and requirements. The evaluation of benefits produced by repair policies on the overall system availability is not straightforward, as policies can be very articulated and different. In order to support this evaluation process, the Repairable Fault Tree (RFT) formalism revealed to be useful and suitable to represent complex repair policies by extending the existing Fault Tree formalism. In this paper we show how to exploit RFT advantages by evaluating the effects of different repair policies on the availability of the most critical component of ERTMS/ETCS (an European railway standard) systems: the Radio Block Centre (RBC).
|
|
