Some Scheduling Experiments With Artie

Dijkstra, 1984, Een methode van programmeren, Academic Service Halang, 1991 Heitmeyer, 1993, Benchmark for comparing different approaches to specifying and verifying real-time systems, IEEE workshop on Real-Time Operating Systems and Software Hesselink, 1994, Formal feasibility conditions for earliest deadline first scheduling. 1990, EPOS Overview, Short Account of the Main Features. GPP Stoyenko, 1993, Extending PEARL for industrial real-time applications, IEEE Software, 10, 65, 10.1109/52.219619 Tol, 1994, Formal proof of a procedure for task-oriented and predictable storage management