research-article

Open access

Actors Revisited for Time-Critical Systems

Authors:

Marten Lohstroh,

Martin Schoeberl,

Christopher Gill,

Marjan Sirjani,

Edward A. LeeAuthors Info & Claims

DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019

Article No.: 152, Pages 1 - 4

https://doi.org/10.1145/3316781.3323469

Published: 02 June 2019 Publication History

Abstract

Programming time-critical systems is notoriously difficult. In this paper we propose an actor-oriented programming model with a semantic notion of time and a deterministic coordination semantics based on discrete events to exercise precise control over both the computational and timing aspects of the system behavior.

References

[1]

Armstrong, J., Virding, R., Wikström, C., and Williams, M. Concurrent programming in Erlang, second ed. Prentice Hall, 1996.

Digital Library

[2]

Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., and Zufferey, D. P: safe asynchronous event-driven programming. ACM SIGPLAN Notices 48, 6 (2013), 321--332.

Digital Library

[3]

Ding, H., Zheng, C., Agha, G., and Sha, L. Automated verification of the dependability of object-oriented real-time systems. In 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (Oct 2003), pp. 171--171.

[4]

Earle, C. B., and Fredlund, L. Verification of timed erlang programs using mcerlang. In Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings (2012), pp. 251--267.

Digital Library

[5]

Geilen, M., Stuijk, S., and Basten, T. Predictable dynamic embedded data processing. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) (2012), IEEE.

[6]

Hewitt, C., Bishop, P. B., and Steiger, R. A universal modular ACTOR formalism for artificial intelligence. In Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, USA, August 20-23, 1973 (1973), pp. 235--245.

Digital Library

[7]

Hunt, J. Further Akka Actors. Springer International Publishing, Cham, 2018, pp. 345--360.

[8]

Khamespanah, E., Sirjani, M., Kaviani, Z. S., Khosravi, R., and Izadi, M.-J. Timed rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Science of Computer Programming 98 (2015), 184--204.

Digital Library

[9]

Lee, E. A., Liu, J., Muliadi, L., and Zheng, H. Discrete-event models. In System Design, Modeling, and Simulation using Ptolemy II, C. Ptolemaeus, Ed. Ptolemy.org, 2014.

[10]

Lee, E. A., and Zheng, H. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In EMSOFT (2007), ACM, pp. 114--123.

Digital Library

[11]

Moritz, P., Nishihara, R., Wang, S., Tumanov, A., Liaw, R., Liang, E., Paul, W., Jordan, M. I., and Stoica, I. Ray: A distributed framework for emerging AI applications. CoRR abs/1712.05889 (2017).

Digital Library

[12]

Ölveczky, P. C., and Meseguer, J. The real-time maude tool. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2008), Springer, pp. 332--336.

Digital Library

[13]

Ptolemaeus, C. System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley, CA, 2014.

[14]

Ren, S., and Agha, G. A. RTsynchronizer: language support for real-time specifications in distributed systems. ACM Sigplan Notices 30, 11 (1995), 50--59.

Digital Library

[15]

Ren, S., Yu, Y., Chen, N., Marth, K., Poirot, P.-E., and Shen, L. Actors, roles and coordinators --- a coordination model for open distributed and embedded systems. In Coordination Models and Languages (Berlin, Heidelberg, 2006), P. Ciancarini and H. Wiklicky, Eds., Springer Berlin Heidelberg, pp. 247--265.

Digital Library

[16]

Schoeberl, M., Puffitsch, W., Hepp, S., Huber, B., and Prokesch, D. Patmos: A time-predictable microprocessor. Real-Time Systems 54, 2 (2018), 389--423.

Digital Library

[17]

Sirjani, M., Movaghar, A., Shali, A., and de Boer, F. S. Modeling and verification of reactive systems using rebeca. Fundam. Inform. 63, 4 (2004), 385--410.

Digital Library

[18]

Sriram, S., and Bhattacharyya, S. S. Embedded Multiprocessors: Scheduling and Synchronization. Marcel Dekker, Inc. (now Taylor and Francis), 2000.

Digital Library

[19]

Wiik, J., Ersfolk, J., and Waldén, M. A contract-based approach to scheduling and verification of dynamic dataflow networks. In 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (2018), IEEE, pp. 1--10.

[20]

Zhao, Y., Lee, E. A., and Liu, J. A programming model for time-synchronized distributed real-time systems. In Real-Time and Embedded Technology and Applications Symposium (RTAS) (2007), IEEE, pp. 259--268.

Digital Library

[21]

Zimmer, M., Broman, D., Shaver, C., and Lee, E. A. FlexPRET: A processor platform for mixed-criticality systems. In Real-Time and Embedded Technology and Application Symposium (RTAS) (2014).

Cited By

Jellum ESchoeberl MLee EOrlandic M(2024)Codesign of Reactor-Oriented Hardware and Software for Cyber-Physical SystemsACM Transactions on Reconfigurable Technology and Systems10.1145/367208317:4(1-30)Online publication date: 7-Nov-2024
https://dl.acm.org/doi/10.1145/3672083
Moradi FAbbaspour Asadollah SPourvatan BMoezkarimi ZSirjani M(2024)CRYSTAL Framework: Cybersecurity Assurance for Cyber-Physical SystemsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2024.100965(100965)Online publication date: Mar-2024
https://doi.org/10.1016/j.jlamp.2024.100965
Rossel MLin SLohstroh MCastrillon JGoens A(2024)Provable Determinism for Software in Cyber-Physical SystemsVerified Software. Theories, Tools and Experiments10.1007/978-3-031-66064-1_6(85-107)Online publication date: 27-Jul-2024
https://doi.org/10.1007/978-3-031-66064-1_6
Show More Cited By

Index Terms

Actors Revisited for Time-Critical Systems
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems

Recommendations

THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS

In this paper, we present a prototype of the Real-Time Systems Compiler (RTSC). The RTSC is a compiler-based tool that enables the migration from event-triggered to time-triggered real-time systems. This is achieved by replacing the real-time systems ...
Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems
ICECCS '96: Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems

This paper describes on-going efforts to integrate Petri nets with software design methods for concurrent and real-time systems. Specifically, this paper presents an approach for integrating colored Petri nets with the Ada-based Design Approach for Real-...
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model

The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration DTPN ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019

June 2019

1378 pages

ISBN:9781450367257

DOI:10.1145/3316781

Copyright © 2019 Owner/Author.

This work is licensed under a Creative Commons Attribution International 4.0 License.

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CEDA

In-Cooperation

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 June 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

DAC '19

Sponsor:

SIGDA

DAC '19: The 56th Annual Design Automation Conference 2019

June 2 - 6, 2019

NV, Las Vegas, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
504
Total Downloads

Downloads (Last 12 months)139
Downloads (Last 6 weeks)25

Reflects downloads up to 11 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Jellum ESchoeberl MLee EOrlandic M(2024)Codesign of Reactor-Oriented Hardware and Software for Cyber-Physical SystemsACM Transactions on Reconfigurable Technology and Systems10.1145/367208317:4(1-30)Online publication date: 7-Nov-2024
https://dl.acm.org/doi/10.1145/3672083
Moradi FAbbaspour Asadollah SPourvatan BMoezkarimi ZSirjani M(2024)CRYSTAL Framework: Cybersecurity Assurance for Cyber-Physical SystemsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2024.100965(100965)Online publication date: Mar-2024
https://doi.org/10.1016/j.jlamp.2024.100965
Rossel MLin SLohstroh MCastrillon JGoens A(2024)Provable Determinism for Software in Cyber-Physical SystemsVerified Software. Theories, Tools and Experiments10.1007/978-3-031-66064-1_6(85-107)Online publication date: 27-Jul-2024
https://doi.org/10.1007/978-3-031-66064-1_6
Khosravi RKhamespanah EGhassemi FSirjani M(2024)Actors Upgraded for Variability, Adaptability, and DeterminismActive Object Languages: Current Research Trends10.1007/978-3-031-51060-1_9(226-260)Online publication date: 29-Jan-2024
https://doi.org/10.1007/978-3-031-51060-1_9
Jellum ELin SDonovan PJerad CWang ELohstroh MLee ESchoeberl M(2023)InterPRET: a Time-predictable Multicore ProcessorProceedings of Cyber-Physical Systems and Internet of Things Week 202310.1145/3576914.3587497(331-336)Online publication date: 9-May-2023
https://dl.acm.org/doi/10.1145/3576914.3587497
Ghassemi FSirjani MKhamespanah EMirani MHojjat H(2023)Transparent Actor Model2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1109/FormaliSE58978.2023.00018(97-107)Online publication date: May-2023
https://doi.org/10.1109/FormaliSE58978.2023.00018
Grobelna IKaratkevich A(2021)Challenges in Application of Petri Nets in Manufacturing SystemsElectronics10.3390/electronics1018230510:18(2305)Online publication date: 19-Sep-2021
https://doi.org/10.3390/electronics10182305
Sehr MLohstroh MWeber MUgalde IWitte MNeidig JHoeme SNiknami MLee E(2021)Programmable Logic Controllers in the Context of Industry 4.0IEEE Transactions on Industrial Informatics10.1109/TII.2020.300776417:5(3523-3533)Online publication date: May-2021
https://doi.org/10.1109/TII.2020.3007764
Jahandideh IGhassemi FSirjani M(2021)An actor-based framework for asynchronous event-based cyber-physical systemsSoftware and Systems Modeling10.1007/s10270-021-00877-yOnline publication date: 3-Apr-2021
https://doi.org/10.1007/s10270-021-00877-y
Cicirelli FNigro L(2021)Using Deterministic Theatre for Energy Management in Smart EnvironmentsSustainable Intelligent Systems10.1007/978-981-33-4901-8_12(189-214)Online publication date: 7-Mar-2021
https://doi.org/10.1007/978-981-33-4901-8_12
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten