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

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.

[1]  Mikael Sjödin,et al.  Monitoring capabilities of schedulers in model-driven development of real-time systems , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[2]  Ada Diaconescu,et al.  Automating the performance management of component-based enterprise systems through the use of redundancy , 2005, ASE '05.

[3]  Dániel Varró,et al.  Back-annotation of Simulation Traces with Change-Driven Model Transformations , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[4]  Antonio Cicchetti,et al.  Toward Model-Based Trade-off Analysis of Non-functional Requirements , 2012, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications.

[5]  Jan Carlson,et al.  Towards a Model-Based Approach for Allocating Tasks to Multicore Processors , 2012, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications.

[6]  Ivica Crnkovic.  Component-based software engineering for embedded systems , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[7]  Joel Huselius,et al.  Model synthesis for real-time systems , 2005, Ninth European Conference on Software Maintenance and Reengineering.

[8]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[9]  Federico Ciccozzi,et al.  Round-trip support for extra-functional property management in model-driven engineering of embedded systems , 2013, Inf. Softw. Technol..

[10]  Anders Wall,et al.  Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems , 2003, RTCSA.

[11]  Tullio Vardanega,et al.  CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems , 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

[12]  Marc Donner,et al.  Run-time monitoring of real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[13]  Arvinder Kaur,et al.  Component Based Software Engineering , 2010 .

[14]  Gunter Saake,et al.  Measuring Non-Functional Properties in Software Product Line for Product Derivation , 2008, 2008 15th Asia-Pacific Software Engineering Conference.

[15]  Ann Q. Gates,et al.  A taxonomy and catalog of runtime software-fault monitoring tools , 2004, IEEE Transactions on Software Engineering.

[16]  Antonio Cicchetti,et al.  Design of Adaptive Security Mechanisms for Real-Time Embedded Systems , 2012, ESSoS.

[17]  Christoph P. Neumann,et al.  TESTEJB - A Measurement Framework for EJBs , 2004, CBSE.

[18]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[19]  Antonio Cicchetti,et al.  UML-Based Modeling of Non-Functional Requirements in Telecommunication Systems , 2011, ICSEA 2011.

[20]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[21]  John Murphy,et al.  A framework for performance monitoring, modelling and prediction of component oriented distributed systems , 2002, WOSP '02.

[22]  John Murphy,et al.  Detecting Performance Antipatterns in Component Based Enterprise Systems , 2008, J. Object Technol..

[23]  Sherif M. Yacoub.  Performance Analysis of Component-Based Applications , 2002, SPLC.

[24]  Federico Ciccozzi,et al.  Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems , 2013, 2013 10th International Conference on Information Technology: New Generations.

[25]  Gayatri P. Mahadevan.  Automatic back annotation of timing into VHDL behavioral models , 1995 .

[26]  Heiko Koziolek,et al.  Performance evaluation of component-based software systems: A survey , 2010, Perform. Evaluation.

[27]  Ivica Crnkovic,et al.  Project Monitoring and Control in Model-driven and Component-based Development of Embedded Systems - The CARMA Principle and Preliminary Results , 2010, ENASE.

[28]  Esther Guerra,et al.  A Transformation-Driven Approach to the Verification of Security Policies in Web Designs , 2007, ICWE.

[29]  Birgit Grammel,et al.  A generic traceability framework for facet-based traceability data extraction in model-driven software development , 2010, ECMFA-TW '10.