research-article

Performance Modelling of Smart Cyber-Physical Systems

Authors:

Catia TrubianiAuthors Info & Claims

ICPE '18: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering

Pages 37 - 40

https://doi.org/10.1145/3185768.3186306

Published: 02 April 2018 Publication History

Get Access

Abstract

Context: the dynamic nature of complex Cyber-Physical Systems (CPS) introduces new research challenges since they need to smartly self-adapt to changing situations in their environment. This triggers the usage of methodologies that keep track of changes and raise alarms whether extra-functional requirements (e.g., safety, reliability, performance) are violated. Objective: this paper investigates the usage of software performance engineering techniques as support to provide a model-based performance evaluation of smart CPS. The goal is to understand at which extent performance models, specifically Queueing Networks (QN), are suitable to represent these dynamic scenarios. Method and Results: we evaluate the performance characteristics of a smart parking application where cars need to communicate with hot-spots to find an empty spot to park. Through QN we are able to efficiently derive performance predictions that are compared with long-run simulations, and the relative error of model-based analysis results is no larger than 10% when transient or congestion states are discarded. Conclusion: the usage of performance models is promising in this domain and our goal is to experiment further performance models in other CPS case studies to assess their effectiveness.

References

[1]

Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. The impact of control technology Vol. 12 (2011), 161--166.

Google Scholar

[2]

Simonetta Balsamo and Vittoria de Nitto Personè. 1994. A survey of product form queueing networks with blocking and their equivalences. Annals of Operations research Vol. 48, 1 (1994), 31--61.

Crossref

Google Scholar

[3]

Steffen et Al. Becker. 2012. The MechatronicUML design method-- process, syntax, and semantics. SE group, University of Paderborn, Tech. Rep. tr-ri-12--326 (2012).

Google Scholar

[4]

Giuliano Casale and Giuseppe Serazzi. 2011. Quantitative system evaluation with Java modeling tools WOSP/SIPEW Conference. 449--454.

Digital Library

Google Scholar

[5]

Patricia Derler, Edward A Lee, and Alberto Sangiovanni Vincentelli. 2012. Modeling cyber--physical systems. IEEE, Vol. 100, 1 (2012), 13--28.

Crossref

Google Scholar

[6]

Rima Al Ali et Al. 2014. DEECo: an ecosystem for cyber-physical systems. In ICSE Companion. 610--611.

Digital Library

Google Scholar

[7]

Allan Edgard Silva Freitas and Romildo Martins da Silva Bezerra. 2016. Performance Evaluation of Cyber-Physical Systems. ICIC Express Letters Vol. 10 (2016).

Google Scholar

[8]

Florian Hagenauer, Falko Dressler, and Christoph Sommer. 2014. Poster: A simulator for heterogeneous vehicular networks 2014 IEEE Vehicular Networking Conference (VNC). 185--186.

Google Scholar

Cited By

View all

Pinciroli RSmith CTrubiani C(2023)Modeling more software performance antipatterns in cyber-physical systemsSoftware and Systems Modeling10.1007/s10270-023-01137-x23:4(1003-1023)Online publication date: 20-Dec-2023
https://doi.org/10.1007/s10270-023-01137-x
Tadakamalla UMenasce D(2022)Autonomic Resource Management for Fog ComputingIEEE Transactions on Cloud Computing10.1109/TCC.2021.306462910:4(2334-2350)Online publication date: 1-Oct-2022
https://doi.org/10.1109/TCC.2021.3064629
Guérineau JBricogne MRivest LDurupt A(2022)Organizing the fragmented landscape of multidisciplinary product development: a mapping of approaches, processes, methods and tools from the scientific literatureResearch in Engineering Design10.1007/s00163-022-00389-w33:3(307-349)Online publication date: 17-May-2022
https://doi.org/10.1007/s00163-022-00389-w
Show More Cited By

Index Terms

Performance Modelling of Smart Cyber-Physical Systems
1. Software and its engineering
  1. Software organization and properties
    1. Extra-functional properties
      1. Software performance

Recommendations

QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems
ICPE '21: Proceedings of the ACM/SPEC International Conference on Performance Engineering

Identifying performance problems in modern software systems is nontrivial, even more so when looking at specific application domains, such as cyber-physical systems. The heterogeneity of software and hardware components makes the process of performance ...
To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?
ECSA '19: Proceedings of the 13th European Conference on Software Architecture - Volume 2

The dynamic nature of complex Cyber-Physical Systems (CPS) introduces new research challenges since they need to smartly deal with changing situations in their environment. This triggers the usage of methodologies that keep track of changes and raise ...
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions

Smart Cyber--Physical Systems (sCPS) are modern CPS systems that are engineered to seamlessly integrate a large number of computation and physical components; they need to control entities in their environment in a smart and collective way to achieve a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICPE '18: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering

April 2018

212 pages

ISBN:9781450356299

DOI:10.1145/3185768

General Chairs:
Katinka Wolter
Free University of Berlin, Germany
,
Will Knottenbelt
Imperial College London, UK
,
Program Chairs:
André van Hoorn
University of Stuttgart, Germany
,
Manoj Nambiar
Tata Consultancy Services, India
,
Heiko Koziolek
ABB, Germany

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 April 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICPE '18

Sponsor:

ICPE '18: ACM/SPEC International Conference on Performance Engineering

April 9 - 13, 2018

Berlin, Germany

Acceptance Rates

Overall Acceptance Rate 238 of 793 submissions, 30%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
182
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pinciroli RSmith CTrubiani C(2023)Modeling more software performance antipatterns in cyber-physical systemsSoftware and Systems Modeling10.1007/s10270-023-01137-x23:4(1003-1023)Online publication date: 20-Dec-2023
https://doi.org/10.1007/s10270-023-01137-x
Tadakamalla UMenasce D(2022)Autonomic Resource Management for Fog ComputingIEEE Transactions on Cloud Computing10.1109/TCC.2021.306462910:4(2334-2350)Online publication date: 1-Oct-2022
https://doi.org/10.1109/TCC.2021.3064629
Guérineau JBricogne MRivest LDurupt A(2022)Organizing the fragmented landscape of multidisciplinary product development: a mapping of approaches, processes, methods and tools from the scientific literatureResearch in Engineering Design10.1007/s00163-022-00389-w33:3(307-349)Online publication date: 17-May-2022
https://doi.org/10.1007/s00163-022-00389-w
Pinciroli RSmith CTrubiani CBourcier JJiang ZBezemer CCortellessa V(2021)QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical SystemsProceedings of the ACM/SPEC International Conference on Performance Engineering10.1145/3427921.3450251(93-104)Online publication date: 9-Apr-2021
https://dl.acm.org/doi/10.1145/3427921.3450251
Geihs K(2021)Performance Analysis of Mobile Computing in Edge/Cloud Configurations with Feedback2021 IEEE Globecom Workshops (GC Wkshps)10.1109/GCWkshps52748.2021.9681975(1-5)Online publication date: Dec-2021
https://doi.org/10.1109/GCWkshps52748.2021.9681975
Sharma DShandilya SSharma A(2021)A Comprehensive Review on Cyber Physical System and Its Applications in Robotic Process AutomationInnovations in Bio-Inspired Computing and Applications10.1007/978-3-030-73603-3_29(311-322)Online publication date: 10-Apr-2021
https://doi.org/10.1007/978-3-030-73603-3_29
Geihs KBaraki Hde la Oliva A(2020)Performance Analysis of Edge-Fog-Cloud Architectures in the Internet of Things2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC)10.1109/UCC48980.2020.00059(374-379)Online publication date: Dec-2020
https://doi.org/10.1109/UCC48980.2020.00059
Pagliari LMirandola RTrubiani C(2020)Engineering cyber‐physical systems through performance‐based modelling and analysisJournal of Software: Evolution and Process10.1002/smr.217932:1Online publication date: 15-Jan-2020
https://dl.acm.org/doi/10.1002/smr.2179
Pagliari LD'Angelo MCaporuscio MMirandola RTrubiani C(2019)To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?Proceedings of the 13th European Conference on Software Architecture - Volume 210.1145/3344948.3344990(139-144)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3344948.3344990
Khan MShrobe H(2019)Security of Cyberphysical Systems: Chaining Induction and DeductionComputer10.1109/MC.2019.291313852:7(72-75)Online publication date: Jul-2019
https://doi.org/10.1109/MC.2019.2913138
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.

Cited By

Index Terms

Recommendations

QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems

To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions