Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communications of the ACM
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
An implementation of an efficient algorithm for bisimulation equivalence
Science of Computer Programming
On the development of reactive systems
Logics and models of concurrent systems
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
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Verification of Real-Time Systems using Linear Relation Analysis
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Proof, language, and interaction
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Compositional Semantics of Non-Deterministic Synchronous Languages
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Mode-Automata: About Modes and States for Reactive Systems
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Distributing Finite Transition Systems Extended Abstract
PARLE '92 Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe
Operational and Compositional Semantics of Synchronous Automaton Compositions
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
A Compositional Semantics for Statecharts using Labeled Transition Systems
CONCUR '94 Proceedings of the Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Compiling ARGOS into Boolean Equations
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Formal Design of Distributed Control Systems with Lustre
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Verifying Quantitative Real-Time Properties of Synchronous Programs
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Modeling Statecharts Behaviour in a Fully Abstract Way
CAAP '88 Proceedings of the 13th Colloquium on Trees in Algebra and Programming
Constructive Analysis of Cyclic Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Compiling Modechart Specifications
Compiling Modechart Specifications
Defining and translating a "safe" subset of simulink/stateflow into lustre
Proceedings of the 4th ACM international conference on Embedded software
Modeling Embedded Systems: From SystemC and Esterel to DFCharts
IEEE Design & Test
A timing model for synchronous language implementations in simulink
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Modifying Contracts with Larissa Aspects
Electronic Notes in Theoretical Computer Science (ENTCS)
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Formal analysis tools for the synchronous aspect language Larissa
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Synchronous Estelle: Just Another Synchronous Language?
Electronic Notes in Theoretical Computer Science (ENTCS)
A hierarchical and concurrent approach for IEC 61499 function blocks
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Using controller-synthesis techniques to build property-enforcing layers
ESOP'03 Proceedings of the 12th European conference on Programming
Causal semantics for the algebra of connectors
Formal Methods in System Design
Multi-clock SoC design using protocol conversion
Proceedings of the Conference on Design, Automation and Test in Europe
What is in a step: new perspectives on a classical question
Time for verification
A common framework for synchronization in requirements modelling languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Synchronous programming of device drivers for global resource control in embedded operating systems
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Semantic quality attributes for big-step modelling languages
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
A component model that is both control-driven and data-driven
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Refinement patterns for hierarchical UML state machines
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Mode-automata based methodology for scade
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Modular design of man-machine interfaces with larissa
SC'06 Proceedings of the 5th international conference on Software Composition
Model translations among big-step modeling languages
Proceedings of the 34th International Conference on Software Engineering
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
Detection of harmful schizophrenic statements in esterel
ACM Transactions on Embedded Computing Systems (TECS)
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Argos belongs to the family of synchronous languages, designed for programming reactive systems: Lustre (Proceedings of the 14th Symposium on Principles of Programming Languages, Munich, 1987; Proc. IEEE 79(9) (1999) 1305), Esterel (Sci. Comput. Programming 19(2) (1992) 87), Signal (Technical Report, IRISA Report 246, IRISA, Rennes, France, 1985). Argos is a set of operators that allow to combine Boolean Mealy machines, in a compositional way. It takes its origin in Statecharts (Sci. Comput. Programming 8 (1987) 231), but with the Argos operators, one can build only a subset of Statecharts, roughly those that do not make use of multi-level arrows. We explain the main motivations for the definition of Argos, and the main differences with Statecharts and their numerous semantics. We define the set of operators, give them a perfectly synchronous semantics in the sense of Esterel, and prove that it is compositional, with respect to the trace equivalence of Boolean Mealy machines. We give an overview of the work related to the definition and implementation of Argos (code generation, connection to verification tools, introduction of non-determinism, etc.). This paper also gives a set of guidelines for building an automaton-based, Statechart-like, yet perfectly synchronous, language.