141
GRIGG, A.; AUDSLEY, N. C.
Towards a scheduling and timing analysis solution
for integrated modular avionics systems
. Microprocessors and Microsystems 22,
1999.
HERLIHY, M. P.; LISKOV, B.
A Value Transmission Method for Abstract Data
Types.
ACM Transactions on Programming Languages and Systems, Vol.4, No.4, oct.
1982.
HUMPHREY, M.; STANKOVIC, J. A.
CAISARTS: A Tool for Teal-Time
Scheduling Assistance
. In Proceedings RTAS 96, 1996.
INTEL. MultiProcessor Specification. Version 1.4, 1997.
KNUTH, D. E.
The Art of Computer Programming. Vol 2, 3rd ed. Boston:
Addison-Wesley. 1998. Seção 3.4.1, p. 133.
LARSON, J. Schedulite: A Fixed Priority Shceduling Analysis Tool. MsC Thesis,
ASTEC-RT, Universidade de Upsala, Suécia, 1996.
LEHOCZKY, J. P.; SHA, L.; DING, Y.
The Rate Monotonic Scheduling
Algorithm: Exact Characterization and Average Case Behavior
. Tech. Repost,
Department of Statistics, Carnegie-Mellon University, Pittsburgh, Pa., 1987.
LEUNG, J. L.; WHITEHEAD, J.
On the Complexity of Fixed-Priority Scheduling
of Periodic, Real-Time Tasks
. Performance Evaluation Vol. 2, No. 1, dez. 1982.
LIU, C. L.; LAYLAND, J. W.
Scheduling algorithms for multiprogramming in a
hard real-time environment
. Journal of the ACM 20, n. 1, p. 46–61, 1973.
LOCKE, C. D.
Software architecture for hard real-time applications: Cyclic
executives vs. fixed priority executives
. Journal of ACM 20, 1, 46-61, 1992.
MORON, C. E.; RIBEIRO, J. R. P.; SILVA, N. C. da.
A Teaching Environment for
Development of Parallel Real-Time Programs
. 28th Annual FIE'98, 1998.
RTCA.
Software Considerations in Airborne Systems and Equipment
Certification
. RTCA Inc. Special Committee 167 Documento No. RTCA/DO-178B,
1992.
SINGHOFF, F.; LEGRAND, J.; NANA, L.; MARCÉ, L.
Cheddar: a Flexible Real
Time Scheduling Framework
. SIGAda'04, Atlanta, Georgia, USA, 2004.
SPRUNT, B.; SHA, L.; LEHOCZKY, J. P.
Aperiodic task scheduling for hard real-
time systems
. Journal of Real-Time Systems 1, jul. 1989.