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