Add to ORKGThis paper describes OpenAda, a reflective version of Ada that we developed to support research in software fault tolerance with a language frequently used in high-reliability applications. Written in object-oriented Ada 95, OpenAda is similar to both OpenC++, arguably the most widely used language for software fault tolerance research, and OpenJava. All three are implementations of compile-time reflection and thus share certain requirements and design approaches. We discuss the architecture, use, design rationale, limitations, and implementation approaches for OpenAda and highlight the similarities to OpenC++ and OpenJava. We also discuss future plans, including re-hosting the implementation on the Java Virtual Machine
This paper presents an architecture (Multi-μ) being implemented to study and develop software based...
ABSTRACT This paper reports on the workshop that was held on Oct 27 th , 2010 during the SIGAda conf...
This paper examines two aspects of using Ada for the implementation of large program systems. First,...
Abstract. Transparent system support for software fault tolerance reduces performance in general and...
Atomic actions are an important dynamic structuring technique that aid the construction of fault-tol...
Abstract—Atomic actions are an important dynamic structuring technique that aid the construction of ...
This dissertation investigates data integrity in Ada 95. The hypothesis presented is that Ada 95 pro...
We consider the problem of defining and, most important, of using, the backward error recovery techn...
In this paper we present a project to provide fault tolerance in distributed Ada 95 application by m...
This paper reports our experience with the use of the C++ language and Open C++ (a reflective versio...
This paper proposes a reflective object-oriented architecture for developing fault-tolerant software...
This paper proposes a reflective object-oriented architecture for developing fault-tolerant software...
There is a growing need to support parallel computation in Ada to cope with the performance requirem...
Ada is a large, modern imperative programming language designed for the programming of embedded comp...
For the development of mission-critical software, the choice of programming language makes a signifi...
This paper presents an architecture (Multi-μ) being implemented to study and develop software based...
ABSTRACT This paper reports on the workshop that was held on Oct 27 th , 2010 during the SIGAda conf...
This paper examines two aspects of using Ada for the implementation of large program systems. First,...
Abstract. Transparent system support for software fault tolerance reduces performance in general and...
Atomic actions are an important dynamic structuring technique that aid the construction of fault-tol...
Abstract—Atomic actions are an important dynamic structuring technique that aid the construction of ...
This dissertation investigates data integrity in Ada 95. The hypothesis presented is that Ada 95 pro...
We consider the problem of defining and, most important, of using, the backward error recovery techn...
In this paper we present a project to provide fault tolerance in distributed Ada 95 application by m...
This paper reports our experience with the use of the C++ language and Open C++ (a reflective versio...
This paper proposes a reflective object-oriented architecture for developing fault-tolerant software...
This paper proposes a reflective object-oriented architecture for developing fault-tolerant software...
There is a growing need to support parallel computation in Ada to cope with the performance requirem...
Ada is a large, modern imperative programming language designed for the programming of embedded comp...
For the development of mission-critical software, the choice of programming language makes a signifi...
This paper presents an architecture (Multi-μ) being implemented to study and develop software based...
ABSTRACT This paper reports on the workshop that was held on Oct 27 th , 2010 during the SIGAda conf...
This paper examines two aspects of using Ada for the implementation of large program systems. First,...