Thomas Quinot

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)
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)
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)
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)
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)