FB3
TZI
BISS
Ceiling Speed Monitoring Rev. 1.6
The ceiling speed monitoring model is a functionality of the European Vital Computer EVC, the on board controller that is described in the public European Train Control System ETCS specification.
The model exists as an Enterprise Architect model, a Eclipse/Papyrus model and as an Artisan Studio model. All models contain the same requirements definitions, but the requirements tracing information is defined in the Artisan Studio and the Papyrus model only. All models define the same behaviour.
- A comprehensive techical report describing the model and the testing approaches used can be obtained here: A SysML Test Model and Test Suite for the ETCS Ceiling Speed Monitor (last update: 2014-05-11)
- HTML package browser
Enterprise Architect Model,
Artisan Studio Model,
(last update: 2014-04-29) - Model export (XMI format)
Enterprise Architect Model,
Artisan Studio Model,
(last update: 2014-04-29) - Model Export (tool format)
Enterprise Architect Model (EAP format, loadable with EnterpriseArchitect 9.2)
Artisan Studio Model (AS-ZIP format, loadable with Artisan Studio 7.4)
(last update: 2014-04-29) - Papyrus Model
XMI File
Eclipse project
(last update: 2014-06-03) - Benchmark Tests
Contributors. Jan Peleska, Cecile Braunstein, Uwe Schulze, Felix Hübner, Wen-ling Huang (University of Bremen, {jp,cecile,uschulze,felixh,huang}@informatik.uni-bremen.de);
Anne E. Haxthausen, Linh Vu Hong (DTU Compute Technical University of Denmark,{aeha,lvho}@dtu.dk)
Acknowledgments.
The work of Cecile Braunstein is funded by ITEA2 project openETCS under grant agreement 11025.
The work of Uwe Schulze and Wen-ling Huang is funded by the EU FP7 COMPASS project under grant agreement no.287829.
The work of Linh Vu Hong is funded by the RobustRailS project funded by the Danish Council for Strategic Research.