Project : popart
Automatic Controller Generation
On this subject, the development activities are at the beginning, and encompass two aspects.
On the one hand, the software tool for experimentation, allowing the specification of models, the controller synthesis, and the execution or simulation of the results, is based on existing synchronous tools, and thus consists primarily in the use and integration of Sigali (developed at IRISA) and of Mode Automata (developed at Verimag( http://www-verimag.imag.fr)).
On the other hand, the determination of useful component templates and relevant properties can be given form by libraries of task models, and properties and objectives. To start off, they can be naturally seen in terms of mode automata and the tools of the experimental platform mentioned above, but one can keep in mind their portability towards other platforms.
Participant : G. Gössler.
The first results for compositional modeling and verification (section 6.4) have been implemented in the prototype tool Prometheus, in order to perform case studies to evaluate their potential and limits.
Vehicle Control Tasks
Within the framework of our work on the longitudinal control of automatic vehicles , we have implemented our control law in the form of an Orccad task, which currently runs on the Cycabs of Inria Rhône-Alpes . We have also designed real-life automated highway simulations with the Shift programming language developed at UC Berkeley( http://www-path.eecs.berkeley.edu/shift).