Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
Computer
Synchronous and Bidirectional Component Interfaces
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Contracts and Games in Controller Synthesis for Discrete Systems
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
Logical-Time Contracts for Reactive Embedded Components
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
A conservative extension of synchronous data-flow with state machines
Proceedings of the 5th ACM international conference on Embedded software
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
The theory of deadlock avoidance via discrete control
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using controller-synthesis techniques to build property-enforcing layers
ESOP'03 Proceedings of the 12th European conference on Programming
A programming language for adaptation control: case study
ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
A language approach to discrete control in computing
Proceedings of the Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks
QoS and energy management coordination using discrete controller synthesis
Proceedings of the 1st Workshop on Green Computing
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems
Synchronous control of reconfiguration in fractal component-based systems: a case study
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Reactive model-based control of reconfiguration in the fractal component-based model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
A decentralized supervisory control approach for distributed adaptive systems
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Discrete Control for the Coordination of Administration Loops
UCC '12 Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing
Synchronous programming of device drivers for global resource control in embedded operating systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
Eliminating concurrency bugs in multithreaded software: an approach based on control of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Coordinating multiple administration loops using discrete control
ACM SIGOPS Operating Systems Review
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems
Decentralized control for dynamically reconfigurable FPGA systems
Microprocessors & Microsystems
Coordinating self-sizing and self-repair managers for multi-tier systems
Future Generation Computer Systems
| Hi-index | 0.00 |
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedded systems, and involves principles of the supervisory control of discrete event systems. Our contribution is in a language approach where modular discrete controller synthesis (DCS) is integrated, and it is concretized in the encapsulation of DCS into a compilation process. From transition system specifications of possible behaviors, DCS automatically produces controllers that make the controlled system satisfy the property given as objective. Our language features and compiling technique provide correctness-by-construction in that sense, and enhance reliability and verifiability. Our application domain is adaptive and reconfigurable systems: closed-loop adaptation mechanisms enable flexible execution of functionalities w.r.t. changing resource and environment conditions. Our language can serve programming such adaption controllers. This paper particularly describes the compilation of the language. We present a method for the modular application of discrete controller synthesis on synchronous programs, and its integration in the BZR language. We consider structured programs, as a composition of nodes, and first apply DCS on particular nodes of the program, in order to reduce the complexity of the controller computation; then, we allow the abstraction of parts of the program for this computation; and finally, we show how to recompose the different controllers computed from different abstractions for their correct co-execution with the initial program. Our work is illustrated with examples, and we present quantitative results about its implementation.