Requirement Refinement to Test Case Generation for Railway Control Systems
YANG ; PERES ; GHAZEL ; EL-KOURSI
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
YANG ; PERES ; GHAZEL ; EL-KOURSI
Résumé / Abstract
The FerroCOTS project aims at replacing relay panels of railway command-control systems with Commercial-Off-The-Shelf (COTS) components that use high-speed Field-Programmable Gate Array (FPGA) digital devices. COTS technology is cost-saving, easily maintained and much more flexible when the system functions need to be updated. However, the lack of proper system specification and verification methods is a huge obstacle to developing these kinds of systems. In this paper, we propose a systematic requirement refinement method for embedded railway control systems. This method provides requirement traceability mechanisms, whenever the refinement process must be backtracked. CTL* logic is chosen as the formal specification framework of our refinement process. Based on these formal specifications, we present a conformance testing framework for generating test cases. These test cases are transformed automatically into VHDL test benches for simulation. The requirement refinement method is illustrated through a case study featuring a Train Door Control system.
