Filters








9 Hits in 1.6 sec

Modeling statecharts and activitycharts as signal equations

J.-R. Beauvais, E. Rutten, T. Gautier, R. Houdebine, P. Le Guernic, Y.-M. Tang
2001 ACM Transactions on Software Engineering and Methodology  
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

Rolf Ernst, Ahmed A. Jerraya
2000 Proceedings of the 2000 conference on Asia South Pacific design automation - ASP-DAC '00  
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]

Stuart Kent, Andy Evans, Bernhard Rumpe⋆
1999 Lecture Notes in Computer Science  
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

Max Fuchs, Michael Eckrich, Olaf Müller, Jan Philipps, Peter Scholz
1998 SAE Technical Paper Series   unpublished
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

R. Ernst, A.A. Jerraya
Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106)  
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

A. Isazadeh, D.A. Lamb, G.H. MacEwen
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems  
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]

German Shegalov, Universität Des Saarlandes, Universität Des Saarlandes
2006
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

Rico Dreier
2006
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]

C Cornelis = Kees Huizing, WP Willem-Paul De Roever, KM Kees Van Hee
1991
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