WorldCat Identities

Gérard, Sébastien

Overview
Works: 8 works in 49 publications in 2 languages and 951 library holdings
Roles: Contributor, Editor, Author, Opponent
Publication Timeline
.
Most widely held works by Sébastien Gérard
Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems by Bran Selic( )

19 editions published between 2013 and 2014 in English and held by 590 WorldCat member libraries worldwide

Modeling and analysis of real-time and embedded systems with Unified Modeling Language and Modeling and Analysis of Real Time and Embedded Systems
Model driven engineering for distributed real-time embedded systems by Sébastien Gérard( )

15 editions published in 2005 in English and held by 254 WorldCat member libraries worldwide

The Model Driven Architecture (MDA) is concerned with the development of standards and technologies that enable and support model-based system development. This book aims to provide the information needed to understand and apply MDE (including MDA) approaches to the development of embedded systems
From MDD concepts to experiments and illustrations by Jean-Philippe Babau( )

8 editions published in 2006 in English and held by 100 WorldCat member libraries worldwide

"In the context of Distributed and Real-time Embedded Systems (DRES), system developers are faced with reducing system development cost and time while developing correct (relating to safe and QoS properties) and increasingly complex systems. To take up this challenge, Model Driven Development (MDD) advocates the intensive use of models and model transformations on several levels of abstractions. This book includes contributions from academic and professional experts on a range of topics related to MDD practices, methods and emerging technologies. After introducing general concepts about modeling and how to implement model transformations, two presentations provide an overview of the MARTE profile. Coverage is then given to the most common aspects of MDD for DreS : struturing architectures using components, designing hardware architecture, evaluation and validation through tests and performance analysis. Finally, guidance is given as to how and why MDD should be used by presenting a tool to support MDD and describing an industrial application of MDD concepts."
Développement sans rupture de systèmes complexes : une approche basée multi-exigences by Florian Galinier( Book )

2 editions published in 2021 in English and held by 2 WorldCat member libraries worldwide

Proving that a system satisfies its requirements is an important challenge of Requirements Engineering. On the one hand, formal approaches provide a way to express requirements mathematically and prove that a system satisfies its requirements. However, if formalization offers additional possibilities such as verification, or even validation, it often proves to be too difficult to use in practice by the stakeholders involved in the development of systems. On the other hand, in most cases, requirements are written and sometimes traced in Natural Language for communication and mutual understanding purposes. Moreover, this remains during the whole development process. Thus, it is necessary to consider the need to address all these stakeholders during the development process. The main objective of this thesis is to provide a seamless methodology that allows benefiting from the formalization of requirements while being understandable by all stakeholders. We propose an approach that considers requirements as parts of the system's code, which, as such, contributes to improving quality assessment. In addition, integrating the requirements into the code guarantees a seamless development. The contributions target three main benefits. First, there is no need to switch from one tool or environment to another: a single framework supports the development from analysis to implementation. Second, changes and reversibility become a regular occurrence, directly supported by the method, language, and tools, facilitating round-trips. Third, the different levels of abstraction remain inside the object-oriented paradigm. We apply this vision to the development process itself with the same expected advantages. The development life-cycle can then benefit from this strong integration of requirements into the code. These artifacts help in software development by providing support and guidelines for analysis or decision support and reinforcing the software quality. Besides, reusability, evolutivity, and maintainability are enhanced. Traceability between requirements and code allows an easy impact analysis when any of these artifacts evolve. However, if this paradigm is familiar to developers and even if we put an effort in providing expressivity, they are not addressed to other stakeholders that used to work with several tools. Since we also want non-experts to use our approach to validate systems in the early stage of their development, we propose a Domain-Specific Language: (i) close to natural language and (ii) based on formal semantics. Using Model-Driven Engineering techniques, this language bridges the gap between the several stakeholders involved in a project (considering their different backgrounds) and between the requirements and the code. We finally put a research effort into defining relationships between requirements. We provide their formal definitions and properties on the propagation of the satisfaction state. These definitions can help engineers verify requirements (by checking the validity of the semantics of the relationships between two requirements) and verify the system compliance (thanks to satisfaction propagation). This work is a step towards introducing formal semantics into traceability, making it possible to automatically analyze requirements and use their relationships to verify the corresponding implementation of the system
Un modèle cognitif pour l'interprétation des expressions référentielles dans le cadre d'un système générique de dialogue homme-machine finalisé by Sébastien Gérard( Book )

2 editions published in 2003 in French and held by 2 WorldCat member libraries worldwide

This work integrates itself in the Interviews project, it aims to propose a generic system for task-oriented human machine dialogue. In this context, we propose a model for the interpretation of referential expressions. We define a model of the reference based on cognitive psychology work, but in which the accessibility of referents is not defined locally vis-à-vis a referential expression, but globally vis-à-vis an intervention. The process of interpreting the user's interventions - and thus referential expressions - can be considered to be the transformation of a starting expression - of a textual nature - into a final expression - of a formal nature. In our model, this transformation results in the successive application of a set of rules until the acquisition of a terminal expression of minimal cost. For the lexical analysis of the user's interventions, we use the Wordnet semantic network, in order to define in a generic manner, all the possible lexicalisations for each concept used in the application, thus defining the application's vocabulary. The rules that are not specific to a given application or a given situation, directly translate into a generic text form, that we call a pattern in its formal translation. The pragmatic rules stem from the situation represented by the dynamic model of the application given by the mediator and from the internal representation of the dialog history in our system to obtain the request executable by the mediator that will represent the user's intervention
Conception dirigée par les modèles à l'aide de langages de modélisation hétérogènes : application aux profils UML by Florian Noyrit( )

1 edition published in 2012 in French and held by 1 WorldCat member library worldwide

The various stakeholders who describe study and implement a complex system require viewpoints that are dedicated to their concerns. However, in the context of Model-Driven Engineering, approaches to define and implement those viewpoints are either too rigid and inappropriate or completely ad hoc. In addition, those various viewpoints are rarely independent from each other. Therefore, we must strive to identify and describe the relationships/correspondences between the viewpoints in order to be able to verify that the parts of the solution given by the various stakeholders form a consistent whole.The work presented in this thesis provides a way to define dedicated languages based on UML for the viewpoints. For this, a method that analyzes the semantics of the textual descriptions of the concepts of the domain we want to map to UML has been implemented to facilitate the definition of UML profiles. The results we get on the concrete test cases we considered are encouraging and go beyond results of existing tools. To define a viewpoint based on some UML profiles, this thesis provides a method that lets the methodologist make explicit the viewpoint he/she wants. A tool can then generate the tooling that implements this viewpoint in a modeling environment together with the corresponding dedicated language while current practice is based on an implementation essentially manual.To assist the identification of relationships between the viewpoints, this thesis proposes again to analyze the semantics of textual descriptions of concepts of the languages used by the viewpoints. Used in combination with existing syntactic heuristics, the proposed approach provides good results when the terminologies of the languages that are analyzed are far apart. A theoretical framework based on category theory is provided to make explicit formally correspondences. To use this framework, a category for languages based on UML has been proposed. To be able to make explicit the correspondences between the models of those languages as well, the category of OWL ontologies is used. A solution is proposed to characterize correspondences that are more complex than the simple equivalence relationship. This theoretical framework provides a way to define formally complex relationships that can be used to verify the consistency of the architectural description. Once the description of the architecture has been integrated according to the formal correspondences, the issue of consistency is considered. The experiments carried out on a concrete test case to verify consistency on a syntactic perspective give satisfactory practical results. The experiments carried on the same test case to verify consistency on a semantic perspective don't give satisfactory practical results
Methodology for a Model-based Timing Analysis Process for Automotive Systems by Saoussen Rekik( )

1 edition published in 2011 in French and held by 1 WorldCat member library worldwide

Automotive systems are characterized today by increasing complexity, limited resources and more and more timing and safety requirements. Timing verification is performed too late during the development process. It is addressed by means of measurements and tests rather than through formal and systematic analysis. To meet the challenges of automotive software development, many model-based approaches have been developed. These approaches give modeling languages, concepts and methodologies allowing the description of automotive architecture. However, these approaches give no guidance for the integration of timing analysis (mainly scheduling analysis) during the phases of the model-based development process. This PhD work aims at defining a methodology that describes a model-based timing analysis process. This methodology describes the different phases of the model-based development process and how timing analysis is performed during each phase. This work has been performed in the context of a technical collaboration between Continental Automotive and the CEA laboratory
Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles by Frédéric Thomas( )

1 edition published in 2008 in French and held by 1 WorldCat member library worldwide

Face à la complexité des applications logicielles multitâches, une approche prometteuse est l'automatisation des développements. En pratique, cela se concrétise par des générateurs capables de produire les implantations propres aux plates-formes logicielles d'exécution multitâche. Ces générateurs sont figés autour d'heuristiques d'implantations propres à chaque plate-forme visée. En vue d'obtenir des solutions plus flexibles, cette étude a pour objectif d'externaliser les formalismes propres aux plates-formes d'exécution dans des modèles explicites. Ces modèles sont alors utilisés en entrée des ingénieries ce qui permet de capitaliser et de réutiliser les générateurs. Pour y parvenir, cette étude définit un motif générique pour la modélisation des plates-formes logicielles d'exécution, une extension au langage UML pour la modélisation des plates-formes multitâches et une infrastructure de transformation intégrant ces modèles de plates-formes
 
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.52 (from 0.46 for Développe ... to 0.99 for Model driv ...)

Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems
Covers
Model driven engineering for distributed real-time embedded systemsFrom MDD concepts to experiments and illustrations
Languages
English (44)

French (5)