skip to main content
10.1145/3299815.3314469acmconferencesArticle/Chapter ViewAbstractPublication Pagesacm-seConference Proceedingsconference-collections
short-paper

High-level Specification and Modeling of Cyber-physical Systems

Published: 18 April 2019 Publication History

Abstract

Software development for cyber-physical systems is different and more complicated than conventional computer-based systems, this is because of the hybrid nature of these systems and their complex general properties. This paper proposes a simplified approach to higher-level formal specification and modeling of cyber-physical systems as a way to raise the level of abstraction of the development of these systems. The Train-Gate System is presented as a case study that shows the specification of the timing constraints, modeling, and the simulation aspects of this study. The results of the simulation display the reaction times, response times, throughput, and the deadlines missed.

References

[1]
P. Derler, E. A. Lee and A. S. Vincentelli. Modeling Cyber-Physical Systems. Proceedings of the IEEE, Vol. 100, No. 1, January 2017.
[2]
J. Garrido. "Applying Empirical and Formal Methods for Modeling Systems with Concurrency and Timing Aspects" In ACM South Eastern Conference. KSU Center, Kennesaw. April 15-17, 2017.
[3]
X. He, Z. Dong, H. Yin, and Y. Fu. "A Framework for Developing Cyber-Physical Systems". International Journal of Software Engineering and Knowledge Engineering. Vol. 27, No. 10, pp. 1361--1386 (2017).
[4]
K. D. Kim and P. R. Kuman, "Cyber-Physical Systems: A Perspective at the Centennial". Proceedings of the IEEE. Vol. 100, May 13, 2012.
[5]
E. A. Lee and S. A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach. Second Edition. MIT Press, 2017.
[6]
B. P. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An Introduction to TCOZ. In K. Futatsugi, R. Kemmerer, and K. Torii, editors, The 20th International Conference on Software Engineering (ICSE'98), pages 95--104, Kyoto, Japan, April 1998. IEEE Press.
[7]
A. Morzenti and P. San Pietro. Object-Oriented Logical Specification of Time-Critical Systems. ACM Transactions on Software Engineering and Methodology, Vol. 3, No. 1, January 1994, pp 56--98
[8]
A. Shaw. Real-Time Systems and Software. John Wiley, New York, 2001.

Cited By

View all
  • (2021)Enhancement of end-to-end security in advanced metering infrastructureJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-021-03409-0Online publication date: 22-Sep-2021

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ACMSE '19: Proceedings of the 2019 ACM Southeast Conference
April 2019
295 pages
ISBN:9781450362511
DOI:10.1145/3299815
  • Conference Chair:
  • Dan Lo,
  • Program Chair:
  • Donghyun Kim,
  • Publications Chair:
  • Eric Gamess
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: 18 April 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Cyber-physical systems
  2. concurrency
  3. formal Specification
  4. real-time
  5. simulation models

Qualifiers

  • Short-paper
  • Research
  • Refereed limited

Conference

ACM SE '19
Sponsor:
ACM SE '19: 2019 ACM Southeast Conference
April 18 - 20, 2019
GA, Kennesaw, USA

Acceptance Rates

Overall Acceptance Rate 402 of 779 submissions, 52%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2021)Enhancement of end-to-end security in advanced metering infrastructureJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-021-03409-0Online publication date: 22-Sep-2021

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