Access the full text.
Sign up today, get DeepDyve free for 14 days.
T. Cottenier (2006)
The Motorola WEAVR : Model Weaving in a Large Industrial Context
J. Munnelly, S. Fritsch, S. Clarke (2007)
An Aspect-Oriented Approach to the Modularisation of ContextFifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07)
Jacques Klein, Franck Fleurey, J. Jézéquel (2007)
Weaving Multiple Aspects in Sequence DiagramsLNCS Trans. Aspect Oriented Softw. Dev., 3
(2010)
Modeling c applications in uml with files and structures
(2003)
Object Management Group
Gan Deng, D. Schmidt, A. Gokhale (2006)
Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems via aspect-oriented & model-driven software developmentProceedings of the 28th international conference on Software engineering
Charles Zhang, H. Jacobsen (2003)
Quantifying aspects in middleware platforms
Iris Groher, Markus Voelter (2007)
XWeave: models and aspects in concert
(2003)
MDA Guide
Marcio Oliveira, E. Brião, F. Nascimento, F. Wagner (2007)
Model driven engineering for MPSOC design space explorationProceedings of the 20th annual conference on Integrated circuits and systems design
W. Sousan, V. Winter, M. Zand, Harvey Siy (2007)
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems
I. Oliver (2003)
Model driven embedded systemsThird International Conference on Application of Concurrency to System Design, 2003. Proceedings.
Francisco Afonso, Carlos Silva, S. Montenegro, A. Tavares (2002)
Position Summary : Aspect-Oriented System Structure
Abdelouahed Gherbi, F. Khendek (2006)
UML Profiles for Real-Time Systems and their ApplicationsJ. Object Technol., 5
Farn Wang (2004)
Formal verification of timed systems: a survey and perspectiveProceedings of the IEEE, 92
T. Cottenier, Aswin Berg, T. Elrad (2007)
Stateful aspects: the case for aspect-oriented modeling
P. Jayaraman, J. Whittle, Ahmed Elkhodary, H. Gomaa (2007)
Model composition in product lines and feature interaction detection using critical pair analysis
S. Clarke (2001)
Composition of Object-Oriented Software Design Models
Stephen Edwards, L. Lavagno, Edward Lee, A. Sangiovanni-Vincentelli (1997)
Design of embedded systems: formal models, validation, and synthesisProc. IEEE, 85
E. Dijkstra (1976)
A Discipline of Programming
S. Gérard, Jean-Philippe Babau, J. Champeau (2010)
Model Driven Engineering for Distributed Real-Time Embedded Systems
Katharina Mehner-Heindl, Mattia Monga, G. Taentzer (2006)
Interaction Analysis in Aspect-Oriented Models14th IEEE International Requirements Engineering Conference (RE'06)
Edward Lee (2001)
Overview of the Ptolemy project
M. Wehrmeister, E. Freitas, C. Pereira, F. Wagner (2007)
An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)
A. Carton, C. Driver, Andrew Jackson, Siobhán Clarke (2009)
Model-Driven Theme/UMLLNCS Trans. Aspect Oriented Softw. Dev., 6
H. Selvaraj, L. Józwiak (2005)
Reconfigurable embedded systems: Synthesis, design and applicationJ. Syst. Archit., 51
Radek Pelánek (2009)
Fighting State Space Explosion: Review and Evaluation
D. Schmidt (2006)
Model-Driven Engineering
Y. Reddy, Sudipto Ghosh, R. France, Greg Straw, J. Bieman, N. McEachen, Eunjee Song, Geri Georg (2006)
Directives for Composing Aspect-Oriented Design Class ModelsLNCS Trans. Aspect Oriented Softw. Dev., 1
(2007)
A UML profile for MARTE
J. Krasner (2004)
Model-Based Design and Beyond : Solutions for Today ’ s Embedded Systems Requirements
F. Pickersgill (1998)
Quality time.Nursing standard (Royal College of Nursing (Great Britain) : 1987), 13 11
Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, R. France, J. Bieman (2004)
Model Composition Directives
R. Laddad (2003)
Aspect-oriented programming will improve qualityIEEE Software, 20
C. Ford, Ido Gileadi, Sanjiv Purba, Mike Moerman (2007)
Non-Functional Requirements
Francisco Nascimento, Marcio Oliveira, M. Wehrmeister, C. Pereira, F. Wagner (2006)
MDA-based approach for embedded software generation from a UML/MOF repository
(1990)
Debugging c pointers using mem. Micro Cornucopia
Jordi Cabot, R. Clarisó, D. Riera (1899)
Verification of UML/OCL Class Diagrams using Constraint Programming2008 IEEE International Conference on Software Testing Verification and Validation Workshop
D. Aredo (2002)
A Framework for Semantics of UML Sequence Diagrams in PVSJ. Univers. Comput. Sci., 8
S. Clarke, E. Baniassad (2005)
Aspect-Oriented Analysis and Design
H. Falk (2004)
Formal Verification of Timed Systems: A Survey and PerspectiveProc. IEEE, 92
Article 21, Publication date: December 2010
(1997)
Portable Inheritance and Polymorphism in C, 12/97
D. Galpin, C. Driver, S. Clarke (2009)
Modelling hardware verification concerns specified in the e language: an experience report
E. Riccobene, P. Scandurra, S. Bocchio, A. Rosti, L. Lavazza, Luigi Mantellini (2009)
SystemC/C-based model-driven design for embedded systemsACM Trans. Embed. Comput. Syst., 8
Franck Fleurey, B. Baudry, R. France, Sudipto Ghosh (2008)
A Generic Approach for Automatic Model Composition
M. Loghi, T. Margaria, G. Pravadelli, B. Steffen (2005)
Dynamic and Formal Verification of Embedded Systems: A Comparative SurveyInternational Journal of Parallel Programming, 33
(2008)
Received September
Matthew Emerson (2004)
A survey of embedded systems toolsSIGBED Rev., 1
(2008)
Tools -Escher Research Institute
B. Murphy, Amory Wakefield, J. Friedman (2008)
Best Practices for Verification, Validation, and Test in Model- Based Design
(2005)
Theme Composition. Object Technology Series
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, J. Irwin (1996)
Aspect-oriented programming
M. Pont (2002)
Embedded C
S. Shukla (2009)
Model-Driven Engineering and Safety-Critical Embedded SoftwareComputer, 42
Mohammad Khan, K. Geihs, F. Gutbrodt, P. Göhner, Roland Trauter (2006)
Model-driven development of real-time systems with UML 2.0 and CFourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06)
N. Bouraqadi, T. Ledoux (2003)
Aspect-Oriented Software Development
A. Cheng (2006)
A survey of formal verification methods and tools for embedded and real-time systemsInt. J. Embed. Syst., 2
Edward Lee
Heterogeneous Concurrent Modeling and Design R S I T Y @bullet O F @bullet C Overview of the Ptolemy Project 1. Modeling and Design
S. Clarke, E. Baniassad (2005)
Aspect-oriented analysis and design - the theme approach
(2008)
UML for C. White paper, Telelogic
13 The tools and examples presented in this article along with information on on-going work are available on our Web site http
E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio (2006)
A model-driven design environment for embedded systems2006 43rd ACM/IEEE Design Automation Conference
Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu (2009)
Modeling and integrating aspects with UML activity diagrams
Publication date: December 2010. Managing Embedded Systems Complexity with Aspect-Oriented MDE
P. Greenwood, T. Bartolomei, E. Figueiredo, M. Dósea, Alessandro Garcia, N. Cacho, C. Sant'Anna, S. Soares, Paulo Borba, U. Kulesza, A. Rashid (2007)
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
Hans Hansson, Mikael Nolin, Thomas Nolte (2018)
Real-time systems
Marcos Fabro, J. Bézivin, F. Jouault, Erwan Breton, Guillaume Gueltas (2005)
AMW: a generic model weaver
Managing Embedded Systems Complexity with Aspect-Oriented Model-Driven Engineering CORMAC DRIVER, SEAN REILLY, EAMONN LINEHAN, VINNY CAHILL, and SIOBHAN CLARKE Trinity College Dublin Model-driven engineering addresses issues of platform heterogeneity and code quality through the use of high-level system models and subsequent automatic transformations. Adoption of the model-driven software engineering paradigm for embedded systems necessitates speci cation of appropriate models of often complex systems. Modern embedded systems are typically composed of multiple functional and nonfunctional concerns, with the nonfunctional concerns (e.g., timing and performance) typically affecting the design and implementation of the functional concerns. The presence of crosscutting concerns makes speci cation of adequate platform-independent models a signi cant challenge. Aspect-oriented software development is a separation of concerns technique that decomposes systems into distinct features with minimal overlap. In this article, we illustrate how Theme/UML, an aspect-oriented modeling approach, can be used to separate embedded systems concerns and reduce complexity in design. We also present Model-Driven Theme/UML, a toolset for model-driven engineering of embedded systems that supports modularised design with Theme/UML and automatic transformations to composed models and source code. Categories and Subject Descriptors: D.2.10 [Software Engineering]: Design; D.2.2 [Software Engineering]: Design Tools and Techniques; D.2.10 [Software Engineering]: Coding
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: Dec 1, 2010
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.