Skip header Section
Skip Bibliometrics Section
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIXApril 2001
- Authors:
- Alan Burns,
- Andrew J. Wellings
Skip Abstract Section
Abstract
From the Publisher:
B> This book provides an in-depth analysis of the requirements for designing and implementing real-time embedded systems, and discusses how these requirements are met by current languages and operating systems. The comparative advantages of Ada 95, Real-Time Java, and Real-Time C/POSIX are discussed in full. The emergence of Java as a real-time language through the Real-Time Java extensions has resulted in the treatment of Java as one of the core languages covered in the book. The additional real-time facilities in POSIX are also explored, as well as the proposed extensions to CORBA to address real-time issues. More material on schedulability analysis is also included. No other book on real-time programming languages (or concurrent programming languages) covers this range of topics. This book is designed for programmers and engineers looking for an introduction and/or reference that discusses current real-time programming languages and how they are suited to designing and implementing real-time embedded systems.
Cited By
Chang W, Zhao S, Wei R, Wellings A and Burns A From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper) Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, (123-134)- Jiang Z, Audsley N and Dong P (2019). BlueIO, ACM Transactions on Embedded Computing Systems, 18:3, (1-25), Online publication date: 13-Jun-2019.
- Qi X, He J, Wang P and Zhou H (2016). Variable strength combinatorial testing of concurrent programs, Frontiers of Computer Science: Selected Publications from Chinese Universities, 10:4, (631-643), Online publication date: 1-Aug-2016.
- Baskiyar S, Huang C and Tam T (2016). Minimum energy consumption for rate monotonic scheduled tasks, Computing, 98:6, (661-684), Online publication date: 1-Jun-2016.
- Niyizamwiyitira C and Lundberg L Period assignment in real-time scheduling of multiple virtual machines Proceedings of the 7th International Conference on Management of computational and collective intElligence in Digital EcoSystems, (180-187)
- Strøm T and Schoeberl M Multiprocessor Priority Ceiling Emulation for Safety-Critical Java Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-10)
- El-Antably A, Gruber O, Fournel N and Rousseau F Transparent and portable agent based task migration for data-flow applications on multi-tiled architectures Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, (183-192)
- Alhosban A, Hashmi K, Malik Z, Medjahed B and Benbernou S (2015). Bottom-Up Fault Management in Service-Based Systems, ACM Transactions on Internet Technology, 15:2, (1-40), Online publication date: 24-Jun-2015.
- Bensalem S, Bozga M, Combaz J and Triki A Rigorous System Design Flow for Autonomous Systems Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (184-198)
- Davis R (2014). A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems, ACM SIGBED Review, 11:1, (8-19), Online publication date: 1-Feb-2014.
- Strøm T, Puffitsch W and Schoeberl M Chip-multiprocessor hardware locks for safety-critical Java Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, (38-46)
- Kalibera T, Mole M, Jones R and Vitek J (2012). A black-box approach to understanding concurrency in DaCapo, ACM SIGPLAN Notices, 47:10, (335-354), Online publication date: 15-Nov-2012.
- Nishino H Mostly-strongly-timed programming Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity, (93-94)
- Kalibera T, Mole M, Jones R and Vitek J A black-box approach to understanding concurrency in DaCapo Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (335-354)
- Basu A, Bensalem S, Bozga M and Sifakis J Rigorous component-based system design Proceedings of the 9th international conference on Rewriting Logic and Its Applications, (1-9)
- Ho C and Funk S Partially non-preemptive dual priority multiprocessor scheduling Proceedings of the 15th international conference on Principles of Distributed Systems, (343-356)
- Schoeberl M, Korsholm S, Kalibera T and Ravn A (2011). A Hardware Abstraction Layer in Java, ACM Transactions on Embedded Computing Systems, 10:4, (1-40), Online publication date: 1-Nov-2011.
- Basu A, Bensalem S, Bozga M, Bourgos P and Sifakis J Rigorous system design Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science, (1-19)
- Lee E and Seshia S An introductory textbook on cyber-physical systems Proceedings of the 2010 Workshop on Embedded Systems Education, (1-6)
- Sorensen A and Gardner H (2010). Programming with time, ACM SIGPLAN Notices, 45:10, (822-834), Online publication date: 17-Oct-2010.
- Sorensen A and Gardner H Programming with time Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (822-834)
- Rodríguez-Cayetano M Design and development of a CPU scheduler simulator for educational purposes using SDL Proceedings of the 6th international conference on System analysis and modeling: about models, (72-90)
- Haddad G, Hussain F and Leavens G The design of SafeJML, a specification language for SCJ with support for WCET specification Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (155-163)
- Zerzelidis A and Wellings A (2010). A framework for flexible scheduling in the RTSJ, ACM Transactions on Embedded Computing Systems, 10:1, (1-44), Online publication date: 1-Aug-2010.
- Santos O and Wellings A (2010). Measuring and policing blocking times in real-time systems, ACM Transactions on Embedded Computing Systems, 10:1, (1-29), Online publication date: 1-Aug-2010.
- White R Using hardware support for scheduling with ada Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies, (125-138)
- Axenie C Mobile robot fault tolerant control Proceedings of the 9th WSEAS international conference on Signal processing, robotics and automation, (213-219)
- Lee E Introducing embedded systems: a cyber-physical approach Proceedings of the 2009 Workshop on Embedded Systems Education, (1-2)
- Whitham J and Audsley N Implementing time-predictable load and store operations Proceedings of the seventh ACM international conference on Embedded software, (265-274)
- Bøgholm T, Hansen R, Ravn A, Thomsen B and Søndergaard H A predictable Java profile Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (150-159)
- Hassine J Early schedulability analysis with timed use case maps Proceedings of the 14th international SDL conference on Design for motes and mobiles, (98-114)
- Gregertsen K and Skavhaug A An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller Proceedings of the Conference on Design, Automation and Test in Europe, (1572-1575)
- Capozucca A and Guelfi N Designing reliable real-time concurrent object-oriented software systems Proceedings of the 2009 ACM symposium on Applied Computing, (1996-1997)
- Doran S (2008). Anima, ACM SIGAda Ada Letters, 28:3, (121-132), Online publication date: 1-Dec-2008.
- McCormick J (2008). Ada and software engineering education, ACM SIGAda Ada Letters, 28:3, (91-96), Online publication date: 1-Dec-2008.
- Doran S Anima Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference, (121-132)
- McCormick J Ada and software engineering education Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference, (91-96)
- Almeida C (2008). Practical experience teaching embedded systems, ACM SIGBED Review, 5:3, (1-8), Online publication date: 1-Oct-2008.
- Bøgholm T, Kragh-Hansen H, Olsen P, Thomsen B and Larsen K Model-based schedulability analysis of safety critical hard real-time Java programs Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, (106-114)
- Papazoglou P, Karras D and Papademetriou R Concurrent events scheduling for efficient simulation modelling of large scale cellular networks based on multitasking real time scheduling techniques and analysis Proceedings of the 12th WSEAS international conference on Communications, (347-355)
- Greenwood G Attaining fault tolerance through self-adaption Proceedings of the 2008 IEEE world conference on Computational intelligence: research frontiers, (368-387)
- Krüger I, Farcas C, Farcas E and Menarini M Requirements modeling for embedded realtime systems Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, (155-199)
- Nicosia V Towards hard real-time erlang Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, (29-36)
- Henzinger T and Kirsch C (2007). The embedded machine, ACM Transactions on Programming Languages and Systems, 29:6, (33-es), Online publication date: 1-Oct-2007.
- Urueña S, Pulido J, Redondo J and Zamorano J (2007). Implementing the new Ada 2005 real-time features on a bare board kernel, ACM SIGAda Ada Letters, XXVII:2, (61-66), Online publication date: 1-Aug-2007.
- Urueña S and Zamorano J (2007). Building high-integrity distributed systems with Ravenscar restrictions, ACM SIGAda Ada Letters, XXVII:2, (29-36), Online publication date: 1-Aug-2007.
- Walther K, Herzog R and Nolte J (2007). Analyzing the real-time behaviour of deeply embedded event driven systems, ACM SIGPLAN Notices, 42:7, (149-151), Online publication date: 13-Jul-2007.
- Pulido J, Urueña S, Zamorano J and de la Puente J Handling temporal faults in Ada 2005 Proceedings of the 12th international conference on Reliable software technologies, (15-28)
- Walther K, Herzog R and Nolte J Analyzing the real-time behaviour of deeply embedded event driven systems Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (149-151)
- Nilsson R and Offutt J Automated Testing of Timeliness Proceedings of the Second International Workshop on Automation of Software Test
- Urueña S, Pulido J, Redondo J and Zamorano J Implementing the new Ada 2005 real-time features on a bare board kernel Proceedings of the 13th international workshop on Real-time Ada, (61-66)
- Urueña S and Zamorano J Building high-integrity distributed systems with Ravenscar restrictions Proceedings of the 13th international workshop on Real-time Ada, (29-36)
- Cheng A and Ras J (2007). The implementation of the Priority Ceiling Protocol in Ada-2005, ACM SIGAda Ada Letters, XXVII:1, (24-39), Online publication date: 1-Apr-2007.
- Burns A and Lin T (2007). An engineering process for the verification of real-time systems, Formal Aspects of Computing, 19:1, (111-136), Online publication date: 1-Mar-2007.
- Burns A and Wellings A Delivering real-time behaviour Domain modeling and the duration calculus, (1-50)
- Díaz M, Garrido D, Romero S, Rubio B, Soler E and Troya J (2006). Experiences with component-oriented technologies in nuclear power plant simulators, Software—Practice & Experience, 36:13, (1489-1512), Online publication date: 1-Nov-2006.
- Hu E, Jenn E, Valot N and Alonso A Safety critical applications and hard real-time profile for Java Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (125-134)
- Søndergaard H, Thomsen B and Ravn A A Ravenscar-Java profile implementation Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (38-47)
- Wehrmeister M, Pereira C and Becker L Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java Proceedings of the conference on Design, automation and test in Europe: Proceedings, (806-811)
- Ignat N, Nicolescu B, Savaria Y and Nicolescu G Soft-error classification and impact analysis on real-time operating systems Proceedings of the conference on Design, automation and test in Europe: Proceedings, (182-187)
- Lermer K, Fidge C and Hayes I (2005). A theory for execution-time derivation in real-time programs, Theoretical Computer Science, 346:1, (3-27), Online publication date: 23-Nov-2005.
- Berns A (2005). A comparison of CORBA and ada's distributed systems annex, ACM SIGAda Ada Letters, XXV:4, (103-108), Online publication date: 17-Nov-2005.
- Berns A A comparison of CORBA and ada's distributed systems annex Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies, (103-108)
- Lima G and Burns A Scheduling fixed-priority hard real-time tasks in the presence of faults Proceedings of the Second Latin-American conference on Dependable Computing, (154-173)
- Skambraks M A safety-related PES for task-oriented real-time execution without asynchronous interrupts Proceedings of the 24th international conference on Computer Safety, Reliability, and Security, (261-274)
- Johansson E, Nedstam J, Wartenberg F and Höst M A qualitative methodology for tailoring SPE activities in embedded platform development Proceedings of the 6th international conference on Product Focused Software Process Improvement, (39-53)
- McCormick J We've been working on the railroad Proceedings of the 36th SIGCSE technical symposium on Computer science education, (530-534)
- McCormick J (2005). We've been working on the railroad, ACM SIGCSE Bulletin, 37:1, (530-534), Online publication date: 23-Feb-2005.
- Bouyssounouse B and Sifakis J Computing platforms Embedded Systems Design, (388-449)
- Bouyssounouse B and Sifakis J Programming languages for real-time systems Embedded Systems Design, (338-351)
- Audsley N and Baker R A selection mechanism based upon the explicit expression of preference Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, (13-17)
- Brylow D and Palsberg J (2004). Deadline Analysis of Interrupt-Driven Software, IEEE Transactions on Software Engineering, 30:10, (634-655), Online publication date: 1-Oct-2004.
- Ahmadinia A, Bobda C, Koch D, Majer M and Teich J Task scheduling for heterogeneous reconfigurable computers Proceedings of the 17th symposium on Integrated circuits and system design, (22-27)
- Wagner F, Cesário W, Carro L and Jerraya A (2004). Strategies for the integration of hardware and software IP components in embedded systems-on-chip, Integration, the VLSI Journal, 37:4, (223-252), Online publication date: 1-Sep-2004.
- Burns A, Dobbing B and Vardanega T (2004). Guide for the use of the Ada Ravenscar Profile in high integrity systems, ACM SIGAda Ada Letters, XXIV:2, (1-74), Online publication date: 1-Jun-2004.
- Amirijoo M, Te"anoviC A and Nadjm-Tehrani S Raising motivation in real-time laboratories Proceedings of the 35th SIGCSE technical symposium on Computer science education, (265-269)
- Potratz E (2003). A practical comparison between Java and Ada in implementing a real-time embedded system, ACM SIGAda Ada Letters, XXIV:1, (71-83), Online publication date: 1-Mar-2004.
- Amirijoo M, Te"anoviC A and Nadjm-Tehrani S (2004). Raising motivation in real-time laboratories, ACM SIGCSE Bulletin, 36:1, (265-269), Online publication date: 1-Mar-2004.
- Ditze M, Altenbernd P and Loeser C Improving resource utilization for MPEG decoding in embedded end-devices Proceedings of the 27th Australasian conference on Computer science - Volume 26, (133-142)
- Potratz E A practical comparison between Java and Ada in implementing a real-time embedded system Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies, (71-83)
- Broster I and Burns A An Analysable Bus-Guardian for Event-Triggered Communication Proceedings of the 24th IEEE International Real-Time Systems Symposium
- de la Puente J and Zamorano J (2003). Execution-time clocks and Ravenscar kernels, ACM SIGAda Ada Letters, XXIII:4, (82-86), Online publication date: 1-Dec-2003.
- Wellings A (2003). Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?, ACM SIGAda Ada Letters, XXIII:4, (16-21), Online publication date: 1-Dec-2003.
- Hammond K and Michaelson G Hume Proceedings of the 2nd international conference on Generative programming and component engineering, (37-56)
- de la Puente J and Zamorano J Execution-time clocks and Ravenscar kernels Proceedings of the 12th international workshop on Real-time Ada, (82-86)
- Wellings A Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? Proceedings of the 12th international workshop on Real-time Ada, (16-21)
- Prasad D, Burns A and Atkins M (2003). The Valid Use of Utility in Adaptive Real-Time Systems, Real-Time Systems, 25:2-3, (277-296), Online publication date: 1-Sep-2003.
- Bernat G (2003). Response Time Analysis of Asynchronous Real-Time Systems, Real-Time Systems, 25:2-3, (131-156), Online publication date: 1-Sep-2003.
- Miranda J and Harbour M A proposal to integrate the POSIX execution-time clocks into Ada 95 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, (344-358)
- Burns A (2003). How to Verify a Safe Real-Time System, Real-Time Systems, 24:2, (135-151), Online publication date: 1-Mar-2003.
- Baruah S (2003). Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks, Real-Time Systems, 24:1, (93-128), Online publication date: 1-Jan-2003.
- Zamorano J and de la Puente J (2002). Precise response time analysis for Ravenscar kernels, ACM SIGAda Ada Letters, XXII:4, (53-57), Online publication date: 1-Dec-2002.
- Kwon J, Wellings A and King S Ravenscar-Java Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (131-140)
- Ward M and Audsley N Hardware implementation of the Ravenscar Ada tasking profile Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, (59-68)
- Genßler T, Christoph A, Winter M, Nierstrasz O, Ducasse S, Wuyts R, Arévalo G, Schönhage B, Müller P and Stich C Components for embedded software Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, (19-26)
- Hammond K and Michaelson G Predictable space behaviour in FSM-Hume Proceedings of the 14th international conference on Implementation of functional languages, (1-16)
- Veríssimo P and Casimiro A (2002). The Timely Computing Base Model and Architecture, IEEE Transactions on Computers, 51:8, (916-930), Online publication date: 1-Aug-2002.
- Jin D and Levy D An approach to schedulability analysis of UML-based real-time systems design Proceedings of the 3rd international workshop on Software and performance, (243-250)
- Zamorano J and de la Puente J Precise response time analysis for Ravenscar kernels Proceedings of the 11th international workshop on Real-time Ada workshop, (53-57)
- Yang C and Deconinck G A fault-tolerant reservation-based strategy for scheduling aperiodic tasks in multiprocessor systems Proceedings of the 10th Euromicro conference on Parallel, distributed and network-based processing, (319-326)
- Mitchell S, Burns A and Wellings A (2001). MOPping up exceptions, ACM SIGAda Ada Letters, XXI:3, (80-92), Online publication date: 1-Sep-2001.
- Bakay Á Model-based adaptivity in real-time scheduling Proceedings of the 2nd international conference on Self-adaptive software: applications, (52-65)
- Kabous L and Nebel W Modeling hard real time systems with UML the OOHARTS approach Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (339-355)
- Mitchell S and Stroud R Reflective Real-Time Object-Oriented Programming and Systems Proceedings of the Workshops on Object-Oriented Technology, (51-54)
Recommendations
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and SystemsTiming correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
Object-based real-time programming
OOPSLA/ECOOP '88: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programmingRTO (Real-Time Objects) is an object-based programming paradigm suited for Real-Time and, in particular, Hard-Real-Time applications. A Real-Time (RT) system must provide (with high probability) response times small in comparison with the time constants ...