| Título: |
The Use of UML to Development of a Railway Interlocking System The Use of UML to Development of a Railway Interlocking System |
| Autores: |
Rastocny, Karol; University of Zilina Janota, Ales Zahradnik, Jiri |
| Fecha: | 2011-06-29 |
| Publicador: | Advances in Electrical and Electronic Engineering |
| Fuente: |
 |
| Tipo: |
|
| Tema: |
UML; railway; technical standart; signalling systems. UML; railway; technical standart; signalling systems. |
| Descripción: |
The paper deals with problems of using the Unifield Modeling Lanfuage (UML) in developmentt of new railway interlocking and signalling systems. A simplifield example of the control circuit of a point machine is used to demonstrate an object-oriented approach to specifying the functional safety requirements. An informal specification given by the relevant technical standart is used as a starting point and results in semi-formal specification based on UML model. Advantages of the presented approach are discussed and new trends of increasing formality of UML models are indicated within conclusions. The paper deals with problems of using the Unifield Modeling Lanfuage (UML) in developmentt of new railway interlocking and signalling systems. A simplifield example of the control circuit of a point machine is used to demonstrate an object-oriented approach to specifying the functional safety requirements. An informal specification given by the relevant technical standart is used as a starting point and results in semi-formal specification based on UML model. Advantages of the presented approach are discussed and new trends of increasing formality of UML models are indicated within conclusions. |
| Idioma: | sk |
1 The Applications for the Calculation and Optimization of Passive Optical Networks Attenuation Characteristics por Lafata, Pavel,Vodrazka, Jiri | 6 Binary Modulation Formats in Optical Access Networks por Tejkal, Vladimir,Filka, Miloslav,Reichert, Pavel,Sporik, Jan |
2 The Study of Sensory Properties of Quasi-Singlemode Fiber por Koudelka, Petr; Department of Telecommunications
Faculty of Electrical Engineering and Computer Science
VSB-TU Ostrava
17. listopadu 15/2172
708 33 Ostrava-Poruba
Czech Republic,Latal, Jan,Siska, Petr,Hanacek, Frantisek,Skapa, Jan,Vasinek, Vladimir | 7 Optical Fiber Sensor with Distributed Parameters Based on Optical Fiber Reflectometry por Korenko, Branislav,Jasenek, Jozef,Cervenova, Jozefa,Hlavac, Marek |
3 Fiber Optical Sensor for High Temperatures por Hanacek, Frantisek; Site Administrator,Latal, Jan,Koudelka, Petr,Skapa, Jan,Siska, Petr,Vasinek, Vladimir,Hurta, Jan | 8 Future of Electrotechnics: Ferrofluids por Mayer, Daniel |
4 The Soliton Transmissions in Optical Fibers por Bohac, Leos | 9 Analysis of Simulated Reflection Characteristics of Uniform and Apodized Fiber Bragg Gratings por Gemzicky, Erik,Mullerova, Jarmila |
5 Influence of Magnetic Field on Electric Charge Trasport in Holmium Thin Film at Low Temperature por Dudas, Jan,Gabani, Stanislav,Bagi, Jozef,Goscianska, Iwona,Hodulikova, Anna | 10 WDM in Courses of Communication Technologies por Filka, Miloslav,Bernkopf, Miroslav |