skip to main content
10.1145/2602458.2602478acmconferencesArticle/Chapter ViewAbstractPublication PagescbseConference Proceedingsconference-collections
research-article

Strengthening architectures of smart CPS by modeling them as runtime product-lines

Published: 27 June 2014 Publication History

Abstract

Smart Cyber-Physical Systems (CPS) are complex distributed decentralized systems of cooperating mobile and stationary devices which closely interact with the physical environment. Although Component-Based Development (CBD) might seem as a viable solution to target the complexity of smart CPS, existing component models scarcely cope with the open-ended and very dynamic nature of smart CPS. This is especially true for design-time modeling using hierarchical explicit architectures, which traditionally provide an excellent means of coping with complexity by providing multiple levels of abstractions and explicitly specifying communication links between component instances. In this paper we propose a modeling method (materialized in the SOFA NG component model) which conveys the benefits of explicit architectures of hierarchical components to the design of smart CPS. Specifically, we base our method on modeling systems as reference architectures of Software Product Lines (SPL). Contrary to traditional SPL, which is a fully design-time approach, we create SPL configurations at runtime. We do so in a decentralized way by translating the configuration process to the process of establishing component ensembles (i.e. dynamic cooperation groups of components) of our DEECo component model.

References

[1]
J. Aldrich, C. Chambers, and D. Notkin. ArchJava: connecting software architecture to implementation. In Proc. of ICSE 2002, Orlando, USA, pages 187--197. ACM, 2002.
[2]
E. Borde, G. Haik, and L. Pautet. Mode-based reconfiguration of critical software component architectures. In Proc. of DATE '09, Nice, France, pages 1160--1165, 2009.
[3]
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.
[4]
T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil. DEECO: an ensemble-based component system. In Proc. of CBSE 2013, Vancouver, Canada, pages 81--90. ACM, 2013.
[5]
T. Bures, P. Hnetynka, and F. Plasil. SOFA 2.0: Balancing advanced features in a hierarchical component model. In Proc. of SERA 2006, Seattle, USA, pages 40--48. IEEE, 2006.
[6]
T. Calmant, J. C. Americo, O. Gattaz, D. Donsez, and K. Gama. A dynamic and service-oriented component model for python long-lived applications. In Proc. of CBSE 2012, Bertinoro, Italy, pages 35--40. ACM, 2012.
[7]
P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley Professional, 3rd edition, 2001.
[8]
Q. Enard, M. Stoicescu, E. Balland, C. Consel, L. Duchien, J.-C. Fabre, and M. Roy. Design-driven development methodology for resilient computing. In Proc. of CBSE 2013, Vancouver, Canada, pages 59--64. ACM, 2013.
[9]
C. Escoffier and R. S. Hall. Dynamically adaptable applications with iPOJO service components. In Proc. of SC 2007, Braga, Portugal, volume 4829 of LNCS, pages 113--128. Springer, 2007.
[10]
D. Garlan, R. T. Monroe, and D. Wile. Acme: architectural description of component-based systems. In Foundations of Component-based Systems, pages 47--67. Cambridge Univ. Press, New York, USA, 2000.
[11]
S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid. Dynamic software product lines. In Systems and Software Variability Management, pages 253--260. Springer, 2013.
[12]
C. Heinzemann and S. Becker. Executing reconfigurations in hierarchical component architectures. In Proc. of CBSE 2013, Vancouver, Canada, pages 3--12. ACM, 2013.
[13]
R. Hennicker and A. Klarl. Foundations for ensemble modeling -- the Helena approach. In Proc. of SAS 2014 (to appear), Kanazawa, Japan, LNCS. Springer, 2014.
[14]
P. Hnetynka and F. Plasil. Dynamic reconfiguration and access to services in hierarchical component models. In Proc. of CBSE 2006, Vasteras, Sweden, volume 4063 of LNCS, pages 352--359. Springer, 2006.
[15]
J. E. Kim, O. Rogalla, S. Kramer, and A. Hamann. Extracting, specifying and predicting software system properties in component based real-time embedded software development. In Proc. of ICSE 2009, Vancouver, Canada, pages 28--38. IEEE, 2009.
[16]
J. Lin, S. Sedigh, and A. Miller. Modeling cyber-physical systems with semantic agents. In Proc. of COMPSACW '10, Seoul, Korea, pages 13--18, 2010.
[17]
T. Pop, J. Keznikl, P. Hosek, M. Malohlava, T. Bures, and P. Hnetynka. Introducing support for embedded and real-time devices into existing hierarchical component system: Lessons learned. In Proc. of SERA 2011, Baltimore, USA, pages 3--11. IEEE, 2011.
[18]
A. Rajhans, S.-W. Cheng, B. Schmerl, D. Garlan, B. H. Krogh, C. Agbi, and A. Bhave. An architectural approach to the design and analysis of cyber-physical systems. Electronic Comm. of the EASST, 21, 2009.
[19]
L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni, and J.-B. Stefani. A component-based middleware platform for reconfigurable service-oriented architectures. Software: Practice and Experience, 42(5):559--583, 2012.
[20]
H. Yin, H. Qin, J. Carlson, and H. Hansson. Mode switch handling for the ProCom component model. In Proc. of CBSE 2013, Vancouver, Canada, pages 13--22. ACM, 2013.

Cited By

View all
  • (2022)A high-level synthesis approach for precisely-timed, energy-efficient embedded systemsSustainable Computing: Informatics and Systems10.1016/j.suscom.2022.10074135(100741)Online publication date: Sep-2022
  • (2021)Model inspections in the engineering of collaborative cyber‐physical systems with instance‐level review diagramsJournal of Software: Evolution and Process10.1002/smr.2392Online publication date: 17-Oct-2021
  • (2019)A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management StrategiesSensors10.3390/s1905103319:5(1033)Online publication date: 28-Feb-2019
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
CBSE '14: Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering
June 2014
200 pages
ISBN:9781450325776
DOI:10.1145/2602458
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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 June 2014

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. component model
  2. component-based development
  3. cyber-physical systems
  4. software architecture
  5. software components

Qualifiers

  • Research-article

Funding Sources

Conference

CompArch'14
Sponsor:

Acceptance Rates

CBSE '14 Paper Acceptance Rate 21 of 62 submissions, 34%;
Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2022)A high-level synthesis approach for precisely-timed, energy-efficient embedded systemsSustainable Computing: Informatics and Systems10.1016/j.suscom.2022.10074135(100741)Online publication date: Sep-2022
  • (2021)Model inspections in the engineering of collaborative cyber‐physical systems with instance‐level review diagramsJournal of Software: Evolution and Process10.1002/smr.2392Online publication date: 17-Oct-2021
  • (2019)A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management StrategiesSensors10.3390/s1905103319:5(1033)Online publication date: 28-Feb-2019
  • (2019)(Smart CPS) Integrated application in intelligent production and logistics management: technical architectures concepts and business model analyses for the customised facial masks manufacturingInternational Journal of Computer Integrated Manufacturing10.1080/0951192X.2019.1599434(1-11)Online publication date: 13-Apr-2019
  • (2019)Model-based documentation of dynamicity constraints for collaborative cyber-physical system architecturesJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2019.02.01297:C(153-167)Online publication date: 1-Aug-2019
  • (2018)Developing and evolving a DSL-based approach for runtime monitoring of systems of systemsAutomated Software Engineering10.5555/3288647.328871325:4(875-915)Online publication date: 1-Dec-2018
  • (2018)Developing and evolving a DSL-based approach for runtime monitoring of systems of systemsAutomated Software Engineering10.1007/s10515-018-0241-x25:4(875-915)Online publication date: 5-Jul-2018
  • (2017)Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks2017 IEEE 25th International Requirements Engineering Conference (RE)10.1109/RE.2017.45(556-561)Online publication date: Sep-2017
  • (2015)Collaborating multiple system instances of smart cyber-physical systemsProceedings of the First International Workshop on Software Engineering for Smart Cyber-Physical Systems10.5555/2821404.2821416(48-51)Online publication date: 16-May-2015
  • (2015)Architectural Abstractions for Hybrid ProgramsProceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering10.1145/2737166.2737167(65-74)Online publication date: 4-May-2015
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media