From the Publisher: Real-Time Systems: Design Principles for Distributed Embedded Applications focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting. Thus, this book serves as an excellent text for advanced level courses on real-time systems. Real-Time Systems: Design Principles for Distributed Embedded Applications also serves as an invaluable reference for professionals in industry. The book explains the relevance of the latest scientific insights to the solution of everyday problems in the design and implementation of distributed and embedded real-time systems. Thus, as a reference source the book presents state-of-the-art real-time technology in a coherent, concise and understandable manner. Because the cost-effectiveness of a particular method is of major concern in an industrial setting, design decisions are examined from an economic viewpoint. The recent appearance of cost-effective powerful system chips has tremendous influence on the architecture and economics of future distributed system solutions. The composability of an architecture, i.e., the capability to build dependable large systems out of pre-tested components with minimal integration effort, is one of thegreat challenges for designers of the next generation of real-time systems. The topic of composability is thus a recurring theme throughout the book. Real-Time Systems: Design Principles for Distributed Embedded Applications is essential reading for anyone involved in the field of real-time systems.
Cited By
- Palomo X and Molina C (2024). ITER: an ITERative approach for inter-core timing analysis in statically scheduled cyclic executive systems on COTS multicore platforms for CRTES, The Journal of Supercomputing, 80:13, (19719-19770), Online publication date: 1-Sep-2024.
- Loeve W and Grelck C Fault-tolerance at your Finger Tips with the TeamPlay Coordination Language Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, (1-13)
- Barzegaran M and Pop P (2022). Extensibility-aware Fog Computing Platform configuration for mixed-criticality applications, Journal of Systems Architecture: the EUROMICRO Journal, 133:C, Online publication date: 1-Dec-2022.
- Gong S and Han J (2021). Global emergency-based job-level scheduling for weakly-hard real-time systems, Journal of Systems Architecture: the EUROMICRO Journal, 117:C, Online publication date: 1-Aug-2021.
- Bellman K, Landauer C, Dutt N, Esterle L, Herkersdorf A, Jantsch A, TaheriNejad N, Lewis P, Platzner M and Tammemäe K (2020). Self-aware Cyber-Physical Systems, ACM Transactions on Cyber-Physical Systems, 4:4, (1-26), Online publication date: 31-Oct-2020.
- Meckel S, Lohrey M, Jo S, Obermaisser R and Plasger S (2020). Combined compression of multiple correlated data streams for online-diagnosis systems, Microprocessors & Microsystems, 77:C, Online publication date: 1-Sep-2020.
- Zhu C, Butler M and Cirstea C (2020). Formalizing hierarchical scheduling for refinement of real-time systems, Science of Computer Programming, 189:C, Online publication date: 1-Apr-2020.
- Zimmermann T, Mora M, Steinhorst S, Mueller-Gritschneder D and Jossen A (2019). Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS, ACM Transactions on Design Automation of Electronic Systems, 24:4, (1-33), Online publication date: 31-Jul-2019.
- Rodriguez P, Lizeaga A, Mendicute M and Val I (2019). Spectrum handoff strategy for cognitive radio-based MAC for real-time industrial wireless sensor and actuator networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, 152:C, (186-198), Online publication date: 7-Apr-2019.
- Pimentel J and Bastiaan J Characterizing the Safety of Self-Driving Vehicles: A Fault Containment Protocol for Functionality Involving Vehicle Detection 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), (1-7)
- Das T and Dingel J (2018). Model development guidelines for UML-RT, Software and Systems Modeling (SoSyM), 17:3, (717-752), Online publication date: 1-Jul-2018.
- Gaukler M, Michalka A, Ulbrich P and Klaus T A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), (91-100)
- Schmidt M and Obermaisser R (2018). Adaptive and technology-independent architecture for fault-tolerant distributed AAL solutions, Computers in Biology and Medicine, 95:C, (236-247), Online publication date: 1-Apr-2018.
- Fakih M, Lenz A, Azkarate-Askasua M, Coronel J, Crespo A, Davidmann S, Diaz Garcia J, Romero N, Grttner K, Schreiner S, Seyyedi R, Obermaisser R, Maleki A, berg J, Mohammadat M, Prez-Cerrolaza J, Sander I and Sderquist I (2017). SAFEPOWER project, Microprocessors & Microsystems, 52:C, (89-105), Online publication date: 1-Jul-2017.
- Abdullah J, Mohaqeqi M and Yi W Synthesis of ada code from graph-based task models Proceedings of the Symposium on Applied Computing, (1467-1472)
- Ortega-Zamorano F, Molina-Cabello M, López-Rubio E and Palomo E (2016). Smart motion detection sensor based on video processing using self-organizing maps, Expert Systems with Applications: An International Journal, 64:C, (476-489), Online publication date: 1-Dec-2016.
- Yan Y, Cosgrove S, Anand V, Kulkarni A, Konduri S, Ko S and Ziarek L (2016). RTDroid: A Design for Real-Time Android, IEEE Transactions on Mobile Computing, 15:10, (2564-2584), Online publication date: 1-Oct-2016.
- Olenev V, Podgornova E and Lavrovskaya I Protocol for deterministic data delivery in SpaceWire networks Proceedings of the 18th Conference of Open Innovations Association FRUCT, (233-240)
- Malekzadeh M and Bate I Influential Nuisance Factors on a Decision of Sufficient Testing Proceedings of the ICA3PP International Workshops and Symposiums on Algorithms and Architectures for Parallel Processing - Volume 9532, (819-828)
- La Fleur A, Teymourian K and Paschke A Complex event extraction from real-time news streams Proceedings of the 11th International Conference on Semantic Systems, (9-16)
- Heinzemann C, Brenner C, Dziwok S and Schäfer W (2015). Automata-based refinement checking for real-time systems, Computer Science - Research and Development, 30:3-4, (255-283), Online publication date: 1-Aug-2015.
- Santos R, Venkataraman S and Kumar A Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems Proceedings of the 52nd Annual Design Automation Conference, (1-6)
- Korobkov I, Podgornova E, Raszhivin D, Olenev V and Lavrovskaya I Scheduling mechanisms for spacewire networks Proceedings of the 17th Conference of Open Innovations Association FRUCT, (82-88)
- Craciunas S and Oliver R SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems Proceedings of the 22nd International Conference on Real-Time Networks and Systems, (45-54)
- Nowotsch J, Paulitsch M, Henrichsen A, Pongratz W and Schacht A Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems Proceedings of the conference on Design, Automation & Test in Europe, (1-5)
- Ortega-Zamorano F, Subirats J, Jerez J, Molina I and Franco L Implementation of the C-mantec neural network constructive algorithm in an arduino uno microcontroller Proceedings of the 12th international conference on Artificial Neural Networks: advances in computational intelligence - Volume Part I, (80-87)
- Assayad I, Girault A and Kalla H (2013). Tradeoff exploration between reliability, power consumption, and execution time for embedded systems, International Journal on Software Tools for Technology Transfer (STTT), 15:3, (229-245), Online publication date: 1-Jun-2013.
- Axer P and Ernst R Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors Proceedings of the 50th Annual Design Automation Conference, (1-7)
- Colmenares J, Eads G, Hofmeyr S, Bird S, Moretó M, Chou D, Gluzman B, Roman E, Bartolini D, Mor N, Asanović K and Kubiatowicz J Tessellation Proceedings of the 50th Annual Design Automation Conference, (1-10)
- Gao Y, Gupta S and Breuer M Using explicit output comparisons for fault tolerant scheduling (FTS) on modern high-performance processors Proceedings of the Conference on Design, Automation and Test in Europe, (927-932)
- Cameron A, Stumptner M, Nandagopal N, Mayer W and Mansell T Performance analysis of a rule-based SOA component for real-time applications Proceedings of the 28th Annual ACM Symposium on Applied Computing, (1877-1884)
- Herrero Á, Navarro M, Corchado E and Julián V (2013). RT-MOVICAB-IDS, Future Generation Computer Systems, 29:1, (250-261), Online publication date: 1-Jan-2013.
- Christmann D and Gotzhein R Real-Time tasks in SDL Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice, (53-71)
- Nghiem T, Pappas G, Alur R and Girard A (2012). Time-Triggered Implementations of Dynamic Controllers, ACM Transactions on Embedded Computing Systems, 11:S2, (1-24), Online publication date: 1-Aug-2012.
- Ábrahám E, Bergner N, Brauner P, Corzilius F, Jansen N, Leonhardt T, Loup U, Nellen J and Schroeder U On collaboratively conveying computer science to pupils Proceedings of the 11th Koli Calling International Conference on Computing Education Research, (132-137)
- Kim K, Qian J, Zhang Z, Zhou Q, Moon K, Park J, Park K and Kim D (2011). K. H. KIM ET AL., Software—Practice & Experience, 41:12, (1387-1407), Online publication date: 1-Nov-2011.
- Scheler F and Schröder-Preikschat W (2011). THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS, Software—Practice & Experience, 41:12, (1491-1515), Online publication date: 1-Nov-2011.
- Marwedel P and Engel M Embedded system design 2.0 Proceedings of the 6th Workshop on Embedded Systems Education, (9-16)
- Axer P, Sebastian M and Ernst R Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (149-158)
- Eloranta V and Koskinen J Messaging patterns for distributed machine control systems Proceedings of the 16th European Conference on Pattern Languages of Programs, (1-18)
- Christmann D, Becker P and Gotzhein R Priority scheduling in SDL Proceedings of the 15th international conference on Integrating System and Software Modeling, (202-217)
- Krämer M, Braun T, Christmann D and Gotzhein R Real-time signaling in SDL Proceedings of the 15th international conference on Integrating System and Software Modeling, (186-201)
- Ambrose J, Molnos A, Nelson A, Cotofana S, Goossens K and Juurlink B Composable local memory organisation for streaming applications on embedded MPSoCs Proceedings of the 8th ACM International Conference on Computing Frontiers, (1-2)
- Brown G and Pike L (2011). Automated verification and refinement for physical-layer protocols, Formal Aspects of Computing, 23:3, (243-266), Online publication date: 1-May-2011.
- Le Ny J, Feron E and Pappas G Resource constrained LQR control under fast sampling Proceedings of the 14th international conference on Hybrid systems: computation and control, (271-280)
- Ulbrich P, Kapitza R, Harkort C, Schmid R and Schröder-Preikschat W I4Copter Proceedings of the 2011 ACM Symposium on Applied Computing, (380-386)
- Abascal J, Lafuente A, Marco A, Falco J, Casas R, Sevillano J, Cascado D and Lujan C (2010). An architecture for assisted navigation in intelligent environments, International Journal of Communication Networks and Distributed Systems, 4:1, (49-69), Online publication date: 1-Dec-2010.
- Driver C, Reilly S, Linehan É, Cahill V and Clarke S (2011). Managing embedded systems complexity with aspect-oriented model-driven engineering, ACM Transactions on Embedded Computing Systems, 10:2, (1-26), Online publication date: 1-Dec-2010.
- Buckl C, Gaponova I, Geisinger M, Knoll A and Lee E Model-based specification of timing requirements Proceedings of the tenth ACM international conference on Embedded software, (239-248)
- Szilagyi C and Koopman P Low cost multicast authentication via validity voting in time-triggered embedded control networks Proceedings of the 5th Workshop on Embedded Systems Security, (1-10)
- Fischmeister S and Azim A Design choices for high-confidence distributed real-time software Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II, (327-342)
- Wang Z, Li J, Zhao Y, Qi Y, Pu G, He J and Gu B SPARDL Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I, (594-608)
- Haberl W, Herrmannsdoerfer M, Kugele S, Tautschnig M and Wechs M Seamless model-driven development put into practice Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I, (18-32)
- Kirner R and Puschner P Time-predictable computing Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems, (23-34)
- Pitter C and Schoeberl M (2010). A real-time Java chip-multiprocessor, ACM Transactions on Embedded Computing Systems, 10:1, (1-34), Online publication date: 1-Aug-2010.
- Chattopadhyay S, Roychoudhury A and Mitra T Modeling shared cache and bus in multi-cores for timing analysis Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems, (1-10)
- Herrero Á, Navarro M, Julián V and Corchado E Incorporating temporal constraints in the planning task of a hybrid intelligent IDS Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part II, (101-110)
- Albertos P, Crespo A, Simó J and Fernández A Control co-design Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies, (19-40)
- Lee E CPS foundations Proceedings of the 47th Design Automation Conference, (737-742)
- Goossens K and Hansson A The aethereal network on chip after ten years Proceedings of the 47th Design Automation Conference, (306-311)
- Ezhilchelvan P and Shrivastava S (2010). Learning from the past for resolving dilemmas of asynchrony, ACM SIGOPS Operating Systems Review, 44:2, (58-63), Online publication date: 14-Apr-2010.
- Ny J and Pappas G Robustness analysis for the certification of digital controller implementations Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, (99-108)
- Zhang J, Xiang F, Wang B and Lu J An extensible software framework for reliable distributed embedded system modeling Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2, (234-237)
- Dandekar P, Gumaste S and Dahiwale P Temperature controlling and data logging using embedded system Proceedings of the International Conference and Workshop on Emerging Trends in Technology, (940-945)
- Ejlali A, Al-Hashimi B and Eles P A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, (193-202)
- Saraswat P, Pop P and Madsen J (2009). Task migration for fault-tolerance in mixed-criticality embedded systems, ACM SIGBED Review, 6:3, (1-5), Online publication date: 1-Oct-2009.
- Thramboulidis K (2009). The function block model in embedded control and automation from IEC61131 to IEC61499, WSEAS Transactions on Computers, 8:9, (1597-1609), Online publication date: 1-Sep-2009.
- Samii S, Eles P, Peng Z and Cervin A Quality-driven synthesis of embedded multi-mode control systems Proceedings of the 46th Annual Design Automation Conference, (864-869)
- Obermaisser R, El Salloum C, Huber B and Kopetz H (2009). From a federated to an integrated automotive architecture, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28:7, (956-965), Online publication date: 1-Jul-2009.
- Ye J, Wang C and Gan D Research and implementation of intelligent information appliances based on IPV6 Proceedings of the 21st annual international conference on Chinese control and decision conference, (3984-3987)
- Azimi A and Gordon B Dynamic processor allocation for multiple RHC systems in multi-core computing environments Proceedings of the 2009 conference on American Control Conference, (4921-4926)
- Armengaud E and Steininger A Remote measurement of local oscillator drifts in FlexRay networks Proceedings of the Conference on Design, Automation and Test in Europe, (1082-1087)
- Craciunas S, Kirsch C, Payer H, Röck H and Sokolova A Programmable temporal isolation in real-time and embedded execution environments Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, (19-24)
- Kejariwal A, Veidenbaum A, Nicolau A, Girkar M, Tian X and Saito H (2009). On the exploitation of loop-level parallelism in embedded applications, ACM Transactions on Embedded Computing Systems, 8:2, (1-34), Online publication date: 1-Jan-2009.
- Hansson A, Goossens K, Bekooij M and Huisken J (2009). CoMPSoC, ACM Transactions on Design Automation of Electronic Systems, 14:1, (1-24), Online publication date: 1-Jan-2009.
- Proenza J, Miro-Julia J and Hansson H (2009). Managing redundancy in CAN-based networks supporting N-Version Programming, Computer Standards & Interfaces, 31:1, (120-127), Online publication date: 1-Jan-2009.
- Alur R and Weiss G RTComposer Proceedings of the 8th ACM international conference on Embedded software, (159-168)
- Pitter C Time-predictable memory arbitration for a Java chip-multiprocessor Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, (115-122)
- Ayav T, Fradet P and Girault A (2008). Implementing fault-tolerance in real-time programs by automatic program transformations, ACM Transactions on Embedded Computing Systems, 7:4, (1-43), Online publication date: 1-Jul-2008.
- Benveniste A, Caillaud B, Carloni L, Caspi P and Sangiovanni-Vincentelli A (2008). Composing heterogeneous reactive systems, ACM Transactions on Embedded Computing Systems, 7:4, (1-36), Online publication date: 1-Jul-2008.
- Izosimov V, Pop P, Eles P and Peng Z Scheduling of fault-tolerant embedded systems with soft and hard timing constraints Proceedings of the conference on Design, automation and test in Europe, (915-920)
- Cahill V, Senart A, Schmidt D, Weber S, Harrington A, Hughes B, Singh K and Bouroche M The managed motorway: real-time vehicle scheduling Proceedings of the 9th workshop on Mobile computing systems and applications, (43-48)
- Pop T, Pop P, Eles P and Peng Z (2019). Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems, International Journal of Parallel Programming, 36:1, (37-67), Online publication date: 1-Feb-2008.
- Neves A, Corrente G and Pinho A An omnidirectional vision system for soccer robots Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence, (499-507)
- Voss S Scheduling in Time-Triggered Networks On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, (1081-1090)
- Fischmeister S, Sokolsky O and Lee I (2007). A Verifiable Language for Programming Real-Time Communication Schedules, IEEE Transactions on Computers, 56:11, (1505-1519), Online publication date: 1-Nov-2007.
- Henzinger T and Sifakis J (2007). The Discipline of Embedded Systems Design, Computer, 40:10, (32-40), Online publication date: 1-Oct-2007.
- Pop P, Poulsen K, Izosimov V and Eles P Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, (233-238)
- Hansson A, Coenen M and Goossens K Channel trees Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, (149-154)
- Pitter C and Schoeberl M Towards a Java multiprocessor Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (144-151)
- Liu S, Kim K, Kim S, Zhang Z, Nang J, Choi K and Kang Y TMO structuring of a networked system for seamless streaming and tiled display of high-definition movies Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems, (181-191)
- Bekooij M, Wiggers M and van Meerbergen J Efficient buffer capacity and scheduler setting computation for soft real-time stream processing applications Proceedingsof the 10th international workshop on Software & compilers for embedded systems, (1-10)
- Weiss G and Alur R Automata based interfaces for control and scheduling Proceedings of the 10th international conference on Hybrid systems: computation and control, (601-613)
- V. R and M. M (2007). Graduate Courses in Embedded and Real-Time Systems, IEEE Pervasive Computing, 6:2, (101-104), Online publication date: 1-Apr-2007.
- Tavares E, Barreto R, Maciel P, Oliveira M, Amorim L, Rocha F and Lima R (2007). Software synthesis for hard real-time embedded systems with multiple processors, ACM SIGSOFT Software Engineering Notes, 32:2, (1-10), Online publication date: 1-Mar-2007.
- Kim D, Kim L, Kwon H, Jeon D and Chae S Location-based device ensemble architecture for a spatial reality enhancement of distributed multimedia presentation Proceedings of the 16th international conference on Advances in Artificial Reality and Tele-Existence, (372-383)
- Malekpour M A Byzantine-fault tolerant self-stabilizing protocol for distributed clock synchronization systems Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems, (411-427)
- Shin C, Ahn D, Kim D and Joo S Ubiquitous healthcare system using context information based on the DOGF Proceedings of the 1st international conference on Advances in hybrid information technology, (447-457)
- Ayav T, Fradet P and Girault A Implementing fault-tolerance in real-time systems by automatic program transformations Proceedings of the 6th ACM & IEEE International conference on Embedded software, (205-214)
- Benveniste A, Caillaud B, Carloni L, Caspi P, Sangiovanni-Vincentelli A and Tripakis S Communication by sampling in time-sensitive distributed systems Proceedings of the 6th ACM & IEEE International conference on Embedded software, (152-160)
- Anand M, Fischmeister S and Lee I An analysis framework for network-code programs Proceedings of the 6th ACM & IEEE International conference on Embedded software, (122-131)
- Nghiem T, Pappas G, Alur R and Girard A Time-triggered implementations of dynamic controllers Proceedings of the 6th ACM & IEEE International conference on Embedded software, (2-11)
- Schirner G and Dömer R Accurate yet fast modeling of real-time communication Proceedings of the 4th international conference on Hardware/software codesign and system synthesis, (70-75)
- Wiggers M, Bekooij M, Jansen P and Smit G Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure Proceedings of the 4th international conference on Hardware/software codesign and system synthesis, (10-15)
- Obermaisser R Integrating automotive applications using overlay networks on top of a time-triggered protocol Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues, (187-206)
- Kim K, Colmenares J, Zheng L, Liu S, Zhou Q and Kim M Recent additions on the application programming interface of the TMO support middleware Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues, (168-186)
- Kim K, Colmenares J, Zheng L, Liu S, Zhou Q and Kim M Recent Additions on the Application Programming Interface of the TMO Support Middleware Composition of Embedded Systems. Scientific and Industrial Issues, (168-186)
- Schlager M, Herzner W, Wolf A, Gründonner O, Rosenblattl M and Erkinger E Encapsulating application subsystems using the DECOS core OS Proceedings of the 25th international conference on Computer Safety, Reliability, and Security, (386-397)
- Miśkowicz M Prediction efficiency in predictive p-CSMA/CD Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing, (203-212)
- Giese H and Henkler S Architecture-driven platform independent deterministic replay for distributed hard real-time systems Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, (28-38)
- Angelov C, Sierszecki K, Marian N and Ma J A formal component framework for distributed embedded systems Proceedings of the 9th international conference on Component-Based Software Engineering, (206-221)
- Bouroche M, Hughes B and Cahill V Building Reliable Mobile Applications with Space-Elastic Adaptation Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks, (627-632)
- Vidler P and Pont M Computer assisted source-code parallelisation Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V, (22-31)
- Kossentini C and Caspi P Approximation, sampling and voting in hybrid computing systems Proceedings of the 9th international conference on Hybrid Systems: computation and control, (363-376)
- Steinhammer K, Grillinger P, Ademaj A and Kopetz H A time-triggered ethernet (TTE) switch Proceedings of the conference on Design, automation and test in Europe: Proceedings, (794-799)
- Izosimov V, Pop P, Eles P and Peng Z Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems Proceedings of the conference on Design, automation and test in Europe: Proceedings, (706-711)
- Phatrapornnant T and Pont M (2006). Reducing Jitter in Embedded Systems Employing a Time-Triggered Software Architecture and Dynamic Voltage Scaling, IEEE Transactions on Computers, 55:2, (113-124), Online publication date: 1-Feb-2006.
- Wandeler E and Thiele L Optimal TDMA time slot and cycle length allocation for hard real-time systems Proceedings of the 2006 Asia and South Pacific Design Automation Conference, (479-484)
- Pedreiras P, Teixeira F, Ferreira N, Almeida L, Pinho A and Santos F Enhancing the reactivity of the vision subsystem in autonomous mobile robots using real-time techniques RoboCup 2005, (371-383)
- Fliege I, Geraldy A, Gotzhein R, Kuhn T and Webel C (2005). Developing safety-critical real-time systems with SDL design patterns and components, Computer Networks: The International Journal of Computer and Telecommunications Networking, 49:5, (689-706), Online publication date: 5-Dec-2005.
- Gaujal B and Navet N (2005). Maximizing the Robustness of TDMA Networks with Applications to TTP/C, Real-Time Systems, 31:1-3, (5-31), Online publication date: 1-Dec-2005.
- Tripakis S, Sofronis C, Caspi P and Curic A (2005). Translating discrete-time simulink to lustre, ACM Transactions on Embedded Computing Systems, 4:4, (779-818), Online publication date: 1-Nov-2005.
- 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)
- Altisen K and Tripakis S Implementation of timed automata Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems, (273-288)
- Kim K, Kim M and Kim M Approaches for inheritance in the TMO programming scheme Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms, (304-316)
- Zhao Y, Oberthür S, Montealegre N, Rammig F and Kardos M Increasing dependability by means of model-based acceptance test inside RTOS Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics, (1034-1041)
- Farcas E, Farcas C, Pree W and Templ J (2005). Transparent distribution of real-time components based on logical execution time, ACM SIGPLAN Notices, 40:7, (31-39), Online publication date: 12-Jul-2005.
- Henzinger T, Kirsch C and Matic S (2005). Composable code generation for distributed giotto, ACM SIGPLAN Notices, 40:7, (21-30), Online publication date: 12-Jul-2005.
- Kiebusch S, Franczyk B and Speck A (2005). A real time measure of software system families, ACM SIGSOFT Software Engineering Notes, 30:4, (1-6), Online publication date: 1-Jul-2005.
- Farcas E, Farcas C, Pree W and Templ J (2005). Real-time component integration based on transparent distribution, ACM SIGSOFT Software Engineering Notes, 30:4, (1-7), Online publication date: 1-Jul-2005.
- Farcas E, Farcas C, Pree W and Templ J Transparent distribution of real-time components based on logical execution time Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (31-39)
- Henzinger T, Kirsch C and Matic S Composable code generation for distributed giotto Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (21-30)
- Kirsch C, Sanvido M and Henzinger T A programmable microkernel for real-time systems Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, (35-45)
- Farcas E, Farcas C, Pree W and Templ J Real-time component integration based on transparent distribution Proceedings of the second international workshop on Software engineering for automotive systems, (1-7)
- Kiebusch S, Franczyk B and Speck A A real time measure of software system families Proceedings of the third workshop on Software quality, (1-6)
- Lisner J Efficiency of dynamic arbitration in TDMA protocols Proceedings of the 5th European conference on Dependable Computing, (91-102)
- Obermaisser R, Peti P and Kopetz H Virtual Gateways in the DECOS Integrated Architecture Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
- Peti P, Obermaisser R, Ademaj A and Kopetz H A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
- Kim K and Jenks S Facilitating Distributed Time-Triggered Simulation of Embedded Systems and Environments Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
- Schattkowsky T, Mueller W and Rettberg A A Model-Based Approach for Executable Specifications on Reconfigurable Hardware Proceedings of the conference on Design, Automation and Test in Europe - Volume 2, (692-697)
- Izosimov V, Pop P, Eles P and Peng Z Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems Proceedings of the conference on Design, Automation and Test in Europe - Volume 2, (864-869)
- Kandasamy N, Hayes J and Murray B (2005). Time-Constrained Failure Diagnosis in Distributed Embedded Systems, IEEE Transactions on Parallel and Distributed Systems, 16:3, (258-270), Online publication date: 1-Mar-2005.
- Bouyssounouse B and Sifakis J Computing platforms Embedded Systems Design, (388-449)
- Bouyssounouse B and Sifakis J Current design practice and needs in selected sectors Embedded Systems Design, (377-387)
- Bouyssounouse B and Sifakis J Networks Embedded Systems Design, (316-337)
- Bouyssounouse B and Sifakis J Real-Time scheduling Embedded Systems Design, (242-257)
- Farcas E, Pree W and Templ J Bus scheduling for TDL components Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components, (71-83)
- Kim D, Jo E and Kim M Time-Triggered and message-triggered object architecture for distributed real-time multimedia services Proceedings of the 5th Pacific Rim Conference on Advances in Multimedia Information Processing - Volume Part II, (330-337)
- Thiele L and Wilhelm R (2004). Design for Timing Predictability, Real-Time Systems, 28:2-3, (157-177), Online publication date: 1-Nov-2004.
- Benveniste A, Caillaud B, Carloni L, Caspi P and Sangiovanni-Vincentelli A Heterogeneous reactive systems modeling Proceedings of the 4th ACM international conference on Embedded software, (220-229)
- Romberg J and Bauer A Loose synchronization of event-triggered networks for distribution of synchronous programs Proceedings of the 4th ACM international conference on Embedded software, (193-202)
- Pop P, Eles P, Peng Z and Pop T Analysis and optimization of distributed real-time embedded systems Proceedings of the 41st annual Design Automation Conference, (593-625)
- Pop P, Eles P and Peng Z (2004). Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems, Real-Time Systems, 26:3, (297-325), Online publication date: 1-Apr-2004.
- Pop P, Eles P, Peng Z, Izosimov V, Hellring M and Bridal O Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications Proceedings of the conference on Design, automation and test in Europe - Volume 2
- Marwedel P, Wehmeyer L, Verma M, Steinke S and Helmig U Fast, predictable and low energy memory references through architecture-aware compilation Proceedings of the 2004 Asia and South Pacific Design Automation Conference, (4-11)
- (Kane) Kim K (2004). The Distributed Time-Triggered Simulation Scheme, Real-Time Systems, 26:1, (9-28), Online publication date: 1-Jan-2004.
- Lima G and Burns A A Consensus Protocol for CAN-Based Systems Proceedings of the 24th IEEE International Real-Time Systems Symposium
- Broster I and Burns A An Analysable Bus-Guardian for Event-Triggered Communication Proceedings of the 24th IEEE International Real-Time Systems Symposium
- Richter K, Racu R and Ernst R Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC Proceedings of the 24th IEEE International Real-Time Systems Symposium
- Kulkarni C, Gries M, Sauer C and Keutzer K Programming challenges in network processor deployment Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems, (178-187)
- Pop T, Eles P and Peng Z Design optimization of mixed time/event-triggered distributed embedded systems Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (83-89)
- Xu J (2003). On Inspection and Verification of Software with Timing Requirements, IEEE Transactions on Software Engineering, 29:8, (705-720), Online publication date: 1-Aug-2003.
- Caspi P, Curic A, Maignan A, Sofronis C, Tripakis S and Niebert P (2003). From simulink to SCADE/lustre to TTA, ACM SIGPLAN Notices, 38:7, (153-162), Online publication date: 11-Jul-2003.
- Pop P, Eles P and Peng Z (2003). Schedulability-driven frame packing for multi-cluster distributed embedded systems, ACM SIGPLAN Notices, 38:7, (113-122), Online publication date: 11-Jul-2003.
- Kienzle J Software fault tolerance Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, (45-67)
- Caspi P, Curic A, Maignan A, Sofronis C, Tripakis S and Niebert P From simulink to SCADE/lustre to TTA Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, (153-162)
- Pop P, Eles P and Peng Z Schedulability-driven frame packing for multi-cluster distributed embedded systems Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, (113-122)
- Goldwasser M and Kerbikov B (2003). Admission control with immediate notification, Journal of Scheduling, 6:3, (269-285), Online publication date: 1-May-2003.
- Cheong E, Liebman J, Liu J and Zhao F TinyGALS Proceedings of the 2003 ACM symposium on Applied computing, (698-704)
- Pop P, Eles P and Peng Z Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
- Goldwasser M (2003). Patience is a virtue, Journal of Scheduling, 6:2, (183-211), Online publication date: 1-Mar-2003.
- Stankovic J Real-time systems Encyclopedia of Computer Science, (1504-1506)
- Pop T, Eles P and Peng Z Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems Proceedings of the tenth international symposium on Hardware/software codesign, (187-192)
- Richling J, Popova-Zeugmann L and Werner M (2002). Verification of non-functional properties of a composable architecture with Petri nets, Fundamenta Informaticae, 51:1, (185-200), Online publication date: 15-Mar-2002.
- Richling J, Popova-Zeugmann L and Werner M (2002). Verification of Non-functional Properties of a Composable Architecture with Petrinets, Fundamenta Informaticae, 51:1-2, (185-200), Online publication date: 1-Jan-2002.
- Ryu M, Park J and Hong S (2001). Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems, IEEE Transactions on Computers, 50:12, (1310-1320), Online publication date: 1-Dec-2001.
- Henzinger T, Horowitz B and Kirsch C Embedded Control Systems Development with Giotto Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, (64-72)
- Henzinger T, Horowitz B and Kirsch C Embedded Control Systems Development with Giotto Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, (64-72)
- Henzinger T, Horowitz B and Kirsch C (2001). Embedded Control Systems Development with Giotto, ACM SIGPLAN Notices, 36:8, (64-72), Online publication date: 1-Aug-2001.
- Buy U and Sloan R (2001). Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset, Automated Software Engineering, 8:3-4, (227-273), Online publication date: 1-Aug-2001.
- Liberato F, Melhem R and Mossé D (2000). Tolerance to Multiple Transient Faults for Aperiodic Tasks in Hard Real-Time Systems, IEEE Transactions on Computers, 49:9, (906-914), Online publication date: 1-Sep-2000.
- Kopetz H Software engineering for real-time Proceedings of the Conference on The Future of Software Engineering, (201-211)
- Caldwell D and Rennels D (2000). A Minimalist Fault-Tolerant Microcontroller Design for Embedded Spacecraft Computing, The Journal of Supercomputing, 16:1-2, (7-25), Online publication date: 1-May-2000.
- Kandasamy N, Hayes J and Murray B Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
- Panzieri F and Shrivastava S On the Provision of Replicated Internet Auction Services Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
- Selic B (1999). Turning clockwise, Communications of the ACM, 42:10, (46-54), Online publication date: 1-Oct-1999.
- Rushby J (1999). Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms, IEEE Transactions on Software Engineering, 25:5, (651-660), Online publication date: 1-Sep-1999.
- Steininger A and Temple C (1999). Economic Online Self-Test in the Time-Triggered Architecture, IEEE Design & Test, 16:3, (81-89), Online publication date: 1-Jul-1999.
- Pop P, Eles P and Peng Z Scheduling with optimized communication for time-triggered embedded systems Proceedings of the seventh international workshop on Hardware/software codesign, (178-182)
- Goldwasser M Patience is a virtue Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms, (396-405)
- von Hanxleden R, Botorabi A and Kupczyk S (1998). A Codesign Approach for Safety-Critical Automotive Applications, IEEE Micro, 18:5, (66-79), Online publication date: 1-Sep-1998.
- Papadopoulos Y and McDermid J (1998). A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries, Requirements Engineering, 3:2, (143-149), Online publication date: 1-Jun-1998.