Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/association-for-computing-machinery/fusing-statecharts-and-java-VuJFzBargk
References (54)
-
Elaine Cheong, Judith Liebman, Jie Liu, Feng Zhao (2003)
TinyGALS: a programming model for event-driven embedded systems -
G. Berry (2000)
The foundations of Esterel -
R. Hanxleden (2009)
SyncCharts in C: a proposal for light-weight, deterministic concurrency -
C. Chambers (1995)
The Cecil Language - Specification and Rationale - Version 3.0 -
(2002)
Practical Statecharts in C/C++. CMP Books -
B. Liskov, Jeannette Wing (1994)
A behavioral notion of subtypingACM Trans. Program. Lang. Syst., 16
-
(2011)
Received July -
V. Sreedhar, M. Marinescu (2005)
From statecharts to ESP: programming with events, states and predicates for embedded systemsProceedings of the 5th ACM international conference on Embedded software
-
J. Buck, S. Ha, Edward Lee, D. Messerschmitt (2001)
Ptolemy: A Framework for Simulating and Prototyping Heterogenous SystemsInt. J. Comput. Simul., 4
-
Eran Gery, D. Harel, E. Palachi (2002)
Rhapsody: A Complete Life-Cycle Model-Based Development System -
D. Harel (1987)
Statecharts: A Visual Formalism for Complex SystemsSci. Comput. Program., 8
-
(2001)
Object - oriented design pattern approach for modelling and simulating open distributed control system -
L. Lavagno, E. Sentovich (1999)
ECL: a specification environment for system-level designProceedings 1999 Design Automation Conference (Cat. No. 99CH36361)
-
Elaine Cheong, Jie Liu (2005)
galsC: a language for event-driven embedded systemsDesign, Automation and Test in Europe
-
(2013)
Article 45, Publication date -
A. Basu, M. Bozga, J. Sifakis (2006)
Modeling Heterogeneous Real-time Components in BIPFourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
-
Alexander Knapp, Stephan Merz, Christopher Rauh (2002)
Model Checking - Timed UML State Machines and Collaborations -
M. Beeck (1994)
A Comparison of Statecharts Variants -
Balarin, F., Chiodo, M., Giusto, P., Hsieh, H., Jurecska, A., Lavagno, L., Sangiovanni-Vincentelli, A. L., Sentovich, E., Suzuki, K. (1999)
Synthesis of software programs for embedded control applicationsIEEE Trans. CAD Integrat. Circuits Syst., 18
-
F. Boussinot (2006)
FairThreads: mixing cooperative and preemptive threads in CConcurrency and Computation: Practice and Experience, 18
-
E. Mikk, Y. Lakhnech, M. Siegel, G. Holzmann (1998)
Implementing statecharts in PROMELA/SPINProceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques
-
P. Roop, Sidharta Andalam, R. Hanxleden, S. Yuan, C. Traulsen (2009)
Tight WCRT analysis of synchronous C programs -
J. Ali, J. Tanaka (2001)
Converting Statecharts into Java Code -
Mikk, E., Lakhnech, Y., Siegel, M., Holzmann, G. J. (1998)
Implementing statecharts in Promela/SpinProceedings of the Workshop of Industrial-Strength Formal Spec. Techniques (WIFT'98). IEEE
-
A. Sane, R. Campbell (1995)
Object-oriented state machines: subclassing, composition, delegation, and genericity, 30
-
Hans Köhler, U. Nickel, Jörg Niere, Albert Zündorf (2000)
Integrating UML diagrams for production control systemsProceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium
-
C. Chambers (1993)
Predicate Classes -
T. Millstein (2004)
Practical predicate dispatchProceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
-
I. Niaz, J. Tanaka (2004)
Mapping UML statecharts to java code -
F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, Attila Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, Kei Suzuki (1999)
Synthesis of Software Programs for Embedded Control Applications32nd Design Automation Conference
-
UML (2011)
UML 2http://www.uml.org.
-
M. Samek (2002)
Practical statecharts in C/C++: Quantum programming for embedded systems -
F. Gruian, P. Roop, Z. Salcic, Ivan Radojevic (2006)
The SystemJ approach to system-level designFourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.
-
UML 2011. UML 2.0 -
Rik Eshuis (2009)
Reconciling statechart semanticsSci. Comput. Program., 74
-
C. Chambers (1993)
The cecil language: specification and rationale -
A. Benveniste, B. Caillaud, P. Guernic (1999)
From Synchrony to Asynchrony -
Boussinot, F. (2006)
FairThreads: mixing cooperative and preemptive threads in CConcurrency Computa. Practice Experi., 18
-
Gregor Gössler, A. Sangiovanni-Vincentelli (2002)
Compositional Modeling in Metropolis -
E. Gamma, Richard Helm, Ralph Johnson, J. Vlissides (1994)
Design patterns: elements of reuseable object-oriented software -
Alexander Knapp, Stephan Merz (2002)
Model Checking and Code Generation for UML State Machines and Collaborations -
Michael Ernst, Craig Kaplan, C. Chambers (1998)
Predicate Dispatching: A Unified Theory of Dispatch -
Stephen Edwards, J. Zeng (2007)
Code Generation in the Columbia Esterel CompilerEURASIP Journal on Embedded Systems, 2007
-
Edward Lee, Haiyang Zheng (2007)
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems -
Ran, A. S. (1994)
Modeling states as classesProceedings of the Technology of Object-Oriented Langs. and Systems Conference Prentice-Hall.
-
David Gay, P. Levis, R. Behren, M. Welsh, E. Brewer, D. Culler (2003)
The nesC language: A holistic approach to networked embedded systems -
Samek, M. (2002)
Practical Statecharts in C/C++CMP Books.
-
T. Chow (1978)
Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, SE-4
-
David Gay, P. Levis, R. Behren, M. Welsh, E. Brewer, D. Culler (2003)
The nesC language: a holistic approach to networked embedded systemsACM SIGPLAN Notices, 49
-
F. Boussinot (1991)
Reactive C: An extension of C to program reactive systemsSoftware: Practice and Experience, 21
-
O. Tardieu, Stephen Edwards (2006)
Scheduling-independent threads and exceptions in SHIM -
E. Sekerinski, Rafik Zurob (2001)
iState: A Statechart Translator -
A. Pnueli, M. Shalev (1991)
What is in a Step: On the Semantics of Statecharts -
Dag Björklund, J. Lilius, Ivan Porres (2001)
Towards Efficient Code Synthesis from Statecharts
- Publisher
- Association for Computing Machinery
- Copyright
- Copyright © 2013 ACM
- ISSN
- 1539-9087
- eISSN
- 1558-3465
- DOI
- 10.1145/2435227.2435241
- Publisher site
- See Article on Publisher Site
Abstract
This article presents FUSE, an approach for modeling and implementing embedded software components which starts from a main-stream programming language and brings some of the key concepts of Statecharts as first-class elements within this language. Our approach provides a unified programming environment which not only preserves some of the advantages of Statecharts' formal foundation but also directly supports features of object-orientation and strong typing. By specifying Statecharts directly in FUSE we eliminate the out-of-synch between the model and the generated code and we allow the tuning and debugging to be done within the same programming model. This article describes the main language constructs of FUSE and presents its semantics by translation into the Java programming language. We conclude by discussing extensions to the base language which enable the efficient static checking of program properties.
Journal
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: Mar 21, 2013
Keywords: Embedded systems