Category : Miscellaneous Language Source Code
Archive   : ADA-RTIM.ZIP
Filename : REALTIME.HLP

 
Output of file : REALTIME.HLP contained in archive : ADA-RTIM.ZIP
PUBLICATIONS ON Ada REAL-TIME
Form S63-0391
REALTIME.HLP

Ada Information Clearinghouse, 1-800-AdaIC-11, 1-703-685-1477

Report of a product, service, or event is for informational purposes, and does
not constitute an endorsement by the Ada Joint Program Office (AJPO) or by the
Ada Information Clearinghouse (AdaIC).

The following is a list of some of the documents that have been published that
relate to Ada and real-time issues. The list has been divided into three
sections. The citations listed in the first section have been alphabetized by
the authors' last names; however, the authors' names were not available for
all citations, and those citations have been alphabetized by title and are
listed in section two. Section three is a list of the publishers or vendors,
that were listed frequently, from which many of the documents or articles can
be obtained.

Every effort has been made to make each citation as complete as possible so
that you will have adequate information to acquire the document or article
from a library or vendor. However, if you are not able to locate an article
because this information is no longer current, please let us know so that we
can update this list. Also if you know of a book that is not on this list,
but you think should be, please let us know so that we can ensure that our
list is as complete as possible.


ALPHABETICAL LIST (BY AUTHOR)

Abel, R.J., et al.,"RAP: a real-time Ada protocol for tactical applications,"
pp 53-69 Vol. 1. In MILCOM '89 Bridging the Gap. Interoperability,
Survivability, Security, Conference Record IEEE Military Communications
Conference, October 15-18, 1989, Boston, MA. Published by IEEE, New York, NY.
(Available from IEEE Service Center: Cat. No. 89CH2681-5)

Alpuente, M. et al., "Object-oriented programming in real-time systems,"
Automatica e Instrumentation, Vol. 22, No. 181, June 1988, pp. 261-6.
(Published in Spain; ISSN: 0213-3113)

Andrews, W., "Industry quartet plays real-time Ada on Sparc," Computer Design,
Vol. 28, No. 9, May 1, 1989, pp. 62-4.

Asplund, L., et al., "Real-time Ada compilers for the 68020," Ada Letters,
Vol. 9, No. 7, Winter 1989, pp. 102-13.

Baker, T., "Fixing some time-related problems in Ada," Ada Letters, Vol. 10,
No. 4, Spring 1990, pp. 136-43.

Baker, T., "Opening up Ada tasking," Ada User, Vol. 11, No. 4, 1990, pp.
165-9, (United Kingdom Publication, ISSN: 0268-652X)

Baker, T.P., Issues Involved in Developing Ada Real-Time Systems, Florida
State Univ., Dept. of Computer Science, 1989) (Available from NTIS: No.
AD-A223 156/1/XAB)

Baker, T.P. and K. Jeffay, "Corset and lace: adapting "Ada's runtime support
to real-time systems," pp. 158-167. In Proceedings -Real-Time Systems
Symposium, December 1-3, 1987, San Jose, CA. Published by IEEE, New York, NY.
(Available from IEEE Service Center: Cat. No. 87CH2475-2)

Baker, T.P. and A. Shaw, "The Cyclic executive model and Ada," pp. 120-9. In
Proceedings Real-Time Systems Symposium, Dec 6-8, 1988, Huntsville, AL.
Published by IEEE Computer Society Press, Washington, D.C. (Available from
IEEE Service Center: Cat. No. 88CH2618-7)

Baldassari, M. and G. Bruno, "An environment for operational software
engineering in Ada," pp. 126-46. In TRI-Ada '89 Proceedings, October 23-26,
1989, Pittsburgh, PA. Published by ACM, New York, NY.

Bamberger, J. et al., DARK (Distributed Ada Real-Time Kernel) and Extension
Guide Kernel Version 3.0 (Final Report No. CMU/SEI-89-TR-40; ESD-TR-89-51),
Carnegie-Mellon Univ., Software Engineering Inst., Pittsburgh, PA, December
1989. (Available from NTIS: No. AD-A219 291/X/XAB)

Bamberger, J., and R. Van Scoy, "Distributed Ada real-time kernel, pp.
1510-16(vol. 4). In Proceedings of the IEEE 1988 National Aerospace and
Electronics Conference: NAECON 1988, 23-27 May 1988, Dayton, OH. Published by
IEE, New York, NY. (Available from IEEE Catalog Service Center: Cat. No.
88CH2596-5; also from NTIS: No. AD-A199 482/1/XAB)

Bamberger, J. et al., Kernel Facilities Definition, (Technical Report No.
CMU/SEI-88-TR-16; ESD-TR-18-17), Carnegie-Mellon Univ., Software Engineering
Inst., Pittsburgh, PA, July 1988. (Available from NTIS: No. AD-A198 933/4/XAB)

Bamberger, J., et al., Kernel Users Manual Version 1.0, (Final Report No.
CMU/SEI-89-UG-1; ESD-TR-89-15) Carnegie-Mellon Univ., Software Engineering
Ins. Pittsburgh, PA, February 1989. (Available from NTIS: No. AD-A207
414/4/XAB)

Bamberger, J., Version Description and Installation Guide Kernel Version 3.0
(Final Report No. CMU/SEI-89-RT-20; ESD-TR-89-28) Carnegie-Mellon Univ.,
Software Engineering Inst., Pittsburgh, PA, December 1989, (Available from
NTIS; No. AD-A219 292/0/XAB)

Bavier, R.J., and L. Murray, "Beyond Ada validation," pp. 140-4. In
Proceedings of Sixth National Conference on Ada Technology, March 14-18, 1988,
Washington, D.C. Published by U.S. Dept. Commerce, Springfield, VA.

Ben-Ari, M., "Signaling from within interrupt handlers," Ada Letters, Vol. 10
No. 1, Jan-Feb 1990, pp. 100-3.

Ben-Ari, M., "Ada requirements for small real-time systems," Ada Letters, Vol.
10, No. 4, Spring 1990, pp. 159-165.

Borawitz, W.C., KIBOWI: A Training Wargame for the Royal Netherlands Army,
(Technical Report No. FEL-89-A281; TDCK 89-3880), Physics and Electronics Lab.
RVO-TNO, The Hague, The Netherlands, December 1989. (Available in English from
NTIS: No. AD-A225 061/1/XAB)

Borger, M.W. and R. Rajkumar, Implementing Priority Inheritance Algorithms in
an Ada Runtime System, (Final Report No. CMU/SEI-89-TR-15; ESD-TR-89-23),
Carnegie-Mellon Univ., Software engineering Inst., Pittsburgh, PA. (Available
from NTIS: No. AD-A209 607/1/XAB)

Borger, M.W., et al., "Real-time software engineering in Ada: observations and
recommendations," pp. 554-69. In Tri-Ada '89 Proceedings, October 23-26, 1989,
Pittsburgh, PA. Published by ACM, NY, NY. (Available from NTIS: AD-A219
020/5/XAB)

Borger, M., et al., "A testbed for investigating real-time Ada issues," Ada
Letters, Vol. 8, No. 7, Fall 1988, pp. 7-11.

Borger, M.W., VAXELN Experimentation: Programming a Real-Time Clock and
Interrupt Handling Using VAXELN Ada 1.1, Carnegie-Mellon Univ., Software
Engineering Institute, Pittsburgh, PA, 1987.

Borger, M.W., VAXELN Experimentation: Programming a Real-Time Periodic Task
Dispatcher Using VAXELN Ada 1.1, Carnegie-Mellon University, Pittsburgh, PA,
Nov 1987.

Boudarel, R., and E. Riguidel, "The MAC-ADAM method (object-oriented)," pp.
219-21. In CGL 4: 4th Conference-Exhibition Software Engineering, October
18-21, 1988, Paris, France. Published by AFCET, Paris, France. (French
Language Publication)

Bowen, D., "Real-time design tools and kernels," pp. 1-14. In IEE Vacation
School on Software Engineering for Electronic System Designers', April 2-7,
1989, Southampton, UK. Published by IEE, London, UK.

Brosgol, B.M., "EDN designers' guide to real-time Ada. 1. Ada's fundamental
language structures build reliable systems," EDN, Vol. 35, No. 18, September
3, 1990, pp. 153-162, 164, 166.

Brosgol, B.M., "EDN designers' guide to real-time Ada. 2. Interrupt and
low-level features link Ada code to your hardware," EDN, Vol. 35, No. 19,
September 17, 1990, pp. 151-8.

Brosgol, B.M., "EDN designers' guide to real-time Ada. 3. Ada runtime
environments demand close scrutiny," EDN, Vol. 35, No. 20, October 1, 1990,
pp. 101-8, 110, 112.

Brosgol, B.M., "Using Ada on the MC68020/VRTX system," pp 6.1.1-6 1.7, in
Conference Record - Electro 1987, April 7-9, 1987, NY, NY. Published by
Electronic Conventions Management, Los Angeles, CA.

Brosgol, B.M., "Ada's fundamental language structures build reliable systems,"
EDN, Vol. 35, No. 18, September 3, 1990, pp. 153(11).

Burch, S., "Bare machine Ada solves real-time problems," Computer Design, Vol.
27, No. 5, March 1, 1988, pp. 55(12).

Burns, A. and T.J. Quiggle, "Effective use of abort in programming mode
changes," Ada Letters, Vol. 10, No. 6, July-August 1990, pp. 61-7.

Burns, A. and A. Wellings, Real-Time Systems and Their Programming Languages,
1990.

Burns, A. and A.J. Wellings, "Dynamic change management and Ada," Journal of
Software Maintenance: Research and Practice, Vol. 1, No. 2, December 1989, pp.
121-31. (Published in the United Kingdom; ISSN: 1040-550X)

Burns, A. and A.J. Wellings, "Ada--the reasons for change." pp 70-4. In Second
International Conference on Software Engineering for Real Time Systems,
September 18-20, 1989, Cirencester, UK. London, England. Published by IEE
Michael Farraday House, Stevenage, England. (ISSN: 0537-9987)

Burns, A. and A.J. Wellings, "Use of Ada in hard real-time systems: scheduling
requirements and language features," pp. 115-124, Vol. 10, No. 1. In
Proceedings of the Eleventh Australian Computer Science Conference, ACSC-11.
Australian Computer Science Communications, February 3-5, 1988, St. Lucia,
Australia. Published by University of Queensland, St Lucia, Australia and
Griffith University, Nathan Australia.

Carretero Perez, J., and B. Villalobos Cardenas, "Real-time systems in Ada:
design methodologies," Novatica Vol. 15, No. 82, pp. 41-50. (Spanish Language
Publication)

Cerrada, J.A., et al., "A Comparative study of some programming languages in
real-time applications," pp. 7-10. In Proceedings of the IASTED International
Symposium Computer Applications in Industry, February 1-3, 1988, Cairo, Egypt.
Published by ACTA Press, Anaheim, CA. (ISBN: 0 88986 095 5)

Chandler, S., "Time-critical embedded Ada applications," New Electronics, Vol.
21, No. 2, February 1988, pp.69-70-72.

Christensen, E.B., "A portable symbolic debugger for debugging real-time Ada
applications," pp. 70-5. In Proceedings of Sixth National Conference on Ada
Technology, March 14-18, 1988, Washington, D.C., Published by U.S. Dept.
Commerce, Springfield, VA. (Available from NTIS: No. AD A-190936)

Christensen, E.B., "Debugging Ada programs in embedded systems," pp. 367-73.
In Conference Proceedings - MILCOMP ' 88: Military Computers, Graphics and
Software, September 27-29, 1988, London, UK. Published by Microwave
Exhibitions & Publishers, Turnbridge Wells, UK. (ISBN: 0-946821-461)

Christensen, E.B., "Tools for developing real-time embedded systems in
Ada-needs, portability and efficiency,"pp. 20/1-4. In Software Engineering
and its Application to Avionics, April 25-29, 1988, Cesme, Turkey. Published
by AGARD, Neuilly sur Seine, France. (English language publication)

Clapp, R.M. and T. Mudge, "The time problem (Ada)," Ada Letters, Vol. 10, No.
3, Winter 1990, pp. 20-8.

Clark, R.G., "The design and development of Ada real-time embedded systems,"
In Specification and Verification of Concurrent Systems, Proceedings BCW-FACS
Workshop (TR45) July 6-8, 1988, Stirling, UK. Published by Univ. Stirling,
Stirling, UK.

Davis, R.E., "The selection of an Ada compiler for real-time embedded avionics
application," pp. 602-9. In TRI-Ada '89 Proceedings, October 23-26, 1989,
Pittsburgh, PA. Published by ACM, New York, NY.

Desch, D.A. and J.J. Hvizd, "Ada real-time GPS/INS simulation approach to
system development," pp. 253-7.In Proceedings of ION GPS-89, Second
International Technical Meeting of the Satellite Division of the Institute of
Navigation, September 27-29, 1989, Colorado Springs, CO. Published by Inst.
Navigation, Washington, D.C.

Di Maio, D., "A Monoprogramming approach to host-based systems," pp. 296-302.
In Proceedings of SixthNational Conference on Ada Technology, March 14-18,
Washington, D.C. Published by U.S. Dept Commerce, Springfield, VA. (Available
from NTIS: No. AD-A190936)

Dobbing, B., "Ada and real-time systems," EXE, Vol. 2, No. 8, February 1988,
pp. 47-52. (Published in theUnited Kingdom; ISSN: 0268-6872)

Donohoe, P. A Survey of Real-Time Performance Benchmarks for the Ada
Programming Language, Carnegie-Mellon University, Software Engineering
Institute, Pittsburgh, PA, 1987.

Dowling, E.J., "Testing distributed Ada programs," pp. 517-27. In TRI-Ada '89
Proceedings, October 23-26, 1989, Pittsburgh, PA. Published by ACM, New York,
NY.

Doyle, S.J., et al., "Ada run-time environments and cross-development," pp.
6.2. 1-6 2.3. In Conference Record- Electro 1987, April 4-7, 1987, New York,
NY. Published by Electronic Conventions Management, Los Angeles, CA.

Elrad, T. and F. Maymir-Ducharme, "Race control for the validation and
verification of Ada multitaskingprograms," pp. 289-295. In Proceedings of the
Sixth National Conference on Ada Technology, March 14-18, 1988, Washington,
D.C. Published by U.S. Dept. Commerce, Springfield, VA. (Available from NTIS:
No. ADA 190936)

Fages, F., "Rule-based extension of programming languages: a proposal to
integrate expert systems into applications at the target language level," pp.
289-295, Vol. 2. In 8th International Workshop. Expert Systems and their
Applications, May 30-June 3, 1988, Avignon, France. Published by EC2 (1989),
Nanterre, France. (English Language)

Falk, H., "Ada tools mature, but users debate language standards," Computer
Design, Vol. 28, No. 9, May 1, 1989, pp. 77-8, 80-2.

Falk, H., "Developers target UNIX and Ada with real-time Kernels," Computer
Design, Vol. 27, No. 7, April1, 1988, pp. 55-8, 60-1, 64-6, 68-70.

Falk, H., "Revisions and additions thrust Ada into real time," Computer
Design, Vol. 27, No. 21, November 15, 1988, pp. 26(8).

Feycock, S. and W. R. Collins, "Ada and multi-microprocessor real-time
simulation," pp. 211-228. In Recordof Proceedings - 16th Annual Simulation
Symposium, Mar 16-18, Tampa, FL. Published by IEEE Computer Society, Los
Alamitos, CA.

Ford, R., "Concurrent algorithms for real-time memory management," IEEE
Software, Vol. 5, No. 5, September 1988, pp. 10-23.

Fowler, K.J., Inertial Navigation System Simulator Program: Top-Level Design,
(Final Report No. CMU/SEI-89-TR-38; ESD-TR-89-49), Carnegie-Mellon Univ.,
Software Engineering Inst., Pittsburgh, PA, January 1990. (Available from
NTIS: No. AD-A223 762/6/XAB)

Fritz, W., et al., "Use of standard software in real-time programming. An
example demonstrating theintegration of Ada, Oracle and GKS," pp. 43-49. In
"Real Time Programming 1988- Proceedings of the 15th IFAC-IFIP Workshop, May
25-27, Valencia, Spain. Published by Pergamon Press Inc., Oxford, UK. (ISBN: 0
08 036236 2)

Fuhrer, J, et al., "E-MARS-embedded multi-processing Ada run-time support,"
pp. 191-294. InProceedings of the Sixth National Conference on Ada
Technology, March 14-18, 1988, Washington, D.C. Published by U.S. Dept
Commerce, Springfield, VA. (Available from NTIS: No. AD-A190936)

Galik, D., Conceptual Design of a Software Base Management System for the
Computer Aided Prototyping System, (Masters Thesis), Naval Postgraduate
School, Monterey, CA. (Available from NTIS: No. AD-A204 863/5/XAB)

Ganote, M.D., "16-bit versus 32-bit considerations for avionics applications,"
pp. 652-7, Vol. 2(4), In Proceedings of the IEEE 1989 National Aerospace and
Electronics Conference NAECON 1989, May 22-26, 1989, Dayton, OH. Published by
IEEE, New York, NY. (Available from IEEE Catalog Service Center: Cat. No.
89CH2759-9)

Gargaro, A.B., et al., "Supporting reliable distributed systems in Ada 9X: an
initial proposal," pp. 292-321. InDistributed Ada: Developments and
Experiences. Proceedings of the Distributed Ada '89 Symposium, 11-12 December
1989, Southampton, UK. Published by Cambridge University Press, Cambridge, UK.
(ISBN: 0 521 39251 9)
Gilles, J., and R. Ford, "A guided tour through a window oriented debugging
environment for embedded real time Ada systems," pp. 93-103. In Third
International IEEE Conference on Ada Applications and Environments," May
23-25, 1988, Manchester, NH. Published by IEEE Computer Society Press,
Washington, D.C. (Available from the IEEE Service Center: Cat. No. 87CH2470-3)

Goel, A., Documentation for Real-Time Performance Benchmarks for Ada, (Final
Report), Tamsco, Eatontown, NJ, March 1989. (Available from NTIS: No.
AD-A223-154/6/XAB)

Goel, A., "Evaluation of existing benchmark suites for Ada," pp. 42-8. In
Proceedings of the Sixth National Conference on Ada Technology, March 14-18,
1988, Washington, DC., U.S. Dept. Commerce, Springfield, VA. (Available from
NTIS No. AD-A190936)

Grecco, A.J., Adaflow: The Automation of Software Analysis Using Petri-Nets,
(Masters Thesis), Massachusetts Inst. of Tech, Cambridge, MA., 1988.
(Available from NTIS: No. AD-A199 978/8)

Griest, T.E., and M.E. Bender, "Limitations on the portability of real time
Ada programs," pp.. 474-9.In TRI-ADA '89 Proceedings, October 23-26, 1989,
Pittsburgh, PA. Published by ACM, NY, NY.

Herr, C.S., et al., "Compiler validation and reusable Ada parts for real-time,
embedded applications," Ada Letters, Vol. 8, No. 5, September-October 1988,
pp. 75-86.

Herrtwich, R.G., "Language means for the programming of distributed real-time
systems, Automatisierungstechnische Praxis, Vol. 30, No. 8, pp. 388-96.
(German Language Publication; ISSN: 0178-2320)

Hingle, G.C. and S.L. Gilbert, "A graphics oriented design methodology for
real-time control systems using Ada," pp. 281-8. In Proceedings of Sixth
National Conference on Ada Technology, March 14-18, 1988, Washington, D.C.
Published by U.S. Dept Commerce, Springfield, VA. (Available from NTIS
AD-A190936)

Hosinski, J., "Ada used in real-time aircrew training system," Government
Computer News, Vol. 7, No. 24,November 21, 1988, pp. 41(2).

Jakle, S., "A Case study on reusing and distributing Ada software in the
Esprit Project DRAGON," ITG-Fachberichte, Vol. 109, pp. 65-74. (German
Language Publication; ISSN: 0341-0196)

Janson, D.M., Static Scheduler for the Computer Aided Prototyping System: An
Implementation Guide, (Masters Thesis), Naval Postgraduate School, Monterey,
CA, March 1988. (Available from NTIS: No. AD-A194 340/6/XAB)

Jerry, M., and L. G. Burgermeister, "Ada based real-time closed-loop
integration and regression test tool,"pp. 81-90. In Proceedings: Conference on
Software Maintenance - 1989, Oct 16-19, 1989, Miami, FL, Published by IEEE,
NY, NY. (Available from the IEEE Service Center: Cat. No. 89CH2744-1).

Johnson, C.S., et al., Methodology Study for Real-Time Ada Problems, (Final
Technical Report), Sonicraft, Inc., Chicago, IL. (Available from NTIS: No.
AD-A223-333/6/XAB)

Jozwiak, K.L., "Ada - A tool for real-time systems," pp. 476-483 Vol 2(4). In
Proceedings of the IEEE 1989 National Aerospace and Electronics Conference -
NAECON 1989, May 22-26, Dayton, OH. Published by IEEE, NY,NY. (Available from
IEEE Service Center: Cat. No. 89CH2759-9)

Kramer, Jr., J.F, "AI applications, real time systems, and Ada," pp. 2/1-12.
In Proceedings of AIDA-88. Fourth Annual Conference on Artificial Intelligence
and Ada, November 15-18, 1988, Fairfax, VA. Published by George Mason
University, Fairfax, VA.

Krantz, D.G., "The Howitzer improvement program: lessons learned," pp. 4-18.
In TRI-Ada '89 Proceedings, October 23-26, 1989, Pittsburgh, PA. Published by
ACM, NY, NY. (ISBN: 0 8971 329 9)

Lander, L.C., et al., "Deterministic priority inversion in Ada selective
waits," Ada Letters, Vol. 10, No. 7, Sep October 1990, pp. 55-62.

Langlois, P., "Ada: from component to application," AFCET Interfaces, No. 76,
February 1989, pp. 13-17.(French language publication; ISSN 0751-0268)

Leibson, S.H., "Real-time Ada," EDN, Vol 34., No. 17, August 17, 1989, pp.
103-20.

Lemanski, W.J., and T.C. Hartrum, "An assessment of the development of a
tracking system using concurrent Ada," pp. 466-73. In Proceedings of the IEEE
1989 National Aerospace and Electronics Conference NAECON, May 22-26, 1989,
Dayton, OH. Published by IEEE, NY, NY.

Lewin, S. "Ada implementation of an X Window system server," pp. 30-8. In
TRI-Ada '89 Proceedings, Oct 23-26, Pittsburgh, PA, ACM: New York, NY.

Lichota, R.W. and D.S. Lane. "Performance of mutual exclusion algorithms in
distributed real-time Ada environment," pp. 458-462. In Sixth Annual
International Conference on Computers and Communications - 1987 Conference
Proceedings, February 25-27, 1987, Scottsdale, AX. Published by IEEE, NY.
(Available from IEEE Service Center: Cat. No. 87TH0179-2)

Locke, C.D. and J. B. Goodenough, "A practical application of the ceiling
protocol in a real-time system, Ada Letters, Vol. 8, No. 7, Fall 1988, pp.
35-8. (Also available as final CMU/SEI final report from NTIS: No. AD-A206
429/3/XAB)

Locke, C.D., et al., "Predictable real-time avionics design using Ada tasks
and rendezvous: a case study," Ada User, Vol. 11, No. 4, 1990, pp. 180-8.
(ISSN: 0268-652X)

Luqi, V.B., and R. Yeh, "Prototyping language for real-time software, IEEE
Transactions on Software Engineering, Vol. 14, No. 10., 1988, pp. 1409-1423.

Luqi, B. V., "Execution of a high level real-time language," pp. 69-76. In
Proceedings: Real-Time Systems Symposium, Vol. 35, No. 6., December 6-8,
Huntsville, AL. Published by IEEE, New York, NY. (Available from IEEE Service
Center: Cat. No. 88CH2618-7)

Lyttle, D. and R. Ford, "A symbolic debugger for real-time embedded Ada
software," Software - Practice and Experience, Vol. 20, No. 5, May 1990, pp.
499-514. (Published in the UK; ISSN: 0038-0644)

Marinescu, D.C. and R. Stanisfer, "A formalism for critical path analysis of
real-time Ada programs," pp. 144-8 Vol. 1(2), In Proceedings of the 32nd
Midwest Symposium on Circuits and Systems, August 14-16, 1989, Champaign, IL.
Published by IEEE, New York, NY. (Available from IEEE Service Center: Cat No.
89CH2785-4)

Marlowe, L.C., Static Scheduler for Critical Timing Constraints, (Masters
Thesis), Naval Postgraduate School, Monterey, CA. (Available from NTIS:
No.AD-A205 701/6/XAB)

McCullough, S.J., et al., Real-Time Ada Problem Solution Study, (Final
Report), Sonicraft, Inc., Chicago, IL. (Available from NTIS: No. AD-A223
262/7/XAB)

McMahon, P.E., "On the fringe of Ada," pp. 484-90 Vol. 2(4). In Proceedings of
the IEEE 1989 National Aerospace and Electronics Conference NAECON 1989, May
22-26 1989, Dayton, OH. Published by IEEE, New York, NY. (Available from IEEE
Service Center: Cat. No. 89CH2759-9)

Moffitt, C.R., Language Translator for a Computer Aided Rapid Prototyping
System, (Annual report, Sep 87-Aug 88), Naval Postgraduate School, Monterey,
CA, September 1988. (Available from NTIS: No. AD-A208 358/2/XAB)

Mok, Aloysius K., "Annotating Ada for real-time program synthesis," pp. 63-66.
In Compass '87, Computer Assurance-Computer Systems Integrity: Process
Security and Software Safety, Jun 29 - Jul 3, 1987, Washington, D.C. Published
by IEEE, New York, NY. (Available from IEEE Service Center: Cat. No.
87TH0196-6).

Muenier, M., Highly Reliable Computer for Airborne Applications, Advisory
Group for Aerospace Research and Development, Neuilly-sur-Seine, France, June
1988. (Available in English from NTIS: No. AD-P005 772/9/XAB)

Nielsen, K., and K. Shumate, "Designing large real-time systems with Ada,"
Communications of the ACM, Vol. 30, No. 8, August 1987, pp. 697-715.

Nielsen, K. and H. Carlsson, "Inter-processor communication and Ada in
distributed real-time systems,"Computer Communications, Vol. 13, No. 8,
October 1990, pp. 451(9). (UK publication; ISSN: 0140-3664)

Nieratschker, K., "The Effective design of real-time software systems,"
Elektronik Praxis, Vol. 25, No. 11, June 7, 1990, pp. 136-43. (German
Publication, ISSN: 0341-5783).

Nussbaum, I., "Submarine systems," pp. 409-13. In MILCOMP 89, Military
Computers Systems and Software Conference Proceedings, September 26-28, 1989,
London, England. Published by Microwave Exhibitions & Publisher Turnbridge
Wells, UK.

Palmer, C., Developing and Using Ada Parts in Real-Time Embedded Applications,
(Final Report No. AFATL-TR-90-67), McDonnel Douglas Missile Systems Co., St.
Louis, MO, April 27, 1990. (Available from NTIS: No. AD-A225 209/6/XAB)

Payne, M., "Ada offers more if you know how to use it" (includes a related
article on Ferranti's use of Ada),Electronics Weekly, Issue No. 1470, July 19,
1989, pp. 28(2).

Pederson, J.S. and M.H. Klein, Using the Vienna Development Method (VDM) to
Formalize a Communication Protocol, (Final Technical Report No.
CMU/SEI-88-TR-26; ESD-TR-88-027), Carnegie-Mellon Univ., Software Engineering
Inst., Pittsburgh, PA, November 1988. (Available from NTIS: No. AD-A204
757/9/XAB)

Philipp, H., "Real-time Ada--no utopia?" Elektronik, Vol. 38, No. 21, October
13, 1989, pp. 138-43. (German Language Publication; ISSN: 0013-5658)

Powers, R.D, and C. Roark, "Ada support for real-time systems," Ada Letters,
Vol. 10, No. 4, pp. 114-18.

Rabbie, H.M. and D.A. Nelson-Gal, "An Operating system for real-time Ada," pp.
490-7. In TRI-Ada '89 Proceedings, October 23-26, 1989, Pittsburgh, PA.
Published by ACM, NY, NY.

Raither, B, et al., "IDEFIX: a tool for debugging Ada tasks in a real-time
environment," Technique et Science Informatiques Vol. 9, No. 2, pp. 150-6.
(French language publication; ISSN: 0752-4072)

Rasmussen, J.B. and B. Appelbe, "Real-time interrupt handling in Ada,"
Software - Practice and Experience, Vol. 17, No. 3, March 1987, pp. 197-213.

Raum, H.G., Design and Implementation of an Expert User Interface for the
Computer Aided Prototyping System, (Masters Thesis), Naval Postgraduate
School, Monterey, CA, December 1988. (Available from NTIS: No. AD-A206
113/3/XAB)

Roark, C., and R. McAfee, "The applicability of Ada to MIL-STD-1750A," Ada
Letters, Vol. 8, No. 3, May-June 1988, pp. 84-6.

Roark, C., et al., "Supporting Ada applications in a distributed, real-time
environment, pp 831-838. In IEEEProceedings of the National Aerospace and
Electronics Conference 1987, NAECON, May 18-22, 1987, Dayton, OH. Published by
IEEE, NY, NY.

Roark, C., et al., "Case study in provisions needed in an Ada runtime to
support ATF- and LHX-like real time embedded systems," pp. 714-20, Vol. 2(4).
In Proceedings of the IEEE 1988 National Aerospace and Electronics Conference -
NAECON 1988," May 23-27, 1988, Dayton, OH. Published by IEEE, NY, NY.
(Available from IEEE Service Center: Cat. No. 88CH2596-5)

Roark, C., et al., "Use of Ada in real-time distributed systems," pp. 644-651,
Vol. 2(4). In IEEE Proceedingsof the National Aerospace and Electronics
Conference, May 22-26, 1989, Dayton, OH. Published by IEEE, NY, NY.

Roos, J., "Real-time support processor for Ada tasking," pp. 162-171. In
ASPLOS-III Proceedings, Third International Conference on Architectural
Support for Programming Languages and Operating Systems, April 3-6, 1989,
Boston, MA. Published by ACM, NY, NY. (ISBN 89791-300-0)

Rowe, J., "Producing with Ada-real-time solutions for complex problems,"
Defense Electronics,Vol. 22, No. 7, July 1990, pp. 41, 45-6, 48, 59, 53.

Sacha, K.M., "Ada: adding reliability and efficiency to task communication in
programming distributed control," Ada Letters, Vol. 9, No. 6, Sept-Oct 1989,
pp. 80-9.

Salant, N.," Comparison of assembly language and Ada for a real time embedded
ECM system," pp. 596-601,In TRI-Ada '89 Proceedings, October 23-26, 1989,
Pittsburgh, PA. Published by ACM, NY, NY.

Sanden, B., "An entity-life modeling approach to the design of concurrent
software," Communications of the ACM, Vol. 32, No. 3, March 1989, pp. 330-43.

Schacht, E.N., "Research on the Ada conversion of a distributed, fast control
loop system," pp. 111-16. In Proceeedings of Sixth National Conference on Ada
Technology, March 14-18, 1988, Washington, D.C. Published by U.S. Dept.
Commerce, Springfield, VA. (Available from NTIS: No. AD-A190936)

Seymour, B., "Bare machine Ada solves real-time problems," Computer Design,
Vol. 27, No. 5, March 1, 1988,pp. 58-62. (ISSN: 0010-4566)

Sha, L. and J.B. Goodenough, "Real-time scheduling theory and Ada," Computer,
Vol. 23, No. 4, April 1990, pp. 53(10). (Also available as Final Report, dated
April 89, from NTIS: No. AD-211 397/5/XAB)

Shastry, S., "Ada language symbolic real-time monitor (SRTM)," pp. 37-41. In
Proceedings of 1988 Conference: Tools for the Simulation Profession, 1988,
April 18-21, 1988, Orlando, FL. Published by IEEE, NY, (Available from the
IEEE Service Center: Cat. No. 86CH2382-0)

Shatz, S.M., and W.K. Cheng, "A Petri net framework for automated static
analysis of Ada tasking behavior, Journal of Systems and Software, Vol. 8, No.
5, December 1988, pp. 343-59.

Steele, D., "FORTRAN tailors Ada for civvy street," Systems International,
Vol. 16, No. 4, April 1988, pp. 74-6.(UK publication; ISSN: 0309-1171)

Stefanescu, C.M., Distributed Ada Target Applications. Revision, (Final Report
No. CADD-8810-1001-REV), Compass, Inc., Wakefield, MA, February 1989.
(Available from NTIS: No. AD-A223 083/7/XAB)

Strauser, R. and C. Roark, "Run-time reconfiguration and Ada," pp. 638-43,
Vol. 2(4). In Proceedings of the IEEE 1989 National Aerospace and Electronics
Conference NAECON 1989, May 22-26, 1989, Dayton, OH. Published by IEEE, NY,
NY. (Available from the IEEE Service Center: Cat. No. 89CH2759-9)

Struble, D.G. and M.J. Wagner, "A Quantitative evaluation of interrupt
handling capabilities in Ada," pp. 610-21. In TRI-Ada '89 Proceedings,
October 23-26, 1989, Pittsburgh, PA, ACM, New York, NY.

Tagger, A., "SuperCASE: an integrated approach to design and code," pp. 14-17.
In Third Israel Conference on Computer Systems and Software Engineering, June
6-7, 1988, Tel-Aviv, Israel. Published by IEEE. (Available from IEEE Service
Center: Catalog Number Not Available)

Theron, J.L., "Design and checking of a large Ada real-time system," Nuclear
Instruments & Methods in Physics Research, Section A (Accelerators,
Spectrometers, Detectors and Associated Equipment, Vol. A293, No. 1-2, August
1, 1990, pp. 373-376. (The Netherlands Publication/English Language; ISSN
0168-9002)

Tonndorf, M., "The Ada software repository: a public collection of reusable
software," ITG-Fachberichte, Vol. 109, 1989, pp. 185-96. (German Language
publication; ISSN: 0341-0196)

Van Scoy, R., et al., "A Detailed view of DARK," Ada Letters, Vol. 10, No. 6,
July-Aug 1990, pp. 68-83.

Vidale, R.F. and B.S. Crawford, "Toward an operations-oriented methodology for
Ada real-time systems" pp. 448-54. In Proceedings of Sixth National Conference
on Ada Technology, March 14-18, 1988, Washington, D.C. Published by U.S. Dept.
Commerce, Springfield, VA. (Available from NTIS: No. AD-A190936)

Volz, R.A., et al., "Instruction level timing mechanisms for accurate
real-time task scheduling," IEEE Transactions on Computers, Vol C-36, No. 8,
August 1987, pp. 988-993.

Volz, R.A., et al., "Timing issues in the distributed execution of Ada
programs, IEEE Transactions in theDistributed Execution of Ada programs, Vol.
C-36, No. 4, April 1987, pp. 449-459.

Volz, R.A., "Virtual nodes and units of distribution for distributed Ada,"
Ada Letters, Vol. 10 No. 4, Spring1990, pp. 85-96.

Weiderman, N., "Hartstone: synthetic benchmark requirements for hard real-time
applications," Ada Letters,Vol. 10, No. 3, Winter 1990, pp. 126-36. (Also
available as final report CMU/SEI-89-TR-23; ESD-TR 89-31; from NTIS: No.
AD-A219 326/6/XAB)

Wellings, A., "Real-time requirements (for Ada 9X)," Ada User, Vol. 11, No. 4,
1990, pp. 189-203. (UK publication; ISSN: 0268-652X)

Williams, A.M., "CORE: a method of requirements capture and analysis for large
real-time systems (militaryavionics software development," pp. 3-1/1-17. In
Military Avionics Architecture for Today and Tomorrow. Seminar Proceedings,
November 16-17, 1988, London, England. Published by ERA Technologies (1989),
Leatherhead, UK. (ISBN: 0 7008 0386 6)

Wood, K., et al., "Shuttle failure detection, "Aerospace America," Vol. 27,
No. 7, July 1989, pp. 34-36.

Wright, P.A., "Ada real-time inference engine (ARTIE)," pp. 83-93. In
Proceedings of AIDA - 89. Fifth Annual Conference on Artificial Intelligence
and Ada, November 16 & 17, Reston, VA. Published by George Mason University,
Fairfax, VA.

Yeung, W.L. and G. Topping, "Implementing JSD designs in Ada--a tutorial,"
SIGSOFT Software Engineering Notes, Vol. 15, No. 3, July 1990, pp. 25-32.

Zalewski, J., "Step towards real-time application of Ada," Computer Physics
Communications, Vol 50, No.1-2, July 1988, pp. 273-9.

Ziegler, J., et al., "Providing Ada based test program and soft panel
instrument controls," pp. 187-94. In AUTOTESTCON '89 Conference Record: "The
Systems Readiness Technology Conference". "Automatic Testing in the Next
Decade and the 21st Century." September 25-28, 1989, Philadelphia, PA, IEEE,
New York, NY. (Catalog No. 89CH2568-4)

Ziegler, J. et al., "Ada based real-time closed-loop integration and
regression test tool," pp. 85-90. Proceedings: Conference on Software
Maintenance - 1989, October 16-19, 1989, Miami, FL. Published by IEEE Computer
Society Press, Washington, D.C. (Available from IEEE Service Center: Catalog
No. 89CH2744-1)

Ziegler, J., et al., "Universal Ada Test Language (UATL) to support real-time
software/system integration andfactory/maintenance fault isolation," pp.
85-92. In AUTOTESTCON '88 Symposium Proceedings: Futurests, IEEE International
Automatic Testing Conference, October 4-6, 1988, Minneapolis, MN. Published by
IEEE, NY, NY. (Available from IEEE Service Center: Cat. No. 88CH2575-9)

Ziegler, S.F., "Ada environment for real time systems development," pp. 6.4,
1-6. 4.5, In Electro/87 and Mini/Micro Northeast Conference Record, April
7-9, 1987, NY, NY. Published by Electronic Conventions Management, Los
Angeles, CA.


ALPHABETICAL LIST (BY TITLE)

Ada 9X Project Report Requirement Workshop, Office
of the Under Secretary of Defense (Acquisition,) Washington, D.C., June 1989.
(Available from NTIS: No. AD-A210 756/3/XAB)

Ada Compiler Validation Summary Report: Certificate Number: 880617W1.09116
Intermetrics, Inc. CMS Ada Real-Time Compiler Version 202.35 IBM 3083 (Host
and Target), Information Systems and Technology Center: Wright-Patterson AFB,
OH. Ada Validation Facility, June 22, 1988. (Available from NTIS: No. AD-A204
215/5/XAB)

Ada Compiler Validation Summary Report: Certificate Number: 880617W1.09117
Intermetrics, Inc. MVS Ada Real-Time Compiler Version 202.35 IBM 4341 (Host
and Target), Information Systems and Technology Center: Wright-Patterson AFB,
OH. Ada Validation Facility, June 27, 1988. (Available from NTIS: No. AD-A204
213/3/XAB)

Approach to Tailoring the Ada Runtime Environment, (Final Report), IIT
Research Institute, Lanham, MD, February 1989. (Available from NTIS: No.
AD-A223 146/2/XAB)

Establish and Evaluate Ada Runtime Features of Interest for Real-Time Systems,
(Final Report), IIT Research Institute, Lanham, MD, February 1989. (Available
from NTIS: No. AD-A223 146/2/XAB)

Guideline to Select, Configure, and Use an Ada Runtime Environment, Final
Report, Labtek Corp., Woodbridge, CT, February 1989. (Available from NTIS: No.
AD-A223 086/0/XAB)

IEEE Colloquium on 'Real Time Computing: The Future with MASCOT' October 7,
1988, in London, UK, published by IEEE, London, England.

IEEE Computer Society Press, Predictable real-time avionics design using Ada
tasks and rendezvous: a case study. In Proceedings: Conference on Software
Maintenance, Oct 16-19, 1989, IEEE Computer Society Press; Washington D.C.
(ISBN: 0 8186 1965 1)

Proceedings of the National Conference on Ada Technology (6th), March 14-18,
1988, Arlington, VA. (Available from NTIS: No. AD-A190 936/5/XAB)

Proceedings of Sixth National Conference on Ada Technology, March 14-18, 1988,
Washington, D.C. Published by U.S. Dept. Commerce, Springfield, VA.
(Available from NTIS: No. AD-A190936)

Real-Time Ada Demonstration Project, Final Report, Labtek Corp., Woodbridge,
CT, May 31, 1989. (Available from NTIS: No. AD-A223 153/3/XAB)

Real-Time Ada Problem Study, Final Report, Labtek Corp., Orange, Ct., March
24, 1989. (Available from NTIS: No. AD-A223 153/8/XAB)

"Second International Real-Time Ada Issues Conference Report (SIG News),"
Communications of the ACM, Vol. 31, No. 9, September 1988, pp. 1151(1)

"Second International workshop on real-time Ada Issues," Ada Letters, Vol. 8,
No. 7, Fall 1988, pp.

Software Engineering and its Application to Avionics, NATO Conference, April
25-29, 1989, Cesme, Turkey. Published by AGARD, Neuilly sur Seine, France.
(English language)

Software Engineering Institute Quarterly Update, (Report for April-June 1989;
Report No. SEI-89-CDRL-103-3), Carnegie-Mellon Univ., Software Engineering
Inst., Pittsburgh, PA. (Available from NTIS: No. AD-A216 093/5/XAB)

"Third International Workshop on Real-Time Ada Issues," June 26-29, 1989,
Framington, PA. Ada Letters, Vol. 10, No. 4, Spring 1990.

Transportability Guideline for Ada Real-Time Software, Final Report, Labtek
Corp., Woodbridge, CT, May 1989. (Available from NTIS: No. AD-A223 085/2/XAB)


PUBLISHERS

Association of Computing Machinery (ACM), 11 West 42nd Street, New York, NY
10036. (212) 869-7440. (Annual membership dues, $67; students, $30;
non-member annual subscription, $90)

Cambridge University Press, 40 W. 20th St., New York, NY 10011.
Telephone: (800) 221-4512

Institute of Electrical and Electronics Engineers (IEEE) Computer Society
Press, 10662 Los Vaqueros Circle, Los Alamitos, CA 90720. Telephone: (800)
272-6657. (IEEE membership $77, Computer Society membership fee, which is
additional to IEEE membership, $39)

Institute of Electrical and Electronics Engineers (IEEE) Catalog Service
Center, 445 Hoes Lane, P.O. Box 1331, 08855-1331. (800) 678-4333.

National Technical Information Services (NTIS); Dept. of Commerce, National
Technical Information Services (NTIS), 5285 Port Royal Road, Springfield, VA.
(703) 487-4650.


  3 Responses to “Category : Miscellaneous Language Source Code
Archive   : ADA-RTIM.ZIP
Filename : REALTIME.HLP

  1. Very nice! Thank you for this wonderful archive. I wonder why I found it only now. Long live the BBS file archives!

  2. This is so awesome! 😀 I’d be cool if you could download an entire archive of this at once, though.

  3. But one thing that puzzles me is the “mtswslnkmcjklsdlsbdmMICROSOFT” string. There is an article about it here. It is definitely worth a read: http://www.os2museum.com/wp/mtswslnk/