Reverse engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
ATM Networks: Concepts, Protocols, Applications
ATM Networks: Concepts, Protocols, Applications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Component-based software engineering for embedded systems
Proceedings of the 27th international conference on Software engineering
Correctness by construction: a manifesto for high integrity software
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
IBM Systems Journal - Model-driven software development
Survey of Traceability Approaches in Model-Driven Engineering
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Quality-of-service oriented web service composition algorithm and planning architecture
Journal of Systems and Software
Fitting Schedulability Analysis Theory into Model-Driven Engineering
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
Scenarios of traceability in model to text transformations
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
A transformation-driven approach to the verification of security policies in web designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
Proceedings of the 6th ECMFA Traceability Workshop
Back-annotation of Simulation Traces with Change-Driven Model Transformations
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Towards a Round-Trip Support for Model-Driven Engineering of Embedded Systems
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Parameterized reliability prediction for component-based software architectures
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
An automated round-trip support towards deployment assessment in component-based embedded systems
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
From models to code and back: correct-by-construction code from UML and ALF
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
Context: In order for model-driven engineering to succeed, automated code generation from models through model transformations has to guarantee that extra-functional properties specified at design level are preserved at code level. Objective: The goal of this research work is to provide a full round-trip engineering approach in order to evaluate quality attributes of the embedded system by code execution monitoring as well as code static analysis and then provide back-propagation of the resulting values to modelling level. In this way, properties that can only be roughly estimated statically are evaluated against observed values and this consequently allows to refine the design models for ensuring preservation of analysed extra-functional properties at code level. Method: Following the model-driven engineering vision, (meta-) models and transformations are used as main artefacts for the realisation of the round-trip support which is finally validated against an industrial case study. Result: This article presents an approach to support the whole round-trip process starting from the generation of source code for a target platform, passing through the monitoring of selected system quality attributes at code level, and finishing with the back-propagation of observed values to modelling level. The technique is validated against an industrial case study in the telecommunications applicative domain. Conclusion: Preservation of extra-functional properties through appropriate description, computation and evaluation makes it possible to reduce final product verification and validation effort and costs by generating correct-by-construction code. The proposed round-trip support aids a model-driven component-based development process in ensuring a desired level of extra-functional properties preservation from the source modelling artefacts to the generated code.