Thomas Vergnaud

Learn More
The development of real-time distributed applications requires mid-dleware 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(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)
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 on the(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)
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)
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 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)
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)