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.
| Original language | English |
|---|---|
| Title of host publication | 2019 56th ACM/IEEE Design Automation Conference (DAC) |
| Publisher | Institute of Electrical and Electronics Engineers |
| Number of pages | 4 |
| ISBN (Electronic) | 978-1-4503-6725-7 |
| ISBN (Print) | 978-1-7281-2426-1 |
| Publication status | Published - 1 Jun 2019 |
| Event | 2019 56th ACM/IEEE Design Automation Conference (DAC) - Las Vegas, United States Duration: 2 Jun 2019 → 6 Jun 2019 Conference number: 56 |
Publication series
| Name | Proceedings of the 2019 56th ACM/EDAC/IEEE Design Automation Conference (DAC |
|---|---|
| Publisher | IEEE |
| ISSN (Print) | 0738-100X |
Conference
| Conference | 2019 56th ACM/IEEE Design Automation Conference (DAC) |
|---|---|
| Abbreviated title | DAC 2019 |
| Country/Territory | United States |
| City | Las Vegas |
| Period | 2/06/19 → 6/06/19 |
Keywords / Materials (for Non-textual outputs)
- actors
- real-time systems
- discrete events