skip to main content
10.1145/2591062.2591140acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

DEECo: an ecosystem for cyber-physical systems

Published: 31 May 2014 Publication History

Abstract

In this work we tackle the problem of designing and developing software-intensive cyber-physical systems (CPS), which are large distributed systems of collaborating elements that closely interact with the physical world, such as intelligent transportation systems and crowdsourcing applications. Due to their specific constraints, such as extreme dynamism and continuous evolution of the physical substratum, and requirements, such us open-endedness and adaptability, CPS introduce many new challenges for software engineering. In response, we present a tailored ecosystem of software engineering models, methods, and tools. This ecosystem is centered on the DEECo component model, which we have proposed specifically for architecting software-intensive CPS.

References

[1]
Al Ali, R., Bures, T., Gerostathopoulos, I., Keznikl, J. and Plasil, F. 2014. Architecture Adaptation Based on Belief Inaccuracy Estimation. To appear in Proc. of WICSA’14.
[2]
Barnat, J., Benes, N., Bures, T., Cerna, I., Keznikl, J. and Plasil, F. 2013. Towards Verification of Ensemble-Based Component Systems. To appear in Proc. of FACS’13.
[3]
Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M. and Plasil, F. 2013. DEECo – an Ensemble-Based Component System. Proc. of CBSE’13, ACM, 81–90.
[4]
Crnkovic, I. 2002. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA.
[5]
jDEECo Website. https://github.com/d3scomp/JDEECo.
[6]
Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P. and Hoch, N. 2013. Design of Ensemble-Based Component Systems by Invariant Refinement. Proc. of CBSE’13, ACM, 91–100. 200 m PLCS% PLCS% PLCS% PLCS% (component) Vehicle schedule route … (component) PLCS position freePlaces … Figure 1: E-mobility: components and ensembles.

Cited By

View all
  • (2023)Explaining quality attribute tradeoffs in automated planning for self-adaptive systemsJournal of Systems and Software10.1016/j.jss.2022.111538198:COnline publication date: 1-Apr-2023
  • (2018)Performance Modelling of Smart Cyber-Physical SystemsCompanion of the 2018 ACM/SPEC International Conference on Performance Engineering10.1145/3185768.3186306(37-40)Online publication date: 2-Apr-2018
  • (2018)Towards automating Service Matching for Manufacturing Systems: Exemplifying Knowledge-Driven Architecture CompositionProcedia CIRP10.1016/j.procir.2018.03.04472(707-713)Online publication date: 2018
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering
May 2014
741 pages
ISBN:9781450327688
DOI:10.1145/2591062
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

In-Cooperation

  • TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 May 2014

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Cyber-physical systems
  2. component-based systems
  3. ensembles of components
  4. software engineering

Qualifiers

  • Article

Conference

ICSE '14
Sponsor:

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2023)Explaining quality attribute tradeoffs in automated planning for self-adaptive systemsJournal of Systems and Software10.1016/j.jss.2022.111538198:COnline publication date: 1-Apr-2023
  • (2018)Performance Modelling of Smart Cyber-Physical SystemsCompanion of the 2018 ACM/SPEC International Conference on Performance Engineering10.1145/3185768.3186306(37-40)Online publication date: 2-Apr-2018
  • (2018)Towards automating Service Matching for Manufacturing Systems: Exemplifying Knowledge-Driven Architecture CompositionProcedia CIRP10.1016/j.procir.2018.03.04472(707-713)Online publication date: 2018
  • (2017)From scenario modeling to scenario programming for reactive systems with dynamic topologyProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3122827(974-978)Online publication date: 21-Aug-2017
  • (2017)Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation StrategiesACM Transactions on Cyber-Physical Systems10.1145/28233451:3(1-25)Online publication date: 4-Apr-2017
  • (2017)Self-adaptive video encoderProceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2017.16(123-128)Online publication date: 20-May-2017
  • (2015)Architecting the IoT Paradigm: A Middleware for Autonomous Distributed Sensor NetworksInternational Journal of Distributed Sensor Networks10.1155/2015/13973511:12(139735)Online publication date: Jan-2015

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