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

research-article

An automated round-trip support towards deployment assessment in component-based embedded systems

Authors:

Federico Ciccozzi,

Mehrdad Saadatmand,

Antonio Cicchetti,

Mikael SjödinAuthors Info & Claims

CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Pages 179 - 188

https://doi.org/10.1145/2465449.2465450

Published: 17 June 2013 Publication History

Abstract

Synergies between model-driven and component-based software engineering have been indicated as promising to mitigate complexity in development of embedded systems. In this work we evaluate the usefulness of a model-driven round-trip approach to aid deployment optimization in the development of embedded component-based systems. The round-trip approach is composed of the following steps: modelling the system, generation of full code from the models, execution and monitoring the code execution, and finally back-propagation of monitored values to the models.

We illustrate the usefulness of the round-trip approach exploiting an industrial case-study from the telecom-domain. We use a code-generator that can realise different deployment strategies, as well as special monitoring code injected into the generated code, and monitoring primitives defined at operating system level. Given this infrastructure we can evaluate extra-functional properties of the system and thus compare different deployment strategies.

References

[1]

J. Bezivin. On the unification power of models. Software and Systems Modeling, pages 171--188, 2005.

Digital Library

[2]

Ivica Crnkovic. Component-based software engineering for embedded systems. In Procs of ICSE'05, pages 712--713. ACM.

Digital Library

[3]

R. Land, J. Carlson, S. Larsson, and I. Crnkovic. Project Monitoring and Control in Model-driven and Component-based Development of Embedded Systems - The CARMA Principle and Preliminary Results. In Procs of ENASE'10, pages 253--258.

[4]

N. Siegmund, M. Rosenmuller, M. Kuhlemann, C. Kastner, and G. Saake. Measuring Non-Functional Properties in Software Product Line for Product Derivation. In Procs of APSEC'08, pages 187--194, 2008.

Digital Library

[5]

F. Ciccozzi, A. Cicchetti, and M. Sjödin. Round-trip support for extra-functional property management in model-driven engineering of embedded systems. Information and Software Technology, 2012.

Digital Library

[6]

M. Saadatmand, M. Sjödin, and N. U. Mustafa. Monitoring Capabilities of Schedulers in Model-Driven Development of Real-Time Systems. In Procs of ETFA 2012. IEEE Computer Society.

[7]

K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, pages 621--645, 2006.

Digital Library

[8]

S. Kent. Model Driven Engineering. In IFM, 2002.

Digital Library

[9]

Object Management Group (OMG). UML Superstructure Specification V2.3. http://www.omg.org/spec/UML/2.3/Superstructure/PDF/, 2011. {Online. Last access: 11/04/2012}.

[10]

N. Delgado, A.Q. Gates, and S. Roach. A taxonomy and catalog of runtime software-fault monitoring tools. Software Engineering, IEEE Transactions on, 30(12):859 -- 872, 2004.

Digital Library

[11]

A. Cicchetti, F. Ciccozzi, S. Mazzini, S. Puri, M. Panunzio, A. Zovi, and T. Vardanega. Chess: a model-driven engineering tool environment for aiding the development of complex industrial systems. In Procs of ASE'12, pages 362--365. ACM.

Digital Library

[12]

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

[13]

Enea. http://www.enea.com, Last Accessed: January 2013.

[14]

Enea. The Architectural Advantages of Enea OSE in Telecom Applications. http://www.enea.com/software/solutions/rtos/, Last Accessed: January 2013.

[15]

Z. Navabi, S. Day, and M. Massoumi. Investigating Back Annotation of Timing Information into Dataflow descriptions. In Procs of VHDL International User Forum, pages 185--195, 1992.

[16]

G. Mahadevan and J. R. Armstrong. Automatic Back Annotation of Timing into VHDL Behavioral Models. In Procs of VHDL International User Forum, pages 27--41, 1995.

[17]

Á. Hegedüs, G. Bergmann, I. Ráth, and D. Varró. Back-annotation of Simulation Traces with Change-Driven Model Transformations. In Procs of SEFM'10, pages 145--155, 2010.

Digital Library

[18]

E. Guerra, D. Sanz, P. Díaz, and I. Aedo. A transformation-driven approach to the verification of security policies in web designs. In Procs of ICWE'07, pages 269--284, Berlin, Heidelberg. Springer-Verlag.

Digital Library

[19]

H. Koziolek. Performance evaluation of component-based software systems: A survey. Performance Evaluation, 67(8):634--658, 2010.

Digital Library

[20]

S. Yacoub. Performance analysis of component-based applications. In Software Product Lines, LNCS, pages 299--315. Springer Berlin Heidelberg, 2002.

Digital Library

[21]

A. Mos and J. Murphy. A framework for performance monitoring, modelling and prediction of component oriented distributed systems. In Procs of WOSP'02, pages 235--236. ACM.

Digital Library

[22]

A. Diaconescu and J. Murphy. Automating the performance management of component-based enterprise systems through the use of redundancy. In Procs of ASE'05, pages 44--53. ACM.

Digital Library

[23]

T. Parsons and J. Murphy. Detecting Performance Antipatterns in Component Based Enterprise Systems. Journal of Object Technology, pages 55--91, 2008.

[24]

TESTEJB - A Measurement Framework for EJBs. In Component-Based Software Engineering, LNCS, pages 294--301. Springer Berlin Heidelberg, 2004.

[25]

A. Wall, J. Kraft, J. Neander, C. Norström, and M. Lembke. Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems. In Procs of RTCSA'03. Springer Berlin Heidelberg.

[26]

S.E. Chodrow, F. Jahanian, and M. Donner. Run-time monitoring of real-time systems. In Procs of RTSS'91, pages 74 --83.

[27]

M. Saadatmand, A. Cicchetti, and M. Sjödin. Design of adaptive security mechanisms for real-time embedded systems. In Procs of ESSoS'12, pages 121--134. Springer-Verlag, 2012.

Digital Library

[28]

J. Huselius and J. Andersson. Model Synthesis for Real-Time Systems. In Procs of CSMR'05, pages 52--60. IEEE Computer Society.

Digital Library

[29]

M. Saadatmand, A. Cicchetti, and M. Sjödin. UML-Based Modeling of Non-Functional Requirements in Telecommunication Systems. In Procs of ICSEA'11.

[30]

M. Saadatmand, A. Cicchetti, and M. Sjödin. Toward Model-Based Trade-off Analysis of Non-Functional Requirements. In Procs of SEAA'12.

Digital Library

[31]

B. Grammel and S. Kastenholz. A generic traceability framework for facet-based traceability data extraction in model-driven software development. In Procs of ECMFA-TW'10. ACM.

Digital Library

[32]

F. Ciccozzi, A. Cicchetti, and M. Sjödin. Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems. In Procs of ITNG'13). IEEE CS.

[33]

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

[34]

J. Feljan, J. Carlson, and T. Seceleanu. Towards a model-based approach for allocating tasks to multicore processors. In Procs of SEAA'12.

Digital Library

[35]

ACPI: Advanced Configuration & Power Interface. http://www.acpi.info/, Last Accessed: January 2013.

Cited By

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: Sep-2018
https://doi.org/10.1109/ETFA.2018.8502620
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 FSeceleanu TCorcoran DScholle D(2016)UML-Based Development of Embedded Real-Time Software on Multi-Core in Practice: Lessons Learned and Future PerspectivesIEEE Access10.1109/ACCESS.2016.26040184(6528-6540)Online publication date: 2016
https://doi.org/10.1109/ACCESS.2016.2604018
Show More Cited By

Index Terms

An automated round-trip support towards deployment assessment in component-based embedded systems

Recommendations

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

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 ...
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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

June 2013

200 pages

ISBN:9781450321228

DOI:10.1145/2465449

General Chair:
Philippe Kruchten
University of British Columbia, Canada
,
Program Chairs:
Dimitra Giannakopoulou
NASA Ames Research Center, USA
,
Massimo Tivoli
University of L'Aquila, Italy

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 June 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

Comparch '13

Sponsor:

SIGSOFT

Comparch '13: Federated Events on Component-Based Software Engineering and Software Architecture

June 17 - 21, 2013

British Columbia, Vancouver, Canada

Acceptance Rates

CBSE '13 Paper Acceptance Rate 20 of 43 submissions, 47%;

Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
124
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)1

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

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: Sep-2018
https://doi.org/10.1109/ETFA.2018.8502620
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 FSeceleanu TCorcoran DScholle D(2016)UML-Based Development of Embedded Real-Time Software on Multi-Core in Practice: Lessons Learned and Future PerspectivesIEEE Access10.1109/ACCESS.2016.26040184(6528-6540)Online publication date: 2016
https://doi.org/10.1109/ACCESS.2016.2604018
Ciccozzi FSpalazzese R(2016)MDE4IoT: Supporting the Internet of Things with Model-Driven EngineeringIntelligent Distributed Computing X10.1007/978-3-319-48829-5_7(67-76)Online publication date: 8-Oct-2016
https://doi.org/10.1007/978-3-319-48829-5_7
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
Ciccozzi FCorcoran DSeceleanu TScholle D(2015)SMARTCoreProceedings of the 2015 12th International Conference on Information Technology - New Generations10.1109/ITNG.2015.20(89-94)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1109/ITNG.2015.20
Pohlmann UMeyer MDann ABrink C(2014)Viewpoints and Views in Hardware Platform Modeling for Safe DeploymentProceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling10.1145/2631675.2631682(23-30)Online publication date: 22-Jul-2014
https://dl.acm.org/doi/10.1145/2631675.2631682

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents