Export Citations
Skip header Section
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIXMay 2009
- Authors:
- Alan Burns,
- Andy Wellings
Skip Abstract Section
Abstract
From mobile phones to microwave ovens, engine management systems to aircraft avionics systems, safety, reliability, and time-critical response are all critical factors. There is strong demand in industry for software/hardware engineers with Real-Time design and programming skills. This text focuses on the different languages (including Ada and Java) used to program real-time applications and the language constructs required to enable you to develop these critical skills.
Cited By
- Bril R Exact analysis for basic multi-rate cyclic executives IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society, (1-6)
- Bril R An Optimal Order Assignment Algorithm for Single-Rate Time-Driven AFAP Cyclic Executives 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ), (01-04)
- Bril R Exact analysis for basic single-rate cyclic executives 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ), (1-8)
- Mehiaoui A, Wozniak E, Babau J, Tucci-Piergiovanni S and Mraidha C (2019). Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures, Automated Software Engineering, 26:1, (1-57), Online publication date: 1-Mar-2019.
- Massaro F, Ursini E and Martins P Integrating proactive mode changes in mixed criticality systems Proceedings of the 22nd International Symposium on Distributed Simulation and Real Time Applications, (11-20)
Hirchoua B, Ouhbi B and Frikh B A new knowledge capitalization framework in big data context Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, (40-48)- Qi X and Jiang Z (2017). Precise slicing of interprocedural concurrent programs, Frontiers of Computer Science: Selected Publications from Chinese Universities, 11:6, (971-986), Online publication date: 1-Dec-2017.
- Banesh D, Schoonover J, Ahrens J and Hamann B Extracting, visualizing and tracking mesoscale ocean eddies in two-dimensional image sequences using contours and moments Proceedings of the Workshop on Visualisation in Environmental Sciences, (43-47)
- Zhang H and Lu Y SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler 6th International Workshop on Structured Object-Oriented Formal Language and Method - Volume 10189, (181-200)
- Sánchez P, Álvarez B, Morales J, Alonso D and Iborra A (2016). An approach to modeling and developing teleo-reactive systems considering timing constraints, Journal of Systems and Software, 117:C, (317-333), Online publication date: 1-Jul-2016.
- Levy D (2016). Illustrating Timing Drift, ACM SIGAda Ada Letters, 35:2, (9-13), Online publication date: 11-Mar-2016.
- Griffin D, Lesage B, Bate I, Soboczenski F and Davis R Modelling fault dependencies when execution time budgets are exceeded Proceedings of the 23rd International Conference on Real Time and Networks Systems, (65-74)
- Zhao S, Wellings A and Korsholm S Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-10)
- Indrusiak L, Harbin J and Dos Santos O (2015). Fast Simulation of Networks-on-Chip with Priority-Preemptive Arbitration, ACM Transactions on Design Automation of Electronic Systems, 20:4, (1-22), Online publication date: 28-Sep-2015.
- Thomsen B, Luckow K, Leth L and BØgholm T From Safety Critical Java Programs to Timed Process Models Essays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security - Volume 9465, (319-338)
- Bertout A, Forget J and Olejnik R Minimizing a real-time task set through Task Clustering Proceedings of the 22nd International Conference on Real-Time Networks and Systems, (23-31)
- Griffin D, Lesage B, Burns A and Davis R Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches Proceedings of the 22nd International Conference on Real-Time Networks and Systems, (203-212)
- Bonato L, Mezzetti E and Vardanega T Supporting Global Resource Sharing in RUN-scheduled Multiprocessor Systems Proceedings of the 22nd International Conference on Real-Time Networks and Systems, (109-118)
- Whitham J, Audsley N and Davis R (2014). Explicit reservation of cache memory in a predictable, preemptive multitasking real-time system, ACM Transactions on Embedded Computing Systems, 13:4s, (1-25), Online publication date: 1-Jul-2014.
- Michell S, Moore B and Pinho L (2013). Real-time programming on accelerator many-core processors, ACM SIGAda Ada Letters, 33:3, (23-36), Online publication date: 29-Nov-2013.
- Michell S, Moore B and Pinho L Real-time programming on accelerator many-core processors Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, (23-36)
- Luckow K, Bøgholm T, Thomsen B and Larsen K TetaSARTS Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, (11-20)
- Wellings A, Luckcuck M and Cavalcanti A Safety-critical Java level 2 Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, (48-57)
- Lundberg L and Shirinbab S Real-time scheduling in cloud-based virtualized software systems Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, (54-58)
- Burns A (2013). An EDF run-time profile based on ravenscar, ACM SIGAda Ada Letters, 33:1, (24-31), Online publication date: 11-Jun-2013.
- Burns A, Wellings A and Malik A (2013). TTF-ravenscar, ACM SIGAda Ada Letters, 33:1, (15-23), Online publication date: 11-Jun-2013.
- Zhang F and Burns A (2013). Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing, ACM Transactions on Embedded Computing Systems (TECS), 12:3, (1-19), Online publication date: 10-Mar-2013.
- Eslami Kiasari A, Jantsch A, Bekooij M, Burns A and Lu Z Analytical approaches for performance evaluation of networks-on-chip Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems, (211-212)
- Wehrmeister M, Packer J and Ceron L (2012). Support for early verification of embedded real-time systems through UML models simulation, ACM SIGOPS Operating Systems Review, 46:1, (73-81), Online publication date: 16-Feb-2012.
- Davis R and Burns A (2011). A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys (CSUR), 43:4, (1-44), Online publication date: 1-Oct-2011.
- Wellings A and Schoeberl M User-defined clocks in the real-time specification for Java Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, (74-81)
- Frost C, Jensen C, Luckow K and Thomsen B WCET analysis of Java bytecode featuring common execution environments Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, (30-39)
- Gouvêa D, de A. Assis D. Muniz C, Pinto G, Avritzer A, Leão R, de Souza e Silva E, Diniz M, Berardinelli L, Leite J, Mossß D, Cai Y, Dalton M, Kapova L and Koziolek A Experience building non-functional requirement models of a complex industrial architecture Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering, (43-54)
- Wellings A and Kim M Asynchronous event handling and safety critical Java Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (53-62)
- Wellings A and Burns A The evolution of real-time programming revisited Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies, (196-207)
- Burns A and Wellings A (2010). Language vulnerabilities, ACM SIGAda Ada Letters, 30:1, (26-32), Online publication date: 27-May-2010.
- Ionescu T, Laurien E and Scheuermann W Applying classic feedback control for enhancing the fault-tolerance of parallel pipeline workflows on multi-core systems Facing the multicore-challenge, (79-91)
- Ionescu T, Laurien E and Scheuermann W Applying classic feedback control for enhancing the fault-tolerance of parallel pipeline workflows on multi-core systems Facing the multicore-challenge, (79-91)
- Lundberg L (2019). Utilization Based Schedulability Bounds for Age Constraint Process Sets in Real-Time Systems, Real-Time Systems, 23:3, (273-295), Online publication date: 1-Nov-2002.
Recommendations
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 ...