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

research-article

Towards modeling reconfiguration in hierarchical component architectures

Authors:

Christian Heinzemann,

Claudia Priesterjahn,

Steffen BeckerAuthors Info & Claims

CBSE '12: Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

Pages 23 - 28

https://doi.org/10.1145/2304736.2304742

Published: 25 June 2012 Publication History

Abstract

Today's real-time embedded systems operate in frequently changing environments on which they react by self-adaptations. Such an approach needs adequate modeling support of these reconfigurations to enable verification of safety properties, e.g., by timed model checking. Component-based development of such systems realizes these self-adaptations by structural reconfigurations of components and their connectors. However, component models proposed in literature do not support reconfigurable components in real-time embedded context but focus on other domains like business information systems. In this paper, we present an extension of our modeling language MechatronicUML to support structural reconfigurations taking the specific requirements of our domain into account. Based on the proposed extension we outline our research roadmap to achieve verification and realization of systems modeled in MechatronicUML.

References

[1]

S. Becker, C. Brenner, S. Dziwok, T. Gewering, C. Hein-zemann, U. Pohlmann, C. Priesterjahn, W. Schafer, J. Suck, O. Sudmann, and M. Tichy. The MechatronicUML method -- process, syntax, and semantics. Technical Report tr-ri-12--318, Software Engineering Group, University of Paderborn, Feb. 2012.

[2]

B. Bennour, L. Henrio, and M. Rivera. A reconfiguration framework for distributed components. In Proc. of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, SINTER '09, pages 49--56. ACM, 2009.

Digital Library

[3]

P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison Wesley, 1987.

Digital Library

[4]

G. Blair, N. Bencomo, and R. B. France. Models@ run.time. Computer, 42(10):22 --27, oct. 2009.

Digital Library

[5]

J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger. A survey of self-management in dynamic software architecture specifications. In WOSS '04: Proc. of the 1st ACM SIGSOFT workshop on Self-managed systems, pages 28--33. ACM, 2004.

Digital Library

[6]

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J.-B. Stefani. The fractal component model and its support in java. Software: Practice and Experience, 36(11--12):1257--1284, 2006.

Digital Library

[7]

S. Burmester, H. Giese, and O. Oberschelp. Hybrid uml components for the design of complex self-optimizing mechatronic systems. In J. Braz, H. Araújo, A. Vieira, and B. Encarnacao, editors, Informatics in Control, Automation and Robotics I. Springer, Mar. 2006.

[8]

P. Hosek, T. Pop, T. Bures, P. Hnetynka, and M. Malohlava. Comparison of component frameworks for real-time embedded systems. In Proceedings of CBSE 2010, LNCS. Springer, 2010.

Digital Library

[9]

M. Léger, T. Ledoux, and T. Coupaye. Reliable dynamic reconfigurations in a reflective component model. In L. Grunske, R. Reussner, and F. Plasil, editors, Component-Based Software Engineering, volume 6092 of Lecture Notes in Computer Science, pages 74--92. Springer, 2010.

Digital Library

[10]

X. Ma, L. Baresi, C. Ghezzi, V. Panzica La Manna, and J. Lu. Version-consistent dynamic reconfiguration of component-based distributed systems. In Proc. 13th European conference on Foundations of software engineering, ESEC '11, pages 245--255. ACM, 2011.

Digital Library

[11]

P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. C. Cheng. Composing adaptive software. Computer, 37(7):56 -- 64, july 2004.

Digital Library

[12]

M. Prochazka, R. Ward, P. Tuma, P. Hnetynka, and J. Adamek. A component-oriented framework for spacecraft on-board software. In Proceedings of DASIA 2008, DAta Systems In Aerospace, Palma de Mallorca, European Space Agency Report Nr. SP-665, May 2008.

[13]

J. Suck, C. Heinzemann, and W. Schafer. Formalizing model checking on timed graph transformation systems. Technical Report tr-ri-11--316, Software Engineering Group, University of Paderborn, 2011.

[14]

M. Tichy, S. Henkler, J. Holtmann, and S. Oberthür. Component story diagrams: A transformation language for component structures in mechatronic systems. In Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), pages 27--39, 2008.

[15]

J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In Proc. of the 28th Intern. Conf. on Software engineering (ICSE '06), pages 371--380. ACM, 2006.

Digital Library

Cited By

Esterle LBellman KBecker SKoziolek ALandauer CLewis P(2017)Assessing Self-awarenessSelf-Aware Computing Systems10.1007/978-3-319-47474-8_15(465-481)Online publication date: 24-Jan-2017
https://doi.org/10.1007/978-3-319-47474-8_15
Fang MLeyh GDoerr JElsner CBaudry BCombemale BKienzle JPretschner A(2016)Multi-variability modeling and realization for software derivation in industrial automation managementProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems10.1145/2976767.2976804(2-12)Online publication date: 2-Oct-2016
https://dl.acm.org/doi/10.1145/2976767.2976804
Fang MLeyh GDoerr JElsner CZhao JSchmidt D(2015)Towards model-based derivation of systems in the industrial automation domainProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791075(283-292)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791075
Show More Cited By

Index Terms

Towards modeling reconfiguration in hierarchical component architectures
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Executing reconfigurations in hierarchical component architectures
CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Mechatronic systems reconfigure the structure of their software architecture, e.g., to avoid hazardous situations or to optimize operational conditions like minimizing their energy consumption. As software architectures are typically build on components,...
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08: Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology

Software is always embedded in a social and technical context which change over time and therefore also the software has to be adjusted over time to preserve its value. Self-adaptive systems provide a vision how the systems can become capable of doing a ...
Component-based hardware/software co-verification for building trustworthy embedded systems

We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CBSE '12: Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

June 2012

198 pages

ISBN:9781450313452

DOI:10.1145/2304736

General Chairs:
Vincenzo Grassi
Università di Roma Tor Vergata, Italy
,
Raffaela Mirandola
Politecnico di Milano, Italy
,
Program Chairs:
Nenad Medvidovic
University of Southern California, USA
,
Magnus Larsson
ABB, Sweden

Copyright © 2012 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: 25 June 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

Comparch '12

Sponsor:

SIGSOFT

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

June 25 - 28, 2012

Bertinoro, Italy

Acceptance Rates

Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
218
Total Downloads

Downloads (Last 12 months)35
Downloads (Last 6 weeks)2

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Esterle LBellman KBecker SKoziolek ALandauer CLewis P(2017)Assessing Self-awarenessSelf-Aware Computing Systems10.1007/978-3-319-47474-8_15(465-481)Online publication date: 24-Jan-2017
https://doi.org/10.1007/978-3-319-47474-8_15
Fang MLeyh GDoerr JElsner CBaudry BCombemale BKienzle JPretschner A(2016)Multi-variability modeling and realization for software derivation in industrial automation managementProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems10.1145/2976767.2976804(2-12)Online publication date: 2-Oct-2016
https://dl.acm.org/doi/10.1145/2976767.2976804
Fang MLeyh GDoerr JElsner CZhao JSchmidt D(2015)Towards model-based derivation of systems in the industrial automation domainProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791075(283-292)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791075
Lanore VPérez CKruchten PBecker SSchneider J(2015)A Reconfigurable Component Model for HPCProceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering10.1145/2737166.2737169(1-10)Online publication date: 4-May-2015
https://dl.acm.org/doi/10.1145/2737166.2737169
Ait Wakrime ALimet SRobert S(2015)On the fly reconfiguration of interactive scientific visualization applications2015 International Conference on High Performance Computing & Simulation (HPCS)10.1109/HPCSim.2015.7237078(468-475)Online publication date: Jul-2015
https://doi.org/10.1109/HPCSim.2015.7237078
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
Anacker HDellnitz MFlaßkamp KGroesbrink SHartmann PHeinzemann CHorenkamp CKleinjohann BKleinjohann LKorf SKrüger MMüller WOber-Blöbaum SOberthür SPorrmann MPriesterjahn CRadkowski RRasche CRieke JRingkamp MStahl KSteenken DStöcklein JTimmermann RTrächtler AWitting KXie TZiegert S(2014)Methods for the Design and DevelopmentDesign Methodology for Intelligent Technical Systems10.1007/978-3-642-45435-6_5(183-350)Online publication date: 2014
https://doi.org/10.1007/978-3-642-45435-6_5
Gausemeier JKorf SPorrmann MStahl KSudmann OVaßholz M(2014)Development of Self-optimizing SystemsDesign Methodology for Intelligent Technical Systems10.1007/978-3-642-45435-6_3(65-115)Online publication date: 2014
https://doi.org/10.1007/978-3-642-45435-6_3
Yin HHansson H(2014)Flexible and Efficient Reuse of Multi-mode Components for Building Multi-mode SystemsSoftware Reuse for Dynamic Systems in the Cloud and Beyond10.1007/978-3-319-14130-5_17(237-252)Online publication date: 2014
https://doi.org/10.1007/978-3-319-14130-5_17
Heinzemann CSudmann OSchäfer WTichy MMünch JLan JZhang H(2013)A discipline-spanning development process for self-adaptive mechatronic systemsProceedings of the 2013 International Conference on Software and System Process10.1145/2486046.2486055(36-45)Online publication date: 18-May-2013
https://dl.acm.org/doi/10.1145/2486046.2486055
Show More Cited By

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