Bibliografia para los docentes
[Ade94] ADELBERG, B.; GARCIA-MOLINA, H.; KAO, B. "Emulating soft real-time
scheduling using traditional operating system schedulers". Technical Report, Stanford
University. 1994.
[Ast84] ÄSTRON, K.; WITTENMARK, B. "Computer Controlled Systems: theory and
design". Prentice-Hall Inc., Englewood Cliffs. 1984.
[Aue86] AUERNHEIMER, S.; KEMMERER, R.; VOLZ, R.; MUDGE, T. "RT-ASLAN: a
specification language for real-time systems". IEEE Transactions on Software Engineering.
Septiembre 1986. pp. 879-89.
[Bak86] BAKER, T., SCALLON, G. "An Architecture for Real-Time Software Systems".
IEEE Software, May 1986, pp. 50-58.
[Bam89] BAMBERGER, J. et al. "A distributed Ada Real-Time kernel. Version 2".
Technical report CMU/SEI-88-TR-17. Software Engineering Institute. Carnegie-Mellon
University. April 1989.
[BeC91] BENTO DE CARVALHO, M. "STER: Proyecto de desarrollo de software en
tiempo real". Laboratorio de Desarrollo de Software de la V EBAI (Escuela Brasileño-
Argentina de Informática). 1991.
[Ben88] BENNETT, S. "Real-Time Computer Control: an Introduction". Prentice-Hall
International. 1988.
[Bih92] BIHARI, T.; GOPINATH, P. "Object-oriented real-time systems: concepts and
examples". IEEE Computer. December 1992. pp. 25-32.
[Bla91] BLAKE, B.; SCHWAN, K. "Experimental evaluation of a real-time scheduler for
a multiprocessor system." IEEE Transactions on Software Engineering. Vol 17, No. 1.
January 1991. pp. 34-91.
[Bog91] BOGNI, C.; MARRONE, L. "Arquitectura de Computadoras". Editorial de la V
EBAI. 1991.
[Bor88] BORIA, J. "Construcción de Sistemas Operativos. Un curso práctico". IV EBAI
(Escuela Brasileño-Argentina de Informática). Ed. Kapelusz. 1988.
[Boz92] BOZZUTO, A. "Controladores lógicos programables". AADECA (Asociación
Argentina de Control Automático). 1992.
[Buc95] BUCCI, G; CAMPANAI, M.; NEZZI, P. "Tools for specifying real-time systems".
Journal of Real-Time systems. Vol. 8, (2/3), March/May 1995. pp. 117-172.
[Bur89] BURR BROWN corporation. "The Handbook of Personal Computer
Instrumentation". 4th. Edition. 1989.
[Car84] CARLOW, C. "Architecture of the Space Shuttle primary avionics software
system". CACM, September 1984, pp 926-936.
[Che79] CHERITON, D. et al. "Thoth, a portable real-time operating system".
Communications of the ACM. February 1979. pp. 105-115.
[Che88] CHENG, S; STANKOVIC, J.; RAMAMRITHAM, K. "Scheduling Algorithms
for Real-time systems: a brief survey". En "Real-Time Systems", IEEE Press, 1993. pp.
150-173.
[Cou87] COULAS, M. et al. "RNet: a hard Real-Time distributed programming system".
IEEE Transactions on Computer Systems. Agosto 1987.
[Cyp93] CYPHER, R.; SANZ, J. "Advances in Massively Parallel Computing". Springer-
Verlag. New York. 1994.
[Das83] DASARATHY, B. "Timing Constraints of Real-Time systems: constructs for
expressing them, methods of validating them". IEEE Transactions on Software Engineering.
Enero 1985. pp 80-86.
[Dav92] DAVARI, S.; SHA, L. "Sources of Unbounded priority inversions in Real-Time
systems and a comparative study of possible solutions". ACM Operating Systems Review,
Octubre 1992. pp. 110-120.
[DAz66] D'AZZO, J.; HOUPIS, C. "Feedback control system analysis and sinthesis". 2nd.
edition. Mc.Graw-Hill Book Company Inc, New York. 1966.
[DeG91] DE GIUSTI, A. "Descripción y validación de Hardware. Aplicaciones de
Tiempo Real". V EBAI (Escuela Brasileño - Argentina de informática). 1991.
[Dei93] DEITEL, H. "Introducción a los Sistemas Operativos". Segunda edición. Addison-
Wesley Iberoamericana. 1993.
[Dei95] DEITEL, H.; DEITEL, P. "Cómo programar en C/C++. Segunda edición".
Prentice-Hall Iberoamericana. 1995.
[Den66] DENNIS, J.B.; VAN HORN, P.G. "Programming Semantics for Mutiprogrammed
Computations". CACM, vol 9. pp 143-155. Marzo de 1966.
[Deu88] DEUTSCH, M. "Focusing Real-Time systems analysis on User Operations". IEEE
Software. Septiembre 1988.
[Dij65a] DIJKSTRA, E.W. "Cooperating Sequential Processes". Tehcnical Report EWD-
123. Technological University, Eindhoven. 1965.
[Dij65b] DIJKSTRA, E.W. "Solution of a problem in concurrent programming control".
Communications of the ACM. Marzo 1965.
[Dij68a] DIJKSTRA, E.W. "Go to statement considered harmful". Communications of the
ACM. Marzo 1968.
[Dij68b] DIJKSTRA, E. "The structure of 'THE'-Multiprogramming System".
Communications of the ACM, Volumen 11, No. 5., pp. 341-346. 1968.
[DOD83] US Department of Defense. "The Ada programming language". US Government
printing office, Washington, DC. 1983.
[Don87] DONOHUE, P. "A survey of Real-Time performance Benchmarks for the Ada
Programming Language". Technical Report CMU/SEI-87-TR-28. 1987.
[Dor89] DORF, R. "Sistemas modernos de control". Segunda edición. Addison-Wesley
Iberoamericana. 1989.
[Fau88] FAULK, P. "On synchronization in hard real-time systems". Communications of
the ACM, Vol. 31, No. 3. Marzo 1988.
[Fer91] FERREIRA, E. "Robótica básica". V EBAI. 1991.
[Fer93] FERNANDEZ, J. "A taxonomy of coordination mechanisms used in real-time
software based on domain analysis", Tech. Rep. CMU/SEI-93-TR-34. Carnegie Mellon
University.
[Fer94] FERRARI, A. "Real-Time Scheduling Algorithms". Dr. Dobb's Journal.
Diciembre 1994. pp. 60-66.
[For88] FORD, R. "Concurrent algorithms for Real-Time memory management". IEEE
Software. Septiembre 1988. pp. 10-23.
[Fra91] FRANKLIN, G.; POWELL, D.; EMAMI-NAEINI, A. "Control de sistemas
dinámicos con retroalimentación". Addison-Wesley Iberoamericana. 1991.
[Fra94] FRASER, M, KUMAR, K.; VAISHNAVI, V. "Strategies for incorporating formal
specifications in Software Development". Communications of the ACM, Vol 37, No. 10.
Octubre 1994. pp 74-85.
[Gan79] GANE, C.; SARSON, T. "Structured Systems Analysis: tools and techniques".
Prentice-Hall, Englewood Cliffs, N.J., 1979.
[Gie95] GIELEN, F. "Rolling out object oriented technology". AT&T Technical Report.
AT&T Bell Labs. 1995.
[Gil91] GILES, W. "Assembly Language Programming for the Intel 80XXX family".
Maxwell Macmillan International Editions. 1991.
[Gom84] GOMAA, H. "A Software design method for real-time systems". CACM,
September 1984, pp. 938-949.
[Gom86] GOMAA, H. "Software development of Real-Time Systems". Communications
of the ACM, July 1986, pp. 657-668.
[Gon77] GONZALEZ, M.J. "Deterministic processor scheduling". Computing surveys. Vol
9, No. 3. 1977.
[Gra61] GRABBE, E. et al (Editors). "Handbook of automation, computation and control".
J. Wiley & Sons, Inc. 1961.
[Gra91] GRAHAM, M. "Issues in Real-Time data management". Technical report
CMU/SEI-91-TR-17. Software Engineering Institute. Carnegie-Mellon University. July
1991.
[Haa81] HAASE, V. "Real-time behavior of programs". IEEE Transactions on Computer
Systems. Septiembre 1981. pp 494-501.
[Han73] HANSEN, P.B. "Operating systems principles". Prentice-Hall. 1973.
[Han75] HANSEN, P.B. "The programming language Concurrent Pascal". IEEE
Transactions on Software Engineering. Junio 1975. pp. 199-207.
[HAS95] HASSAN, H.; CRESPO, A. "Scheduling intelligent tasks with optional parts in
RT environments". Proceedings of the 3rd. IFAC/IFIP Workshop of Algorithms and
Architectures for Real-Time Control. (5) 1995.
[Has95] HASSAPIS, G.; PAPADOPOULOS, J. "Support software for the development of
programmable logic controller applications". Journal of Real-Time systems. Vol. 9, No. 2.
Septiembre 1995. pp. 173-193.
[Hoa78] HOARE, C.A.R. "Communicating Sequential Processes". CACM. Vol 21, No. 8.
pp. 666-667. 1978.
[Hou84] HOUPIS, J.; LAMONT, P. "Digital Control Systems". Mc.Graw-Hill Engineering
series. 1984.
[Hou90] HOUSTIS. "Module allocation of real-time applications to distributed systems".
IEEE transactions on Software Engineering. Julio 1990.
[Hwa84] HWANG, K.; BRIGGS, F. "Computer architecture and parallel processing". Mc.
Graw-Hill. 1984.
[Jac75] JACKSON, A., SIMPSON, H. "MASCOT - A modular approach to software
construction, operation and test". RRE Tech. Note, No. 78. 1975.
[Jac75b] JACKSON, M. "Principles of program design". Academic Press, New York.
1977.
[Jah86] JAHANIAN, F.; MOK, A. "Safety analysis of timing properties in Real-Time
systems", IEEE Transactions on Software Engineering. September 1986. pp 890-904.
[Joh88] JOHNSON, S.; KERNIGHAN, B. "The C language and models for systems
programming". BYTE. Vol 8, No. 8. October 1988. pp. 64-75.
[Jou86] JOURDAIN, R. "Programmer's Problem solver for the IBM PC, XT and AT".
Brady Communications Company. 1986.
[Ken91] KENNY, K., LIN, K. "Building flexible Real-Time Systems using the Flex
language". IEEE Computer. May 1991. pp 70-78.
[Ker79] KERMANI, P.; KLEINROCK, L. "Virtual cut-through: a new computer
communication switching technique". Computer networks, Vol. 3, 1979. pp. 267-286.
[Ker81] KERNIGHAN, B. "Why Pascal is not my favorite language". Computing Science
Technical Report No. 100. Murray Hill, NJ. Bell Laboratories. 1981.
[Ker85] KERNIGHAN, B.; RITCHIE, D. "El lenguaje de programación C". Prentice-Hall
Hispanoamericana S.A., 1985.
[Kim95] KIM, K. "Challenges in integration of major design techniques for resl-time fault-
tolerant computer systems". Invited paper of the 6th. Symposium on Fault Tolerant
Computers, Canela RS (Brazil). 1995.
[Kle85] KLEINROCK, L. "Distributed Systems". Communications of the ACM.
November, 1985. pp. 1200-1213.
[Kle90] KLEIN, M., RALYA, T. "An analysis of Input/Output Paradigms for Real-Time
systems". Technical report CMU/SEI-90-TR-19. Software Engineering Institute. Carnegie-
Mellon University.
[Kle94] KLEIN, M.; LEHOCZKY, J.; RAJKUMAR, R. "Rate Monotonic Analysis for
Real-Time Industrial Computing". IEEE COMPUTER, January 1994. pp. 24-33.
[Kli86] KLIGERMAN, E.; STOYENKO, A. "Real-Time Euclid: A Language for Reliable
Real-Time Systems". IEEE Transactions on Software Engineering. Septiembre 1986. pp.
941-949.
[Kop87] KOPETZ, H.; OCHSENREITER, W. "Clock syncronization in Distributed Real-
Time systems". IEEE Transactions on Computer Systems. Agosto 1987. pp. 933-940.
[Kop89] KOPETZ, H, et al. "Distributed Fault Tolerant Real-Time systems: the MARS
approach". IEEE Computer. Frebuary, 1989. pp. 25-40.
[Kri91] KRISHNA, C.; LEE, Y. "Guest editor's introduction: Real-Time systems". IEEE
Computer. Mayo 1991. pp. 10-11.
[Kuo62] KUO, B. "Automatic control systems". Prentice-Hall Inc., Englewood Cliffs.
1962.
[Kuo63] KUO, B. "Analysis and Synthesis of Sampled-Data control systems". Prentice-
Hall Inc., Englewood Cliffs, 1963.
[Kur84] KUROSE, J.; SCHWARTZ, M.; YEMINI, Y. "Multiple-acess protocols and time-
constrained communication". Computing Surveys. Marzo 1994. pp. 43-70.
[Lai87] LAI, R. "Writing MS-DOS Device Drivers". Addisson-Wesley Publishing
Company. 1987.
[Lam84] LAMPORT, L. "Using time instead of timeout for fault-tolerant distributed
systems". ACM Transactions on Programming Languages and Systems. April 1984. pp
254-280.
[Lap93] LAPLANTE, P. "Real-Time systems. Design and analysis. An engineer's
handbook". IEEE Press. 1993.
[Lap95a] LAPLANTE, P. "Special Issue: history of Real Time Systems. Guest Editor
Introduction". Journal of Real-Time systems. Vol. 8, (2/3), March/May 1995. pp. 113-115.
[Lap95b] LAPLANTE, P.; ROSE, E.; GRACIA-WATSON, M. "An historical survey of
early Real-Time computing development in the U.S.". Journal of Real-Time systems. Vol.
8, (2/3), March/May 1995. pp. 199-213.
[Leh86] LEHOCZKY, J.; SHA, L. "Performance of real-time bus scheduling algoritms".
Performance 86. pp. 44-53. 1986.
[Leh89] LEHOCZKY, J.P.; SHA, L.; DING, Y. "The Rate Monotonic Scheduling algorithm
- exact characterization and average case behavior". Proceedings IEEE Real-Time Systems
Symposium. CS Press, Los Alamitos, Calif. pp. 166-171. 1986.
[Leh90] LEHOCZKY, J.P. et al. "Fixed Priority Scheduling of Periodic Task Sets with
Arbitrary Deadlines". Procedings of the IEEE Real-Time Systems Symposium. CS Press.
1990.
[Lei] LEINBAUGH, D; YAMINI, M. Guaranteed Response Times in a Distributed Hard
Real-Time environment.
[Lev87] LEVESON, N., STOLZY, J. "Safety analysis using Petri Nets". IEEE Transactions
on Software Engineering. March 1987, pp. 386-397.
[Lie86] LIESTMAN, A.; CAMPBELL, R. "A Fault-Tolerant Scheduling Problem". IEEE
Transactions on Software Engineering. November 1986.
[Liu73] LIU, C.; LAYLAND, J. "Scheduling algorithms for multiprogramming in a Hard
Real Time System Environment". Journal of the ACM, Vol. 20, No. 1, 1973, pp 46-61.
[Liu91] LIU, W.S. et al. "Algorithms for scheduling imprecise computations". IEEE
Computer. May 1991. pp. 58-68.
[Lon89] LONG, J.; WOOD, W.; WOOD, D. "Classifying software design methods".
Technical Report CMU/SEI-89-TR-25. August 1989.
[Luq88] LUQI; BERZINS, V. "Rapidly prototyping Real-Time systems". IEEE Software.
September 1988.
[Mad74] MADNICK; DONOVAN. "Operating systems". Mc. Graw-Hill. 1974.
[Mal88] MALDONADO, A. "Redes de computadoras y procesamiento distribuído". III
Escuela de Ciencias Informáticas (Facultad de Ciencias Exactas y Naturales - Universidad
de Buenos Aires). 1988.
[Mar95] MARTINEAU, P.; SILLY, M. "On-line scheduling algorithms for overloaded
Real-Time Systems". Proceedings of the 3rd. IFAC/IFIP Workshop of Algorithms and
Architectures for Real-Time Control. (5) 1995. pp. 253-257.
[Mas87] MASCOT. "The official handbook of MASCOT, version 3.1". Computing
division, RSRE, Malvern. 1987.
[Mer92] MERCER, C. "An introduction to real-time operating systems: scheduling
theory". Technical Report. Carnegie Mellon University. 1992.
[Mil88] MILENKOVIC, M. "Sistemas operativos: concepto y diseño". Mc. Graw-Hill.
1988.
[Mil92] MILLER, F. "The performance of a Mixed Priority Real-Time scheduling
algorithm". ACM Operating Systems Review. Vol. 26, No. 4. pp. 5-13.
[Mok83] MOK, A. "Fundamental design problems of distributed systems for the hard-real-
time environment". Ph.D thesis. MIT. Cambridge, Mass. May 1983.
[Moo95] MOORE, K.; BRENNAN, J. "Petri Nets and Simulation: a tutorial". Proceedings
of the SCSC'95. pp. 44-50. 1995.
[Mor95] MORON, C. "A real-time fault-tolerant scheduler". Anais del VI SCTF,
Simpósio de computadores tolerantes a falhas. Canela, Brasil. 1995. pp. 313-331.
[Mun73] MUNIER, N. "Técnicas modernas para el planeamiento y control de
producción". Editorial Astrea. 1973.
[Mun94] MUNAKATA, T.; JANI, Y. "Fuzzy systems: an overview". Communications of
the ACM. Marzo de 1994. pp. 69-76.
[Mup91] MUPPALA, J.; WOOLET, S.; TRIVEDI, K. "Real-Time Systems performance in
the presence of Failures". IEEE Computer. Mayo de 1991. pp. 37-47.
[Mye78] MYERS, G.J. "Composite Structured Design". Van Nostrand Reinhold. 1978.
[Nat92] NATARAJAN, S.; ZHAO, W. "Issues in building dynamic real-time systems".
IEEE Software. September 1992.
[Nor87] NORTON, P. "Guía del programador para el IBM PC". Anaya Multimedia. 1987.
[Ons87] ONSPEC Control Software. "The Onspec Package Training Manual". 1987.
[Orr77] ORR, K.T. "Structured systems Development". Yourdon Press, New York. 1977.
[Par72] PARNAS, D. L. "On the criteria to be used in descomposing systems into
modules". Communications of the ACM. Diciembre 1972. pp. 1053-1058.
[Pre92] PRESS, W.; TEUKOLSKY, S.; VETTERING, W.; FLANNERY, B. "Numerical
Recipes in C". 2nd. Edition. Cambridge University Press. 1992.
[Pol89] POLUNSKY, R., DONEGAN, M. "SDS-XP. Extended performance Modula-2
Software development system". Interface technologies. 1989.
[QNX89a] QNX. "C Compiler Reference Guide, version 2.1". Quantum Software System
ltd. 1989.
[QNX89b] QNX. "QNX Reference Guide, version 2.1". Quantum Software System ltd.
1989.
[QNX89c] QNX. "QNX Technical Notes, version 2.1". Quantum Software System ltd. 1989.
[Ram94] RAMAMRITHAM, K.; STANKOVIC, J. "Scheduling algorithms and operating