Designing for evolvability: Building blocks for evolvable real-time systems

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 1996, Pages 100-109

  Gagliardi, Michael ^a   Rajkumar, Ragunathan ^a   Sha, Lui ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC BUILDING BLOCK; COMMERCIAL AIRCRAFT; COMMUNICATION MODELING; DEPLOYED SYSTEMS; MANUFACTURING PLANT; PUBLISHER/SUBSCRIBER; RESOURCE RESERVATIONS; RUN-TIME ABSTRACTIONS;

ABSTRACTING; AIRCRAFT PLANTS; COMMUNICATION; SEMANTICS; AVIONICS; COMPUTER OPERATING SYSTEMS; DATA COMMUNICATION SYSTEMS; SYSTEMS ANALYSIS;

REAL TIME SYSTEMS;

EVOLVABLE REAL TIME SYSTEMS; EXTENSIBLE CELL; REAL TIME PUBLISHER COMMUNICATION MODEL; REAL TIME SUBSCRIBER COMMUNICATION MODEL; SYSTEMS ABSTRACTIONS;

EID: 0029698627     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.1996.509527     Document Type: Conference Paper

References (19)

1. Reference Manual for the Ada Programming Language. US. Department of Defense, Washington, D. C. 1983.
2. Ada 95 Reference Manual. International Standard, ANSI/ISO/IEC-8652: 1995, January 1995.
3. Baker, T. "Stack-Based Scheduling of Realtime Processes". Journal of Real-Time Systems 3, I (March 1991), 67-100.
4. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, D. Becker, C. Chambers, S. Eggers. "Extensibility, Safety and Performance in the SPIN Operating System". Proceedings of the 15th ACM Symposium on Operating Systems Principles (Dec 1995).
5. N. Budhiraja and K. Marzullo and F. B. Schneider and S. Toueg. Primary-backup protocols: Lower bounds and optimal implementations. Tech. Rept. TR 92-1265, Department of Computer Science, Cornell University, January, 1992.
6. Ken Birman and Keith Marzullo. "The ISIS Distributed Programming Toolkit and The Meta Distributed Operating System. ". SunTechnology 2, 1 ( 1989),.
7. Jeffay, K. Scheduling Sporadic Tasks with Shared Resources in Hard Real-Time Systems. TR90-038, Department of Computer Science, University of North Carolina at Chapel Hill, November, 1989.
8. Klein, M. H., Ralya, T., Pollak, B., Obenza, R. and Harbour, M. G. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993. ISBN
9. Liu, C. L. and Layland J. W, "Scheduling Algorithms for Multiprogramming in a Hard Real Time Environment".
10. C. W. Mercer and R. Rajkumar and J. Zelenka. Temporal Protection in Real-Time Operating Systems. Proceedings of the 1 lth IEEE Workshop on Real-Time Operating Systems and Software, May, 1994, pp. 79-83.
11. IEEE Standard PI003. Ib (Realtime Extensions to POSIX). IEEE, 345 East 47th St., New York, NY 10017, 1993.
12. Rajkumar, R. Synchronization in Real-Time Systems: A Priority Inheritance Approach. Kluwer Academic Publishers, 199 1. ISBN 0-7923-92 1 1-6.
13. Rajkumar, R., Gagliardi, M. and Sha, L. "The Real-Time Publisher/Subscriber Communication for Inter-Process Communication in Distributed Real-Time Systems". The First IEEE Real-time Technology and Applications Symposium (May 1995).
14. R. Rashid and R. Baron and A. Forin and D. Golub and M. Jones and D. Orr and R. Sanzi. Mach: A Foundation for Open Systems. Proceedings ofthe Second Workshop on Workstation Operating Systems (WWOS-11), Sept., 1989
15. F. B. Schneider. "Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial". ACM Computing Surveys 22, 4 (December 1990).
16. Sha, L., Lehoczky, J. P. and Rajkumar, R. "Solutions for Some Practical Problems in Prioritized Preemptive Scheduling". IEEE Real-Time Systems Symposium (1986).
17. Sha, L., Rajkumar, R., Son, S. H., and Y. Lee. "A Real-Time Locking Protocol". IEEE Transactions on Computers 40, 7 (July 1991).
18. Sha, L., Rajkumar, R. and Gagliardi, M. "The Simplex Architecture:An Approach to Build Evolving Industrial Computing Systems". The Proceedings of the IPC, International Automation Week (1995).
19. Introduction to TCAS-II. Federal Aviation Administration, US. Department of Transportation, Washington, D. C., 1990.