Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
A Discipline of Programming
Embedded C
Quantifying aspects in middleware platforms
Proceedings of the 2nd international conference on Aspect-oriented software development
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
IEEE Software
Aspect-Oriented Analysis and Design
Aspect-Oriented Analysis and Design
Reconfigurable embedded systems: synthesis, design and application
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Reconfigurable embedded systems: Synthesis, design and application
Model-Driven Development of Real-Time Systems with UML 2.0 and C
MBD-MOMPES '06 Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Proceedings of the 28th international conference on Software engineering
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
A model-driven design environment for embedded systems
Proceedings of the 43rd annual Design Automation Conference
MDA-based approach for embedded software generation from a UML/MOF repository
SBCCI '06 Proceedings of the 19th annual symposium on Integrated circuits and systems design
Interaction Analysis in Aspect-Oriented Models
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Stateful aspects: the case for aspect-oriented modeling
Proceedings of the 10th international workshop on Aspect-oriented modeling
XWeave: models and aspects in concert
Proceedings of the 10th international workshop on Aspect-oriented modeling
Applying aspects to a real-time embedded operating system
Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems
Proceedings of the 2nd workshop on Domain specific aspect languages
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
An Aspect-Oriented Approach to the Modularisation of Context
PERCOM '07 Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications
A survey of embedded systems tools
ACM SIGBED Review - Special issue: Model-based design
Model driven engineering for MPSOC design space exploration
Proceedings of the 20th annual conference on Integrated circuits and systems design
Aspect-oriented software development
Aspect-oriented software development
A Generic Approach for Automatic Model Composition
Models in Software Engineering
Verification of UML/OCL Class Diagrams using Constraint Programming
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Modelling hardware verification concerns specified in the e language: an experience report
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Modeling and integrating aspects with UML activity diagrams
Proceedings of the 2009 ACM symposium on Applied Computing
SystemC/C-based model-driven design for embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Transactions on Aspect-Oriented Software Development VI
Weaving multiple aspects in sequence diagrams
Transactions on aspect-oriented software development III
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
On the impact of aspectual decompositions on design stability: an empirical study
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A framework for flexible and dependable service-oriented embedded systems
Architecting dependable systems VII
Model-driven automation for simulation-based functional verification
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
An aspect-oriented, model-driven approach to functional hardware verification
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
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 specification 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 specification of adequate platform-independent models a significant 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.