More Web Proxy on the site http://driver.im/

article

Round-trip support for extra-functional property management in model-driven engineering of embedded systems

Authors:

Federico Ciccozzi,

Antonio Cicchetti,

Mikael SjödinAuthors Info & Claims

Information and Software Technology, Volume 55, Issue 6

Pages 1085 - 1100

https://doi.org/10.1016/j.infsof.2012.07.014

Published: 01 June 2013 Publication History

Abstract

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.

References

[1]

Bézivin, J., On the unification power of models. Software and System Modeling. v4 i2. 171-188.

[2]

Kent, S., Model driven engineering. In: Proceedings of the Third International Conference on Integrated Formal Methods, IFM '02, Springer Verlag, London, UK, UK. pp. 286-298.

[3]

K. Czarnecki, S. Helsen, Classification of model transformation approaches, in: Proceedings of OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.

[4]

OMG, Model Driven Architecture, November 2000. <http://www.omg.org/cgi-bin/doc?omg/00-11-05.pdf>.

[5]

R. Chapmnan, Correctness by construction: a manifesto for high integrity software, in: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software - vol. 55, 2006, pp. 43-46.

[6]

Cancila, D., Passerone, R., Vardanega, T. and Panunzio, M., Toward correctness in the specification and handling of non-functional attributes of high-integrity real-time embedded systems. IEEE Transactions on Industrial Informatics. v6 i2. 181-194.

[7]

Chodrow, S.E., Jahanian, F. and Donner, M., Monitoring and Debugging of Distributed Real-Time Systems. 1995. IEEE Computer Society Press, Los Alamitos, CA, USA.

[8]

Brosch, F., Koziolek, H., Buhnova, B. and Reussner, R., Parameterized reliability prediction for component-based software architectures. In: Lecture Notes in Computer Science, vol. 6093. Springer. pp. 36-51.

Digital Library

[9]

Ciccozzi, F., Cicchetti, A. and Sjödin, M., Towards a round-trip support for model-driven engineering of embedded systems. In: Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications EUROMICRO-SEAA, IEEE, Oulu (Finland). pp. 200-208.

Digital Library

[10]

ARTEMIS-JU-216682, CHESS, February 2009. <http://chess-project.ning.com/>.

[11]

Händel, R., Huber, M.N. and Schröder, S., ATM Networks - Concepts, Protocols, Applications. 1998. 3 ed. Addison-Wesley-Longman.

[12]

Crnkovic, I. and Larsson, M., Building Reliable Component-Based Software Systems. 2002. Artech House, Inc.

[13]

Balasubramanian, K., Gokhale, A., Karsai, G., Sztipanovits, J. and Neema, S., Developing Applications Using Model-Driven Design Environments. Computer. v39.

[14]

Calm and cadena: metamodeling for component-based product-line development. IEEE Computer. v39 i2. 42-50.

[15]

IBM, Rational Software Architect 8.0, 2010. <http://www.ibm.com> (accessed 23.05.11).

[16]

SINTEF-ITC, Component and Model-Based Development Technology: COMET, 2006. <http://www.modelbased.net/comet/1cToolshtml.html> (accessed 23.05.11).

[17]

I. Crnkovic, Component-based software engineering for embedded systems, in: Proceedings of ICSE'05, ACM, 2005, pp. 712-713.

Digital Library

[18]

Ko, J.M., Kim, C.O. and Kwon, I.-H., Quality-of-service oriented web service composition algorithm and planning architecture. Journal of Systems and Software. v81. 2079-2090.

Digital Library

[19]

Zeng, L., Benatallah, B., Dumas, M., Kalagnanam, J. and Sheng, Q.Z., Quality driven web services composition. In: Proceedings of the 12th International Conference on World Wide Web, WWW '03, ACM, New York, NY, USA. pp. 411-421.

[20]

OMG, Uml Profile for Modeling QoS, Fault Tolerance Characteristics and Mechanisms Specification, April 2008. <http://www.omg.org/spec/QFTP/1.1/PDF/>.

[21]

OMG, Uml Profile For MARTE: Modeling And Analysis Of Real-Time Embedded Systems, v1.1, June 2011. <http://www.omg.org/spec/MARTE>.

[22]

ESA, Assert Project, 2007. <http://www.assert-project.net/Assert-project>.

[23]

Z. Navabi, S. Day, M. Massoumi, Investigating back annotation of timing information into dataflow descriptions, in: Proceedings of VHDL International User, Forum, 1992, pp. 185-195.

[24]

G. Mahadevan, J.R. Armstrong, Automatic back annotation of timing into VHDL behavioral models, in: Proceedings of VHDL International User, Forum, 1995, pp. 27-41.

[25]

Á. Hegedüs, G. Bergmann, I. Ráth, D. Varró, Back-annotation of simulation traces with change-driven model transformations, in: Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010 (SEFM 2010), 2010, pp. 145-155.

Digital Library

[26]

Guerra, E., Sanz, D., Díaz, P. and Aedo, I., A transformation-driven approach to the verification of security policies in web designs. In: Proceedings of the 7th International Conference on Web Engineering, ICWE'07, Springer Verlag, Berlin, Heidelberg. pp. 269-284.

[27]

Aizenbud-Reshef, N., Nolan, B.T., Rubin, J. and Shaham-Gafni, Y., Model traceability. IBM Systems Journal. v45. 515-526.

[28]

I. Galvao, A. Goknil, Survey of traceability approaches in model-driven engineering, in: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, 2007 (EDOC 2007), 2007, p. 313.

[29]

Watterson, C. and Heffernan, D., Runtime verification and monitoring of embedded systems. Software, IET. v1 i5. 172-179.

[30]

Arora, D., Ravi, S., Raghunathan, A. and Jha, N.K., Secure embedded processing through hardware-assisted run-time monitoring. In: DATE, IEEE Computer Society. pp. 178-183.

[31]

OMG, Action Language For FoundationalUML - ALF, October 2010. <http://www.omg.org/spec/ALF/>.

[32]

J.M. Nahman, Dependability of engineering systems: modeling and evaluation, in: Engineering Online, Library, 2002.

[33]

B. Gallina, S. Punnekkat, Fi4fa: a formalism for incompletion, inconsistency, interference and impermanence failures analysis, in: Proceedings of DANCE at SEAA, 2011, pp. 493-500.

Digital Library

[34]

M. Bordin, M. Panunzio, T. Vardanega, Fitting schedulability analysis theory into model-driven engineering, in: Proceedings of ECRTS, 2008. pp. 135-144.

[35]

Grammel, B. and Kastenholz, S., A generic traceability framework for facet-based traceability data extraction in model-driven software development. In: Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW '10, ACM, New York, NY, USA. pp. 7-14.

[36]

Olsen, G.K. and Oldevik, J., Scenarios of traceability in model to text transformations. In: Proceedings of the 3rd European Conference on Model Driven Architecture-Foundations and Applications, ECMDA-FA'07, Springer Verlag, Berlin, Heidelberg. pp. 144-156.

[37]

OMG, Query/View/Transformation, V1.0, April 2008. <http://www.omg.org/spec/QVT/1.0/PDF/>.

[38]

Eclipse Projects, Xpand, October 2011. <http://www.eclipse.org/modeling/m2t/?project=xpand>.

[39]

S. Boyko, R. Dvorak, A. Igdalov, The Art of Model Transformation with Operational QVT, March 2009. <http://www.eclipse.org/m2m/qvto/doc/EclipseCon2009.ppt.

[40]

H.A. Müller, J.H. Jahnke, D.B. Smith, M.-A.D. Storey, S.R. Tilley, K. Wong, Reverse engineering: a roadmap, in: Proceedings of ICSE - Future of SE Track, 2000, pp. 47-60.

[41]

Linux Die, Linux 2.6.9 Manual, 2006. <http://linux.die.net/man/2/getrusage>.

Cited By

Bernaschina CFalzone EFraternali PGonzalez S(2019)The Virtual DeveloperACM Transactions on Software Engineering and Methodology10.1145/334054528:4(1-38)Online publication date: 2-Sep-2019
https://dl.acm.org/doi/10.1145/3340545
Ciccozzi FMalavolta ISelic B(2019)Execution of UML modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0675-418:3(2313-2360)Online publication date: 18-Jul-2019
https://dl.acm.org/doi/10.1007/s10270-018-0675-4
MaIm JCiccozzi FGustafsson JLisper BSkoog J(2018)Static Flow Analysis of the Action Language for Foundational UML2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2018.8502620(161-168)Online publication date: 4-Sep-2018
https://dl.acm.org/doi/10.1109/ETFA.2018.8502620
Show More Cited By

Recommendations

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

In a model-driven environment aiming at generating implementation code ensuring that extra-functional properties modeled at design level are preserved at execution time, a full round-trip engineering approach is often needed. Target code is meant to be ...
Managing embedded systems complexity with aspect-oriented model-driven engineering

Model-driven engineering addresses issues of platform heterogeneity and code quality through the use of high-level system models and subsequent automatic transformations. Adoption of the model-driven software engineering paradigm for embedded systems ...
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications

Model-Driven Engineering (MDE) is founded on the ability to create and process models conforming to a meta-model. In this context, classes in a meta-model are used in two ways: as templates to create objects and as (static) classifiers for them. These ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Information and Software Technology

Information and Software Technology Volume 55, Issue 6

June, 2013

201 pages

ISSN:0950-5849

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2012.

Publisher

Butterworth-Heinemann

United States

Publication History

Published: 01 June 2013

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bernaschina CFalzone EFraternali PGonzalez S(2019)The Virtual DeveloperACM Transactions on Software Engineering and Methodology10.1145/334054528:4(1-38)Online publication date: 2-Sep-2019
https://dl.acm.org/doi/10.1145/3340545
Ciccozzi FMalavolta ISelic B(2019)Execution of UML modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0675-418:3(2313-2360)Online publication date: 18-Jul-2019
https://dl.acm.org/doi/10.1007/s10270-018-0675-4
MaIm JCiccozzi FGustafsson JLisper BSkoog J(2018)Static Flow Analysis of the Action Language for Foundational UML2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2018.8502620(161-168)Online publication date: 4-Sep-2018
https://dl.acm.org/doi/10.1109/ETFA.2018.8502620
Possatto MLucrédio D(2018)Automatically propagating changes from reference implementations to code generation templatesInformation and Software Technology10.1016/j.infsof.2015.06.00967:C(65-78)Online publication date: 30-Dec-2018
https://dl.acm.org/doi/10.1016/j.infsof.2015.06.009
Ciccozzi FFeljan JCarlson JCrnković I(2018)Architecture optimizationSoftware Quality Journal10.1007/s11219-016-9343-526:2(661-684)Online publication date: 1-Jun-2018
https://dl.acm.org/doi/10.1007/s11219-016-9343-5
Ciccozzi F(2018)On the automated translational execution of the action language for foundational UMLSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0556-717:4(1311-1337)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10270-016-0556-7
Ciccozzi F(2016)Explicit connection patterns (ECP) profile and semantics for modelling and generating explicit connections in complex UML composite structuresJournal of Systems and Software10.1016/j.jss.2016.02.025121:C(329-344)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1016/j.jss.2016.02.025
Vanherpen KDenil JVangheluwe HDe Meulenaere P(2015)Model transformations for round-trip engineering in control deployment co-designProceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium10.5555/2872965.2872973(55-62)Online publication date: 12-Apr-2015
https://dl.acm.org/doi/10.5555/2872965.2872973
Vasilevskaya MNadjm-Tehrani S(2015)Support for cross-domain composition of embedded systems using MARTE modelsACM SIGBED Review10.1145/2752801.275280612:1(37-45)Online publication date: 27-Mar-2015
https://dl.acm.org/doi/10.1145/2752801.2752806
Li SLi DLi FZhou N(2015)CPSiCGFMicroprocessors & Microsystems10.1016/j.micpro.2015.05.01039:8(1234-1244)Online publication date: 1-Nov-2015
https://dl.acm.org/doi/10.1016/j.micpro.2015.05.010
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents