Statecharts: A visual formalism for complex systems
Science of Computer Programming
Discrete-time signal processing
Discrete-time signal processing
Interpreting one concurrent calculus in another
Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
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
Specification and design of embedded systems
Specification and design of embedded systems
A formal approach to reactive systems software: a telecommunications application in ESTEREL
Formal Methods in System Design
Symbolic Model Checking
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
Operational and Compositional Semantics of Synchronous Automaton Compositions
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Compiling ARGOS into Boolean Equations
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Preemption in Concurrent Systems
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
VIS: A System for Verification and Synthesis
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Formal Development of Reactive Systems - Case Study Production Cell
Constructive Analysis of Cyclic Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Composite signal flow: a computational model combining events, sampled streams, and vectors
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Modeling of mixed control and dataflow system in MASCOT
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
On the Combination of Synchronous Languages
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Verifying a Time-Triggered Protocol in a Multi-language Environment
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Combining Theorem Proving and Continuous Models in Synchronous Design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Synchronous Dataflow Pattern Matching
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Synchronous programming is available through several formallydefined languages having very different characteristics: Esterel isimperative, while Lustre and Signal are declarative in style; Statechartsand Argos are graphical languages that allow one to program by constructinghierarchical automata. Our motivation for taking the synchronous designparadigm further, integrating imperative, declarative (or dataflow), andgraphical programming styles, is that real systems typically have components that match each of these profiles. This paper motivates our interest in the mixed language programming of embedded software around anumber of examples, and sketches the semantical foundation of theSynchronie toolset which ensures a coherent computational model. Thistoolset supports a design trajectory that incorporates rapid prototypingand systematic testing for early design validation, an object orienteddevelopment methodology for long term software management, and formalverification at the level of automatically generated object code.