A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Filters
A Synchronous Approach for IEC 61499 Function Block Implementation
2009
IEEE transactions on computers
Preserved Fulltext
The proposed semantics avoids causal cycles common in Esterel, and is proven to be reactive and deterministic under any composition. ...
The standard prescribes the use of function blocks for designing systems in a componentoriented approach. ...
However, the IEC 61499 standard does not provide formal semantics for the execution of function blocks. ...
doi:10.1109/tc.2009.128
fatcat:hv6qjr7nufhabfdc7adphoebi4
Goto and Concurrency Introducing Safe Jumps in Esterel
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
In order to provide the formal semantics of the extended language, we first define a state semantics of Esterel, which we prove observationally equivalent to the original logical behavioral semantics. ...
Esterel is a design language for the specification of real time embedded systems. ...
In the case of Esterel, we first have to reformulate the standard logical behavioral semantics [4, 18] in the form of a state semantics that we prove observationally equivalent (Section 3). ...
doi:10.1016/j.entcs.2006.02.025
fatcat:73vclf4dd5c6rdiff3fk4sogmi
Loops in esterel
2005
ACM Transactions on Embedded Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Esterel is a synchronous design language for the specification of reactive systems. Thanks to its compact formal semantics, code generation for Esterel is essentially provably correct. ...
Clever expansion strategies are required to minimize the unfolding. We first characterize these two difficulties w.r.t. the formal semantics of Esterel. ...
In the case of Esterel, we first have to reformulate the standard logical behavioral semantics of Section 2 in the form of a state semantics, that we prove equivalent to the former in the sense of bisimulation ...
doi:10.1145/1113830.1113832
fatcat:ege3szwbhrdydd4rfdj5qywd2a
Verifying IEC 61499 Function Blocks Using Esterel
2010
IEEE Embedded Systems Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The standard, however, lacks the semantic rigour necessary for automated verification of function block programs. ...
IEC 61499 is an international standard that prescribes the use of function blocks for designing industrialprocess control systems. ...
The standard does not specify formal semantics, but provides only an intuitive description of the expected behaviour for function block execution. ...
doi:10.1109/les.2010.2042275
fatcat:wwsebfl7jnfwtkgbppowyl4seq
Towards a Model Theory for Esterel
2002
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This o ers interesting insights into the similarities of and the di erences between Esterel and Statecharts semantics. 1 ...
This paper shows how the constructive semantics of a combinational fragment of Esterel, as presented by B e r r y , can be derived in a model{theoretic fashion, thus complementing the existing behavioral ...
The standard Esterel semantics, as well as the model{theoretic semantics developed here, are fully compatible with this point of view. ...
doi:10.1016/s1571-0661(05)80444-x
fatcat:j2ll43b3pjdzhanrbtywwq3pyq
Towards Coq-verified Esterel Semantics and Compiling
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper focuses on semantics of the Esterel synchronous programming language. ...
Formal proofs in Coq of the equivalence between the CBS and CSS semantics and of the refinement between the CSS and microstep semantics are also provided. ...
The Esterel semantics chain The chain of semantics that makes it possible to translate Esterel programs into circuits is described in a draft book available on the web [Ber03]. ...
arXiv:1909.12582v1
fatcat:ygncx3kfczbknnemfvqlzanmdy
HW/SW co-design for Esterel processing
2007
Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis - CODES+ISSS '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Our approach performs the partitioning at the source-code level and preserves the original, strictly synchronous semantics. ...
We have implemented the co-synthesis approach based on the Columbia Esterel Compiler and have validated it on the Kiel Esterel Processor. ...
Further objectives were to maintain a strictly semantics, to require minimal modifications of the reactive processing platform, and to still allow the use of standard simulation and synthesis tools. ...
doi:10.1145/1289816.1289842
dblp:conf/codes/GadtkeTH07
fatcat:2u4atv5fbnarvko4cauifs44xi
Esterel on hardware
1992
Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Esterel has an efficient software implementation based on a well-defined mathematical semantics. I present a new hardware implementation of the pure synchronization subset of the language. ...
The circuit is shown to be semantically equivalent to the source program. The hardware translation is effectively implemented and used on the programmable active memory PerleO developed by J. ...
Berry The standard Esterel compiler is directly based on the mathematical semantics. ...
doi:10.1098/rsta.1992.0027
fatcat:2yhioiv5wnci5oxyq7ghixilby
Communicating reactive processes
1993
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Then, cooperation between nodes is defined as in the standard esp ready trace semantics.
Node Semantics There are several formal semantics for ESTEREL [5] . ...
Appendix
The Behavioral
Semantics
of Esterel
The behavioral semantics of ESTEREL is the reference
semantical
definition
of the language [5,4]. ...
doi:10.1145/158511.158526
dblp:conf/popl/BerryRS93
fatcat:ogp2wgeapfedzgjsle4paibkwu
Causality in the Semantics of Esterel: Revisited
2010
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. ...
We show that the solutions offered for the semantics of SOS also provide answers to the semantic challenges of Esterel and that they satisfy the intuitive requirements set by the language designers. ...
One advantage of our approach to the semantics of Esterel presented in [Ber99, Tin00, Tin01] is that we can capture both the logical semantics and constructive semantics of Esterel using the same TSS ( ...
doi:10.4204/eptcs.18.3
fatcat:s63ectoe5rfrfdhinfr5salaxm
ECL: A Specification Environment for System-Level Design
[chapter]
2001
Electronic Chips & Systems Design Languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It can be viewed as the addition to C of explicit constructs from Esterel for waiting, concurrency and pre-emption, and thus makes these operations easier to specify and more apparent. ...
It combines the Esterel and C languages to provide a more versatile means for specifying heterogeneous designs. ...
One important current direction for research is to map to Esterel only a minimal subset of the ECL program (the minimal reactive part), while leaving the rest in its C-code specification form. ...
doi:10.1007/978-1-4757-3326-6_17
fatcat:jqg4lwtzpjfvtde6z453py53g4
ECL
1999
Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It can be viewed as the addition to C of explicit constructs from Esterel for waiting, concurrency and pre-emption, and thus makes these operations easier to specify and more apparent. ...
It combines the Esterel and C languages to provide a more versatile means for specifying heterogeneous designs. ...
One important current direction for research is to map to Esterel only a minimal subset of the ECL program (the minimal reactive part), while leaving the rest in its C-code specification form. ...
doi:10.1145/309847.309989
dblp:conf/dac/LavagnoS99
fatcat:zgcvim3yibcfbkpbhbcuypyzny
What Is in a Step: New Perspectives on a Classical Question
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In this paper, we survey these characterisations and use them to emphasise the close but not widely known relations of Statecharts to the synchronous language Esterel and to the field of logic programming ...
In their seminal 1991 paper "What is in a Step: On the Semantics of Statecharts", Pnueli and Shalev showed how, in the presence of global consistency and while observing causality, the synchronous language ...
And during the week we had these brilliant expositions of Statecharts and their semantics. ...
doi:10.1007/978-3-642-13754-9_15
fatcat:fjkwiv6axvabhk2ayzvz4ggnlm
Multiclock Esterel
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Multiclock Esterel is designed precisely to address this design style. It is a natural extension of Esterel, and retains its strong synchronous semantics and internal determinism. ...
We present the Multiclock Esterel language, which extends the synchronous language Esterel to multiple clock zones. ...
We thank Paul Caspi (Verimag), Michael Kishinevsky (Intel), and the reviewers for their helpful comments and suggestions. ...
doi:10.1007/3-540-44798-9_10
fatcat:x7wxujnstrbslfxcdtvca5mw5e
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation
2009
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The traditional semantics proposed in OMG standard need enrichment when the activities are prone to failure and need compensating actions. ...
Activity Diagram is an important component of the set of diagrams used in UML. The OMG document on UML 2.0 proposes a Petri net based semantics for Activity Diagrams. ...
formal level, where the semantics is rigorously defined and fully non-ambiguous. ...
doi:10.5381/jot.2009.8.1.a3
fatcat:run5xfqjw5etdn6yicdrees4we
« Previous
Showing results 1 — 15 out of 929 results