Operating system fault tolerance support for real-time embedded applications

Tese de doutoramento em Electronica Industrial (ramo de conhecimento em Informatica Industrial)

[1]  Shigeru Chiba,et al.  A metaobject protocol for C++ , 1995, OOPSLA.

[2]  Daniel Mahrenholz,et al.  Program instrumentation for debugging and monitoring with AspectC++ , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

[3]  Jörg Kienzle,et al.  AOP: Does It Make Sense? The Case of Concurrency and Failures , 2002, ECOOP.

[4]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[5]  K. H. Kim,et al.  Fault-tolerant real-time objects , 1997, CACM.

[6]  D. P. Siemwiorek.  Architecture of fault-tolerant computers: an historical perspective , 1991 .

[7]  Wolfgang Schröder-Preikschat,et al.  On aspect-orientation in distributed real-time dependable systems , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

[8]  Algirdas A. Avi.  The Methodology of N-Version Programming , 1995 .

[9]  K. H. Kim,et al.  An efficient middleware architecture supporting time-triggered message-triggered objects and an NT-based implementation , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[10]  Brian Randell.  System structure for software fault tolerance , 1975 .

[11]  Stefan Poledna.  Fault-Tolerant Real-Time Systems , 1995 .

[12]  Adrian M. Colyer,et al.  Using AspectJ for component integration in middleware , 2003, OOPSLA '03.

[13]  K. H. Kim,et al.  Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications , 1989, IEEE Trans. Computers.

[14]  Jean Arlat,et al.  Dependability of COTS Microkernel-Based Systems , 2002, IEEE Trans. Computers.

[15]  Mladen A. Vouk,et al.  The Reliable Hybrid Pattern A Generalized Software Fault Tolerant Design Pattern , 1997 .

[16]  Akinori Yonezawa,et al.  Abstracting Object Interactions Using Composition Filters , 1993, ECOOP Workshop.

[17]  David F. McAllister,et al.  Fault-Tolerant SoFtware Reliability Modeling , 1987, IEEE Transactions on Software Engineering.

[18]  Danilo Beuche,et al.  The PURE family of object-oriented operating systems for deeply embedded systems , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[19]  Rami G. Melhem,et al.  Implementation of a transient-fault-tolerance scheme on DEOS-a technology transfer from an academic system to an industrial system , 1999, Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium.

[20]  Qing Li,et al.  Real-Time Concepts for Embedded Systems , 2003 .

[21]  Neil R. Storey,et al.  Safety-critical computer systems , 1996 .

[22]  Carlos Silva,et al.  Implementation of middleware fault tolerance support for real-time embedded applications , 2006 .

[23]  Brian Randell,et al.  The Evolution of the Recovery Block Concept , 1994 .

[24]  Jie Xu,et al.  A generic approach to structuring and implementing complex fault-tolerant software , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

[25]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[26]  Eberhard Gill,et al.  Technology demonstration by the BIRD-mission , 2005 .

[27]  Simin Nadjm-Tehrani,et al.  Aspects for improvement of performance in fault-tolerant software , 2004, 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings..

[28]  Peter Öhman,et al.  Implementing Fault Tolerance Using Aspect Oriented Programming , 2007, LADC.

[29]  Paul Ammann,et al.  Data Diversity: An Approach to Software Fault Tolerance , 1988, IEEE Trans. Computers.

[30]  Johan Karlsson,et al.  A framework for node-level fault tolerance in distributed real-time systems , 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

[31]  P. Tonella,et al.  Adding distribution to existing applications by means of aspect oriented programming , 2004 .

[32]  Sergio Montenegro,et al.  Application-level fault tolerance in real-time embedded systems , 2008, 2008 International Symposium on Industrial Embedded Systems.

[33]  Olaf Spinczyk,et al.  The design and implementation of AspectC++ , 2007, Knowl. Based Syst..

[34]  Torres Wilfredo,et al.  Software Fault Tolerance: A Tutorial , 2000 .

[35]  Jim Gray,et al.  Why Do Computers Stop and What Can Be Done About It? , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[36]  Daniel P. Friedman,et al.  Aspect-Oriented Programming is Quantification and Obliviousness , 2000 .

[37]  P. M. Melliar-Smith,et al.  A program structure for error detection and recovery , 1974, Symposium on Operating Systems.

[38]  Jean Arlat,et al.  MetaKernels and fault containment wrappers , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[39]  J. Xu,et al.  Toward an object-oriented approach to software fault tolerance , 1994, Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems.

[40]  M. Hecht,et al.  Adaptive fault tolerance for spacecraft , 2000, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

[41]  K. H. Kim,et al.  Approaches to implementation of multiple DRB stations in tightly-coupled computer networks , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[42]  Pascal Traverse,et al.  AIRBUS A320/A330/A340 electrical flight controls - A family of fault-tolerant systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[43]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[44]  Friedrich Steimann.  The paradoxical success of aspect-oriented programming , 2006, OOPSLA '06.

[45]  Carlos Silva,et al.  Middleware Fault Tolerance Support for the BOSS Embedded Operating System , 2006 .

[46]  Wolfgang Schröder-Preikschat,et al.  Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP , 2007, ACP4IS.

[47]  Gregor Kiczales,et al.  Using aspectC to improve the modularity of path-specific customization in operating system code , 2001, ESEC/FSE-9.

[48]  J. H. Lala,et al.  Architectural principles for safety-critical real-time applications , 1994, Proc. IEEE.

[49]  S. Montenegro,et al.  High Performance Ultra High Dependable Architecture for Autonomous Robotics in Space , 2006 .

[50]  Pankaj Jalote,et al.  Fault tolerance in distributed systems , 1994 .

[51]  William H. Sanders,et al.  AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects , 2003, IEEE Trans. Computers.

[52]  Olaf Spinczyk,et al.  Using AOP to develop architectural-neutral operating system components , 2004, EW 11.

[53]  Ruben Alexandersson,et al.  Aspect oriented software implemented node level fault tolerance , 2005, ICSE 2005.

[54]  K Tso,et al.  A reuse framework for software fault tolerance , 1995 .

[55]  Andrew Clement,et al.  Large-scale AOSD for middleware , 2004, AOSD '04.

[56]  Dhiraj K. Pradhan,et al.  Fault-tolerant computer system design , 1996 .

[57]  Miguel Toro,et al.  Fault tolerance as an aspect using JReplica , 2001, Proceedings Eighth IEEE Workshop on Future Trends of Distributed Computing Systems. FTDCS 2001.

[58]  Jiri Gaisler.  A portable and fault-tolerant microprocessor based on the SPARC v8 architecture , 2002, Proceedings International Conference on Dependable Systems and Networks.

[59]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[60]  Gregor Kiczales,et al.  Back to the future: a retroactive study of aspect evolution in operating system code , 2003, AOSD '03.

[61]  K. H. Kim.  Toward Integration of major Design Techniques for Real-Time Fault-Tolerant Computer Systems , 2002, Trans. SDPS.

[62]  K. H. Kim.  ROAFTS: a middleware architecture for real-time object-oriented adaptive fault tolerance support , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

[63]  Aniruddha S. Gokhale,et al.  Towards Real-Time Fault-Tolerant CORBA Middleware , 2004, Cluster Computing.

[64]  David Powell.  Distributed Fault Tolerance - Lessons Learned from Delta-4 , 1993, Hardware and Software Architectures for Fault Tolerance.

[65]  Hans-Arno Jacobsen,et al.  Refactoring Middleware with Aspects , 2003, IEEE Trans. Parallel Distributed Syst..

[66]  Victor P. Nelson.  Fault-tolerant computing: fundamental concepts , 1990, Computer.

[67]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[68]  Brian Randell,et al.  Implementing Software-Fault Tolerance in C++ and Open C++: An Object-Oriented and Reflective Approach , 1996 .

[69]  Peter A. Barrett,et al.  Towards an integrated approach to fault tolerance in Delta-4 , 1993, Distributed Syst. Eng..

[70]  H. Kayal,et al.  BEESAT: A Pico Satellite for the On Orbit Verification of Micro Wheels , 2007, 2007 3rd International Conference on Recent Advances in Space Technologies.

[71]  Wolfgang Schröder-Preikschat,et al.  Lean and Efficient System Software Product Lines: Where Aspects Beat Objects , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[72]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[73]  Kenneth P. Birman,et al.  Building Secure and Reliable Network Applications , 1996 .

[74]  Laura L. Pullum,et al.  Software Fault Tolerance Techniques and Implementation , 2001 .

[75]  Daniel P. Siewiorek,et al.  High-availability computer systems , 1991, Computer.

[76]  Paulo Veríssimo,et al.  Distributed Systems for System Architects , 2001, Advances in Distributed Computing and Middleware.

[77]  Hideyuki Tokuda,et al.  Real-Time Mach: Towards a Predictable Real-Time System , 1990, USENIX MACH Symposium.

[78]  Pattie Maes.  Concepts and experiments in computational reflection , 1987, OOPSLA 1987.

[79]  Olivier Barais,et al.  Vigilant usage of Aspects , 2007 .

[80]  Heinz Kantz,et al.  The ELEKTRA railway signalling system: field experience with an actively replicated system with diversity , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[81]  K. H. Kim,et al.  Architecture of ROAFTS/Solaris: a Solaris-based middleware for real-time object-oriented adaptive fault tolerance support , 1998, Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241).

[82]  Aniruddha S. Gokhale,et al.  Middleware specialization using aspect oriented programming , 2006, ACM-SE 44.

[83]  Hakan Kayal,et al.  Dependable Software (BOSS) for the Beesat PICO Satellite , 2006 .

[84]  Aniruddha S. Gokhale,et al.  DOORS: towards high-performance fault tolerant CORBA , 2000, Proceedings DOA'00. International Symposium on Distributed Objects and Applications.

[85]  F. Irom,et al.  Space processor radiation mitigation and validation techniques for an 1,800 MIPS processor board , 2003, Proceedings of the 7th European Conference on Radiation and Its Effects on Components and Systems, 2003. RADECS 2003..

[86]  K. H. Kim,et al.  A distributed fault tolerant architecture for nuclear reactor and other critical process control applications , 1991, [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium.

[87]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[88]  Wolfgang Schröder-Preikschat,et al.  A quantitative analysis of aspects in the eCos kernel , 2006, EuroSys.

[89]  Rami Melhem,et al.  Fault-tolerant RT-Mach (FT-RT-Mach) and an application to real-time train control , 1999 .