Sciweavers

1054 search results - page 3 / 211
» Model Transformations in the Model-Based Development of Real...
Sort
View
ADAEUROPE
2007
Springer
13 years 11 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
MOMPES
2008
IEEE
13 years 11 months ago
Separation of Distributed Real-Time Embedded Concerns with Theme/UML
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
Cormac Driver, Vinny Cahill, Siobhán Clarke
ENTCS
2006
231views more  ENTCS 2006»
13 years 5 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
CBSE
2006
Springer
13 years 9 months ago
A Prototype Tool for Software Component Services in Embedded Real-Time Systems
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
Frank Lüders, Daniel Flemström, Anders W...
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
13 years 11 months ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...