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.
Filters
Modeling statecharts and activitycharts as signal equations
2001
ACM Transactions on Software Engineering and Methodology
Preserved Fulltext
This paper, through the example of the languages Statecharts and Signal, shows a way to give a model of an imperative speci cation (Statecharts) in a declarative, equational one (Signal). ...
The results presented here cover the essential features of Statecharts as well as of another language of Statemate: Activitycharts. ...
Wadge for reading and discussing the paper with us, as well as the anonymous reviewers for their contructive comments. ...
doi:10.1145/384189.384191
fatcat:crvu5b73hfcqfpvebblhrgc5eq
embedded system design with multiple languages
2000
Proceedings of the 2000 conference on Asia South Pacific design automation - ASP-DAC '00
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.
This paper explains solutions and future trends. ...
The use of several languages in the design of embedded systems is very convenient for application development and optimization but it can become an obstacle on the way to higher design productivity. ...
Also, they basically combine separate languages, such as Statecharts and Activitycharts in STATEMATE. ...
doi:10.1145/368434.368701
dblp:conf/aspdac/ErnstJ00
fatcat:l6nspyrpwvdc7eprnhm62ko4n4
UML Semantics FAQ
[chapter]
1999
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 2004; you can also visit the original URL.
The file type is application/pdf.
desirable and, if not, how to set up a framework for defining multiple, interlinked semantics; and some of the outstanding problems for defining a semantics for all of UML. ...
The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unified Modelling Language. ...
Objects communicate by means of call events and signal events, in which, respectively, an operation is called or an asynchronous signal is received. ...
doi:10.1007/3-540-46589-8_3
fatcat:5gkkk7wwjzff5fmmlaepn7kjpe
Advanced Design and Validation Techniques for Electronic Control Units
1998
SAE Technical Paper Series
unpublished
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.
In addition, we demonstrate two modeling and prototyping tools for discrete and continuous systems, namely Statemate and MatrixX, and discuss their advantages and drawbacks with respect to necessary prototyping ...
Modeling, simulation, rapid prototyping, and verification of the software need new technologies to guarantee passenger security and to accelerate the time-to-market of new products. ...
Like Statecharts [8] , Activitycharts can be decomposed hierarchically. This helps us to structure our models. ...
doi:10.4271/980199
fatcat:vu33zr7zezhutgxxvblp7sn2ye
Embedded system design with multiple languages
Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106)
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.
This paper explains solutions and future trends. ...
The use of several languages in the design of embedded systems is very convenient for application development and optimization but it can become an obstacle on the way to higher design productivity. ...
Also, they basically combine separate languages, such as Statecharts and Activitycharts in STATEMATE. ...
doi:10.1109/aspdac.2000.835131
fatcat:37s2jwqa6rhz3g3xdvbusoca6y
Behavioral views for software requirements engineering
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based 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 2017; you can also visit the original URL.
The file type is application/pdf.
Equations 4.5 and 4.6 to verify Equation 4.10. ...
a given viewchart w, defined by Equation 4.1, we now construct a statechart w as follows: w = (S, H, E , V , T , D , τ , ρ ) where (4.8) S, H, and ρ are already defined.
See also Equation 4.6.) ...
doi:10.1109/ecbs.1996.494542
dblp:conf/ecbs/IsazadehLM96
fatcat:hf4xp7m35beebcfdbs7vzzbxgq
Integrated Data, Message, and Process Recovery for Failure Masking in Web Services
[article]
2006
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.
To this end, we adopted the state-and-activity chart language as defined and implemented in the commercial tool Statemate, widely used for modeling reactive systems such as embedded devices in the automotive ...
For a subset P OE S the set of predecessor states is defined as Pred(P) ú { s | (s, t) oe R and t oe P }, and the set of successors is defined as Succ(P) ú { t | (s, t) oe R and s oe P } Let g be a subformula ...
A system model is based on a hierarchical activitychart, in which the functional capabilities of the system are captured by activities, and the data elements and signals that can flow between them. ...
doi:10.22028/d291-23768
fatcat:5aa4fbxsxzbeplvvjjfoxm7xha
Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen
2006
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.
Dedicated simulators for logical circuits and Statecharts are included, supporting optimistic synchronization, as well as a tool for automatically generating VHDL code out of Statecharts to configure FPGAs ...
Abstract Distributed Execution of Hybrid System Models on Heterogeneous Computer Platforms Growing complexity and popularity of distributed systems in automotive as well as in aerospace industries require ...
Als Schaltungselemente ste-
hen Inverter, AND-, OR-, NAND-und NOR-Gatter sowie D-Flipflops zur Verfügung, die sich über
Signale miteinander verbinden lassen. ...
doi:10.5445/ir/1000004575
fatcat:beubrbpx6nfx3oyh6acnpz25dm
Semantics of reactive systems : comparison and full abstraction
[article]
1991
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.
In this project we collaborated intensely with Amir Pnueli and colleagues from AdCAD. Obviously, our paper owes a lot totheir many presentations and their views u pon Statecharts. ...
Acknowledgements Acknowledgement This paper arose out of work for the ESPRIT project DESCARTES (937) on Statecharts. ...
Introduetion Statecharts beloog together wiili Esterel [B] , LUSTRE [BCH] , SIGNAL [GBBG] and an Statecharts adopts,like Esterel, me synchrony hypothesis as formulated by Berry [B] . ...
doi:10.6100/ir348201
fatcat:bhwkakb3wrcazjm72kpticzzka