Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Managing Model Adaptation by Precise Detection of Metamodel Changes
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
COPE - Automating Coupled Evolution of Metamodels and Models
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
From AADL Architectural Models to Petri Nets: Checking Model Viability
ISORC '09 Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
A comparison of model migration tools
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
An extensive catalog of operators for the coupled evolution of metamodels and models
SLE'10 Proceedings of the Third international conference on Software language engineering
Proceedings of the 14th international conference on Model driven engineering languages and systems
A DSML for reversible transformations
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Metamodel adaptation and model co-adaptation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Hi-index | 0.00 |
In this paper, we investigate a way to extend the scope of a dedicated and specific analysis framework to standard modeling languages like UML or AADL. This purpose is achieved by a two-steps model transformation. The two steps of this approach rely on a dedicated model transformation language called Modif. The first step is a kind of model slicing. It makes it possible to delete as much as possible what in the standard modeling language is not needed by the analysis tools. The second one maps the intermediate metamodel (resulting from the first step) to what is expected by the analysis tools. This two-steps model transformation is intended to identify efficiently the specifications that cannot be put under the scope of the analysis tool. We illustrate this approach with the scope extension of the Cheddar real time scheduling analyzer to AADL.