From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Authors:
Abdelouahed Gherbi;Ferhat Khendek
Affiliations:
Electrical and Computer Engineering Department, Concordia University, Montreal, Canada;Electrical and Computer Engineering Department, Concordia University, Montreal, Canada
Venue:
Automated Software Engineering
Year:
2009

Citing 30
Cited 1

Real-time object-oriented modeling

Real-time object-oriented modeling
Using UML for Modeling Complex Real-Time Systems

LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Scheduling Fixed-Priority Tasks with Preemption Threshold

RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise
Automatic Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models

ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Eclipse Modeling Framework

Eclipse Modeling Framework
Guest Editors' Introduction: Model-Driven Development

IEEE Software
Towards the Reverse Engineering of UML Sequence Diagrams

WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Model-Based Performance Prediction in Software Development: A Survey

IEEE Transactions on Software Engineering
Applying MDA Approach for Web Service Platform

EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Real Time Scheduling Theory: A Historical Perspective

Real-Time Systems
Declarative techniques for model-driven business process integration

IBM Systems Journal
A model transformation framework for the automated building of performance models from UML models

Proceedings of the 5th international workshop on Software and performance
From UML to LQN by XML algebra-based model transformations

Proceedings of the 5th international workshop on Software and performance
Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models

IEEE Transactions on Software Engineering
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation

ISORC '06 Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
On the architectural alignment of ATL and QVT

Proceedings of the 2006 ACM symposium on Applied computing
ATL: a QVT-like transformation language

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Model-Driven Consistency Checking of Behavioural Specifications

MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Model-driven migration of supervisory machine control architectures

Journal of Systems and Software
Using ATL for Checking Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Designing for schedulability: integrating schedulability analysis with object-oriented design

Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Service-oriented model-driven development: filling the extra-functional property gap

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Modeling in the large and modeling in the small

MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Transforming models with ATL

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Real-Time scheduling techniques for implementation synthesis from component-based software models

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
From U2TP models to executable tests with TTCN-3 - an approach to model driven testing -

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Using TTCN-3 for testing platform independent models

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Control flow analysis of UML 2.0 sequence diagrams

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
KM3: a DSL for metamodel specification

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Performance analysis of real-time component architectures: An enhanced model interchange approach

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a software system and to support its analysis and validation. UML and its extensions, such as the UML profile for real-time systems (UML/SPT), are commonly used to define the structure and the behavior of software systems while other models, such as performance models or schedulability models, are more suitable for performance or schedulability analysis, respectively. In this paper we discuss a model transformation enabling the derivation of schedulability analysis models from UML/SPT models. As a proof of concepts, we present a prototype implementation of this model transformation using ATL. We provide a definition of the source and target metamodels using the metamodel specification language KM3 and we specify the transformation in an ATL module. We discuss the merits and limitations of our approach and of its implementation.