Learn More
Using a middleware when designing a new distributed application allows portability across numerous software and hardware architectures, but introduces a new layer of potential incompatibilities due to the existence of various middleware standards. This paper presents the architecture of DROOPI (Distributed Reusable Object-Oriented Polymorphic(More)
Using a middleware when designing a new distributed application allows portability across numerous software and hardware architectures, but introduces a new layer of potential incompatibilities due to the existence of various middle-ware standards. POLYORB, our generic middleware, directly addresses this problem: interoperability between distribution(More)
This paper presents COUVERTURE, an open coverage analysis framework for safety-critical software development. COUVERTURE offers non-intrusive source and object coverage analysis on unmodified user code, using instrumentation of a virtual execution platform based on QEMU, a flexible and efficient open-source CPU emulator. COUVERTURE focuses primarily on the(More)
One key step in the development of safety-critical applications is the assessment of the quality of the verification strategy. In practice, structural coverage is the methodology used to ascertain the testing campaign well satisfy a given quality criteria. In this paper, we describe the possible strategies to measure structural coverage in a DO-178B(More)
Diversity in distributed applications leads to diversity in distribution models, and hence in middleware. However, large systems may need different types of middleware and interoperability between them, requiring " Middleware to Middleware " architectures. We have introduced the schizophrenic middleware concept as a general solution for interoperability(More)
This paper presents formal results derived from the COUVERTURE project, whose goal was to develop tools to support structural coverage analysis of unin-strumented safety-critical software. After briefly introducing the project context and explaining the need for formal foundations, we focus on the relationships between machine branch coverage and the(More)