Railway Controller Synthesis Based On System Requirements

Author

Bourdeaud´huy, T. ; Yim, P.

Author_Institution

Ecole Centrale de Lille, Villeneuve d´Ascq

fYear

2006

fDate

4-6 Oct. 2006

Firstpage

1124

Lastpage

1131

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CESA.2006.313491

Filename

4105557