Proceedings Article10.1109/CSD.2003.1207694
Model driven embedded systems
I. Oliver
- 18 Jun 2003
- pp 5
TL;DR: The Object Management Group's (OMG) model driven architecture (MDA) is an initiative towards fully model based software development.
read more
Abstract: Summary form only given. We are now at a stage in the development of embedded systems where the complexity of the software development and the software itself needs to be managed not via code but via models. This move to a more abstract representation of the system brings many new challenges to primarily the methodology and the style of system development. The Object Management Group's (OMG) model driven architecture (MDA) is an initiative towards fully model based software development. The advantages of taking a (or even the) model driven approach is that we can abstract from the system at many levels and take advantage of well known "large scale software" techniques.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
TL;DR: This paper applies model checking techniques to DRE design models using model transformations to verify key QoS properties of component-based DRE systems developed using Real-time CORBA, and introduces a formal semantic domain for a general class of DRE system that enables the verification of distributed non-preemptive real-time scheduling.
Managing embedded systems complexity with aspect-oriented model-driven engineering
TL;DR: This article illustrates how Theme/UML, an aspect-oriented modeling approach, can be used to separate embedded systems concerns and reduce complexity in design and presents 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.
21
Failure modelling in software architecture design for safety
Weihang Wu,Tim Kelly +1 more
- 17 May 2005
TL;DR: A compositional method for failure analysis of a system based on the proposed software architecture is presented, based upon the use of CSP as the failure modelling language and its associated tools as failure analysis.
Model Based Testing and Refinement in MDA Based Development
Ian Oliver
- 01 Jan 2005
TL;DR: The Model Driven Architecture’s key principle is that of the mapping and there are a number of uses for mappings and that the idea can be extended to take into consideration not only software development but transformation between differing underlying representations.
7
Towards a Conceptual Framework for UML to Hardware Description Language Mappings
Michele Marchetti,Ian Oliver +1 more
- 01 Jan 2004
TL;DR: This chapter discusses a conceptual framework for the basis of a UML profile for hardware/software co-design and the meta-models of the target languages such as SystemC used in this domain.
5
References
•Book
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
Maher Awad,Juha Kuusela,Jurgen Ziegler +2 more
- 01 Apr 1996
TL;DR: Well, someone can decide by themselves what they want to do and need to do but sometimes, that kind of person will need some object oriented technology for real time systems a practical approach using omt and fusion references.
119
Real-time object oriented modeling and design
Bran Selic,Garth Gullekson,Paul Ward +2 more
- 01 Jan 1994
79
•Book
Object-oriented technology for real-time systems
Maher Awad,Juha Kuusela,Jurgen Ziegler +2 more
- 01 Jan 1996
TL;DR: This chapter discusses Concurrency in a Real- time System,Object-Oriented Concurrency Models, and Transition from Design to Implementation, and the Design Criteria of OCTOPUS.
70
A UML Profile for Real-Time System Modelling with Rate Monotonic Analysis
Ian Oliver
- 01 Jan 2003
TL;DR: A profile based upon the OMG’s UML Real-Time Profile (Schedulability Analysis Subsection) that allows the placement of timing information and the subsequent generation of RMA models from UML models is presented.
3