[go: up one dir, main page]

skip to main content
10.1145/2804337.2804341acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
research-article

Quo vadis cyber-physical systems: research areas of cyber-physical ecosystems: a position paper

Published: 31 August 2015 Publication History

Abstract

Many technological innovations from the research area of dynamic adaptive systems or IT ecosystems are already established in current software systems. Especially cyber-physical systems should benefit by this progress to provide smart applications in ambient environments of private and industrial space. But a proper and methodical engineering of cyber-physical ecosystems (CPES) is still an open and important issue. Traditional software and systems engineering facilities (system models, description languages, or process models) do not consider fundamental characteristics of these ecosystems as openness, uncertainty, or emergent constitution at runtime sufficiently. But especially these aspects let blur the line of system boundaries at design time. The diverse components of CPES have essential impacts on the engineering of CPES as well, concerning time synchronizing, execution control, and interaction structure. Self-balanced control in CPES promises new application possibilities, but also needs new engineering techniques concerning the overall engineering process, including requirements engineering and runtime verification. In this position paper we survey and summarize the dimensions of challenges in applying control theory for the engineering of cyber-physical ecosystems.

References

[1]
Bartelt, C., Fischer, B. and Rausch, A. 2013. Towards a Decentralized Middleware for Composition of Resource-Limited Components to Realize Distributed Applications.
[2]
Cyber-Physical Systems. Driving force for innovation in mobility, health, energy and production: http://www.acatech.de/de/publikationen/publikationssuche/ detail/artikel/cyber-physical-systems-innovationsmotorfuer-mobilitaet-gesundheit-energie-und-produktion.html. Accessed: 2015-06-15.
[3]
Damm, W., Möhlmann, E. and Rakow, A. 2014.
[4]
Component Based Design of Hybrid Systems: A Case Study on Concurrency and Coupling. Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (New York, NY, USA, 2014), 145–150.
[5]
Derler, P., Lee, E.A. and Sangiovanni-vincentelli, A.L. 2011. Addressing Modeling Challenges in Cyber-Physical Systems.
[6]
Henzinger, T.A. and Otop, J. 2014. Model Measuring for Hybrid Systems. Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (New York, NY, USA, 2014), 213–222.
[7]
Herold, S., Klus, H., Niebuhr, D. and Rausch, A. 2008.
[8]
Engineering of IT Ecosystems: Design of Ultra-large-scale Software-intensive Systems. Proceedings of the 2Nd International Workshop on Ultra-large-scale Softwareintensive Systems (New York, NY, USA, 2008), 49–52.
[9]
Kolatzki, S., Goltz, U., Hagner, M., Rausch, A. and Schindler, B. 2012. Automated Verification of Functional Interface Compatibility. 01 (2012).
[10]
Krishna, S.N. and Trivedi, A. 2013. Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. Journal of the Indian Institute of Science. 93, 3 (Sep. 2013), 419–440.
[11]
Lee, E.A. 2010. CPS Foundations. Proceedings of the 47th Design Automation Conference (New York, NY, USA, 2010), 737–742.
[12]
Niebuhr, D., Klus, H., Anastasopoulos, M., Koch, J., Weiß, O. and Rausch, A. 2007. DAiSI --Dynamic Adaptive System Infrastructure. Fraunhofer Institut für Experimentelles Software Engineering.
[13]
Rausch, A., Bartelt, C., Herold, S., Klus, H. and Niebuhr, D. 2013. From Software Systems to Complex Software Ecosystems: Model- and Constraint-Based Engineering of Ecosystems. Perspectives on the Future of Software Engineering. J.M. Schmid, ed. Springer. 61–80.
[14]
Rausch, A., Muller, J.P., Niebuhr, D., Herold, S. and Goltz, U. 2012. IT ecosystems: A new paradigm for engineering complex adaptive software systems. (Jun. 2012), 1–6.
[15]
Totally Integrated Automation - Totally Integrated Automation - Siemens: http://www.industry.siemens.com/topics/global/en/tia/Page s/default.aspx. Accessed: 2015-06-08.

Cited By

View all
  • (2022)Challenging Digital Innovation Through the OMiLAB Community of PracticeDomain-Specific Conceptual Modeling10.1007/978-3-030-93547-4_3(41-64)Online publication date: 11-Mar-2022
  • (2019)A Review of the Principles of Designing Smart Cyber-Physical Systems for Run-Time Adaptation: Learned Lessons and Open IssuesIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2018.281453949:1(145-158)Online publication date: Jan-2019
  • (2018)Security Requirements Elicitation from Airline Turnaround ProcessesBusiness & Information Systems Engineering10.1007/s12599-018-0518-460:1(3-20)Online publication date: 15-Jan-2018
  • Show More Cited By

Index Terms

  1. Quo vadis cyber-physical systems: research areas of cyber-physical ecosystems: a position paper

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    CTSE 2015: Proceedings of the 1st International Workshop on Control Theory for Software Engineering
    August 2015
    41 pages
    ISBN:9781450338141
    DOI:10.1145/2804337
    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 the author(s) 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: 31 August 2015

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Cyber-physical systems
    2. control theory
    3. self-balanced control
    4. software ecosystems
    5. system-of-systems
    6. systems engineering

    Qualifiers

    • Research-article

    Conference

    ESEC/FSE'15
    Sponsor:

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)9
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 07 Sep 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)Challenging Digital Innovation Through the OMiLAB Community of PracticeDomain-Specific Conceptual Modeling10.1007/978-3-030-93547-4_3(41-64)Online publication date: 11-Mar-2022
    • (2019)A Review of the Principles of Designing Smart Cyber-Physical Systems for Run-Time Adaptation: Learned Lessons and Open IssuesIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2018.281453949:1(145-158)Online publication date: Jan-2019
    • (2018)Security Requirements Elicitation from Airline Turnaround ProcessesBusiness & Information Systems Engineering10.1007/s12599-018-0518-460:1(3-20)Online publication date: 15-Jan-2018
    • (2017)Assessment of Aviation Security Risk Management for Airline Turnaround ProcessesTransactions on Large-Scale Data- and Knowledge-Centered Systems XXXVI10.1007/978-3-662-56266-6_6(109-141)Online publication date: 28-Nov-2017
    • (2016)Securing Airline-Turnaround Processes Using Security Risk-Oriented PatternsThe Practice of Enterprise Modeling10.1007/978-3-319-48393-1_15(209-224)Online publication date: 28-Oct-2016
    • (2016)Security Risk Management in the Aviation Turnaround SectorFuture Data and Security Engineering10.1007/978-3-319-48057-2_8(119-140)Online publication date: 23-Oct-2016

    View Options

    Get Access

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media