Thomas Vergnaud

Learn More
The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application requirements and integrate legacy components. Current middleware provides only partial solutions to these issues. Moreover, they newer address all of them. Thus, a new generation of middleware(More)
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description languages (ADLs) such as the AADL provide adequate syntax and semantics to express all those properties on each component of a system. DRE systems rely on a key component, the(More)
Abstract. Heterogeneous non-functional requirements of Distributed Real-Time Embedded (DRE) system put a limit on middleware engineering: the middleware must reflect application requirements, with limited runtime impact. Thus, building an application-tailored middleware is both a requirement and a challenge. In this paper, we provide an overview of our work(More)
Distribution middleware is often integrated as a COTS, providing distribution facilities for critical, embedded or large-scale applications. So far, typical middleware does not come with a complete analysis of their behavioral properties. In this paper, we present our work on middleware modeling and the verification of its behavioral properties; the study(More)
Dependable embedded software system design is fastidious because designers have to understand and handle multiple, interdependent, pervasive dependability concerns such as fault tolerance, timeliness, performance, security. Because these concerns tend to crosscut application architecture, understanding and changing their descriptions can be difficult.(More)
In critical systems, failures or attacks based on software misconceptions can have catastrophic consequences. In order to avoid those situations, such systems need security and dependability (S&D) constraints. Usually S&D design patterns shape S&D mechanisms. Security and dependability experts identify S&D mechanisms to reach S&D(More)
Scheduling analysis techniques are well adapted for performance estimation at early design stages of component-based applications, since they rely on an abstraction of the timing properties. These properties can be annotated to the design model using well-known standards such as the UML Profile for MARTE. However, due to its high syntax complexity, MARTE(More)
Model based software design relies on model transformations. In order to ease their reuse and maintenance, transformations can be broken down into smaller transformation units that are to be composed. When reusing transformation units in different projects, it is necessary to identify how to compose them in order to obtain a valid transformation. A valid(More)
Model transformations are usually difficult to automate as they require to transform graphs into other graphs while the result must respect a set of predefined constraints. In previous works, we described how to compose competing model transformations addressing the same objective with different non-functional results. In this paper, we focus on the(More)
Developing middleware for distributed application is a difficult challenge. Such software should be verifiable in order to help ensure its reliability; it also has to be configurable so that it can be tailored to the specific requirements of the target system. So there is a strong need for methodologies to manage numerous versions of such software. In this(More)