Project : popart
Section: Contracts and Grants with Industry
Athys is a start-up company of Inria Rhône-Alpes, working on the techniques for control and application of synchronous languages in robotics; it was created in June 2000, after a year and a half incubation, and its definition was heavily influenced by our experience around Orccad.
We cooperate in the RNTL Automate project, also involving Comau (formerly Renault Automation). The basic idea consists in using predefined and validated components to ease and make faster and safer the design of complex applications in industry. Starting from the functional description of each component, e.g. a robot gripper, its discrete event based behavior is modeled and encoded using Esterel Studio. Then this behavior can be validated using the associated formal verification tools. Validated components behaviors can be further composed to check the overall behavior of the application, e.g the assembly cell. A set of user-oriented predefined properties has been developed to help the user in the verification process at each step of the design.
This project was funded by the RNTL for one year and 52 kEUR. It valorizes our competence in synchronous techniques and application to production systems, contributes to Athys' development of the Cell Control environment and should influence work on domain specific verification and synthesis.