| Autor: |
Issad, Melissa, Kloul, Leïla, Rauzy, Antoine, Berkani, Karim |
| Zdroj: |
International Journal of Intelligent Transportation Systems Research; Sep2018, Vol. 16 Issue 3, p163-172, 10p |
| Abstrakt: |
Considering their increasing complexity, industrial systems are, in general, specified in a natural language. In railway systems, the design phase results an ambiguous and laborious system specification. The objective of this paper is to present ScOLa, a formal modeling language based on scenarios and built for railway system specifications. Its novelty resides in its restriction to a small set of concepts and its multiple representations (textual and graphical). The language offers means to understand what the system is supposed to do and to be as well as to support a dialog with experts so to be sure that they got everything correctly. The language is depicted on the railway automation solution Trainguard MT CBTC of Siemens. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink