Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Synchronous Observers and the Verification of Reactive Systems
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Formal Design of Distributed Control Systems with Lustre
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
MATOU: An Implementation of Mode-Automata
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Checking order-insensitivity using ternary simulation in synchronous programs
ISPASS '00 Proceedings of the 2000 IEEE International Symposium on Performance Analysis of Systems and Software
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Mode: a method for system-level architecture evaluation
Formal methods and models for system design
Virtual execution of AADL models via a translation into synchronous programs
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Separate Compilation of Polychronous Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
A real-time architecture design language for multi-rate embedded control systems
Proceedings of the 2010 ACM Symposium on Applied Computing
A methodology for automatic diagnosability analysis
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
| Hi-index | 0.00 |
The European project Crisys+ aims at improving and formalizing the actual methods, techniques and tools used in the industries concerned with process control, in order to support a global system approach when developing Distributed Control System. This paper focuses on the main result of the Crisys project: the quasi-synchronous approach which is based on the synchronous language Lustre-Scade. The quasi-synchronous methodology provides (1) a complete framework consistent with usual engineering practices for both programming, simulating, testing a distributed system and (2) a robustness properties checker so as to ensure the behavior preservation during the distributed implementation. Both elements are based on a solid theoretical basis.