skip to main content
10.1145/3316781.3323469acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
research-article
Open access

Actors Revisited for Time-Critical Systems

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.
[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.
[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.
[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.
[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.
[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.
[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).
[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.
[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.
[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.
[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.
[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.
[18]
Sriram, S., and Bhattacharyya, S. S. Embedded Multiprocessors: Scheduling and Synchronization. Marcel Dekker, Inc. (now Taylor and Francis), 2000.
[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.
[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

View all

Index Terms

  1. Actors Revisited for Time-Critical Systems

    Recommendations

    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
    This work is licensed under a Creative Commons Attribution International 4.0 License.

    Sponsors

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 02 June 2019

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. actors
    2. discrete events
    3. real-time systems

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    DAC '19
    Sponsor:

    Acceptance Rates

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

    Upcoming Conference

    DAC '25
    62nd ACM/IEEE Design Automation Conference
    June 22 - 26, 2025
    San Francisco , CA , USA

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)134
    • Downloads (Last 6 weeks)22
    Reflects downloads up to 24 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media