Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
On priority asignment in fixed priority scheduling
Information Processing Letters
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling
Real-Time Systems - Flexible Scheduling on Real-Time Systems
The Real-Time Specification for Java
The Real-Time Specification for Java
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Improved Response-Time Analysis Calculations
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
New Results on Fixed Priority Aperiodic Servers
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Optimal Task Rate Selection in Fixed Priority Systems
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
The Partitioned Scheduling of Sporadic Tasks According to Static-Priorities
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
Java takes flight: time-portable real-time programming with exotasks
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Reflexes: abstractions for highly responsive systems
Proceedings of the 3rd international conference on Virtual execution environments
Streamflex: high-throughput stream programming in java
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Flexible task graphs: a unified restricted thread programming model for java
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines
IEEE Transactions on Computers
Real time Java on resource-constrained platforms with Fiji VM
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Asynchronous event handling and safety critical Java
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Developing safety critical Java applications with oSCJ/L0
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Static checking of safety critical Java annotations
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
A survey of hard real-time scheduling for multiprocessor systems
ACM Computing Surveys (CSUR)
The Linear Ordering Problem: Exact and Heuristic Methods in Combinatorial Optimization
The Linear Ordering Problem: Exact and Heuristic Methods in Combinatorial Optimization
Multi-task Implementation of Multi-periodic Synchronous Programs
Discrete Event Dynamic Systems
Hard-real-time scheduling of data-dependent tasks in embedded streaming applications
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
IEEE Transactions on Signal Processing
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
ACSD '12 Proceedings of the 2012 12th International Conference on Application of Concurrency to System Design
Robustness Analysis for Scheduling Problems Using the Inverse Method
TIME '12 Proceedings of the 2012 19th International Symposium on Temporal Representation and Reasoning
Managing latency in embedded streaming applications under hard-real-time scheduling
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Safety-critical Java for low-end embedded platforms
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Safety-critical Java on a Java processor
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Buffer minimization in earliest-deadline first scheduling of dataflow graphs
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Design of streaming applications on MPSoCs using abstract clocks
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Buffer minimization in earliest-deadline first scheduling of dataflow graphs
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
| Hi-index | 0.00 |
Safety-critical Java (SCJ) is designed to enable development of applications that are amenable to certification under safety-critical standards. However, its shared-memory concurrency model causes several problems such as data races, deadlocks, and priority inversion. We propose therefore a dataflow design model of SCJ applications in which periodic and aperiodic tasks communicate only through lock-free channels. We provide the necessary tools that compute scheduling parameters of tasks (i.e. periods, phases, priorities, etc) so that uniprocessor/multiprocessor preemptive fixed-priority schedulability is ensured and the throughput is maximized. Furthermore, the resulted schedule together with the computed channel sizes ensure underflow/overflow-free communications. The scheduling approach consists in constructing an abstract affine schedule of the dataflow graph and then concretizing it.