Paper Info
Title
Semi-automatic controller design of Java-like models
Abstract
Controller synthesis consists in automatically generating a controller to restrict a hardware or software system so that it respects given requirements, for instance safety properties. Existing synthesis tools for discrete event systems mainly solve the problem for systems described in low-level formalisms. Controller synthesis, however, is not used in most industrial engineering processes. Barriers to wider adoption are the complexity of formally expressing the system and its requirements, the state explosion induced by large systems, and the limited confidence in the result, due to the difficulty in understanding the generated code. We propose an iterative, incremental, and semi-automatic approach to controller design, supporting the engineering process and mitigating state space explosion during synthesis. To provide a high-level environment, our approach is implemented in VeriJ, a Java-like language, and illustrated on a significant example taken from automated transport systems.
Year
DOI
Venue
2013
10.1145/2489804.2489806
FTfJP@ECOOP
Field
DocType
Citations 
Control theory,Programming language,Controller design,Computer science,Software system,Engineering design process,State space,Rotation formalisms in three dimensions,Java,restrict
Conference
0
PageRank 
References 
Authors
0.34
11
4
Name
Order
Citations
PageRank
Yan Zhang100.34
Beatrice Berard231228.17
Lom Messan Hillah3272.26
Yann Thierry-Mieg422518.17