Filters








929 Hits in 2.2 sec

A Synchronous Approach for IEC 61499 Function Block Implementation

Li Hsien Yoong, Partha S. Roop, Valeriy Vyatkin, Zoran Salcic
2009 IEEE transactions on computers  
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

Olivier Tardieu
2006 Electronical Notes in Theoretical Computer Science  
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

Olivier Tardieu, Robert de Simone
2005 ACM Transactions on Embedded Computing Systems  
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

Li Hsien Yoong, Partha S Roop
2010 IEEE Embedded Systems Letters  
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

Gerald Lüttgen, Michael Mendler
2002 Electronical Notes in Theoretical Computer Science  
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]

Gérard Berry, Lionel Rieg
2019 arXiv   pre-print
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

Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden
2007 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis - CODES+ISSS '07  
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

Gérard Berry, John Edwin Field, Peter Gray
1992 Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences  
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

G. Berry, S. Ramesh, R. K. Shyamasundar
1993 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93  
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

MohammadReza Mousavi
2010 Electronic Proceedings in Theoretical Computer Science  
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]

Gérard Berry, Ed Harcourt, Luciano Lavagno, Ellen Sentovich
2001 Electronic Chips & Systems Design Languages  
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

Luciano Lavagno, Ellen Sentovich
1999 Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99  
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]

Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler
2010 Lecture Notes in Computer Science  
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]

Gérard Berry, Ellen Sentovich
2001 Lecture Notes in Computer Science  
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

A.K. Bhattacharjee, R.K. Shyamasundar
2009 Journal of Object Technology  
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