Most real-time embedded software is built on programming abstractions that lack precise timing semantics. Our earlier work presented PTIDES, a programming model for distributed real-time software that delivers temporal semantics by exploiting discrete-event model of computation. In this work we introduce work we are doing to develop PtidyOS, a novel lightweight embedded operating system based on PTIDES. In PtidyOS, all event processing is done in interrupt service routines, and we only use interrupts to ensure correct mutually exclusive accesses to memory. Our approach combines PTIDES semantics with traditional scheduling methods. The first implementation leverages EDF scheduling scheme and guarantees correct event order defined by PTIDES. This is achieved without requiring totally ordered event processing. We describe a preliminary implementation on an ARM based microcontroller. 1
[1]
Edward A. Lee,et al.
A Programming Model for Time-Synchronized Distributed Real-Time Systems
,
2007,
13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).
[2]
Edward A. Lee,et al.
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
,
2007,
ICESS.
[3]
R. M. Fujimoto,et al.
Parallel discrete event simulation
,
1989,
WSC '89.
[4]
Edward A. Lee,et al.
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
,
2009,
2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.