VERIFYING AND TESTING ETCS TRAIN IMPLEMENTATIONS BASED ON IF SPECIFICATIONS
Published In: INTERNATIONAL CONFERENCE ON ADVANCES IN INFORMATION PROCESSING AND COMMUNICATION TECHNOLOGY
Author(s): NATALIA KUSHIK , NINA YEVTUSHENKO , ANA CAVALLI , MOUNIR LALLALI
Abstract: This paper presents test generation scenarios for a train implementation based on the requirements for European Train Control System (ETCS). The formal model used for the test derivation is the model of a Timed Extended Finite State Machine (TEFSM) given in the IF language. This language allows to capture some important properties such as safety properties that should be checked for train implementations represented as corresponding test objectives. The tool TestGen-IF is then used for automatic generation of test cases.
- Publication Date: 08-Jun-2014
- DOI: 10.15224/978-1-63248-021-7-91
- Views: 0
- Downloads: 0
THE PROSESS OF WITHDRAWAL OF KNOWLEDGE MATRIX ON PRECEDENT
Published In: INTERNATIONAL CONFERENCE ON ADVANCES IN INFORMATION PROCESSING AND COMMUNICATION TECHNOLOGY
Author(s): ILIPOV MARLEN , ISKAKOVA AYMAN
Abstract: In this work the process of operational withdrawal of knowledge matrix on precedent described situational vectors is precented. The new method of withdrawal president and its application in managment RFID system are precented.
- Publication Date: 08-Jun-2014
- DOI: 10.15224/978-1-63248-021-7-92
- Views: 0
- Downloads: 0