Title :
Railway Controller Synthesis Based On System Requirements
Author :
Bourdeaud´huy, T. ; Yim, Pascal
Author_Institution :
Ecole Centrale de Lille, Villeneuve d´´Ascq
Abstract :
In this paper, we present a conception methodology based on system requirements, within which we propose to integrate formalisation and verification into the same process. This method uses the constraint programming paradigm to synthesize Petri nets corresponding to a formal expression of requirements as constraints over the PN structure. Some additional techniques are provided to incrementally refine the synthesized net until it satisfies the whole requirements
Keywords :
Petri nets; constraint handling; control engineering computing; control system synthesis; formal verification; railway engineering; Petri nets; constraint programming; railway controller synthesis; system requirements; verification; Control system synthesis; Costs; Electrical equipment industry; Object oriented modeling; Petri nets; Phase detection; Project management; Rail transportation; Supervisory control; Systems engineering and theory; Computer-aided modelisation; Constraint Logic Programming; Petri Nets Synthesis; Requirements Engineering; Supervisory Control;
Conference_Titel :
Computational Engineering in Systems Applications, IMACS Multiconference on
Conference_Location :
Beijing
Print_ISBN :
7-302-13922-9
Electronic_ISBN :
7-900718-14-1
DOI :
10.1109/CESA.2006.4281812
