The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Synchronous and Bidirectional Component Interfaces
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Supervisory Control of Finite State Machines
Proceedings of the 7th International Conference on Computer Aided Verification
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Multi-agent product systems: analysis, synthesis and control
Multi-agent product systems: analysis, synthesis and control
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
Using controller-synthesis techniques to build property-enforcing layers
ESOP'03 Proceedings of the 12th European conference on Programming
Hi-index | 0.00 |
We are interested in the programming of real-time embedded control systems, such as in robotic, automotive or avionic systems. They are designed with multiple tasks, each with multiple modes. It is complex to design task handlers that control the switching of activities in order to insure safety properties of the global system. We propose a model of tasks in terms of transition systems, designed especially with the purpose of applying existing discrete controller synthesis techniques. This provides us with a systematic methodology, for the automatic generation of safe task handlers, with the support of synchronous languages and associated tools.