-
Formal Domain Engineering: From Specification to Validation
The main theme of this research is to study and develop techniques for modeling of software-controlled safety-critical systems. The area we focus in this thesis is the... -
Modèles orientés utilisateurs pour la vérification formelle en contexte indus...
During the last six years, our research interest has been about how to leverage the integration of formal verification techniques within the industrial software... -
Intentional Perspectives on Information Systems Engineering
International audience -
Modeling Strategic Alignment Using INSTAL
International audience -
Integrating Formal Verification Techniques into Software Development Process ...
In past years, formal verification techniques and tools were widely developed and used by the research community. However, the use of formal verification at industrial... -
Plateforme Ouverte de Supervision et de Traçabilité pour les Environnements C...
International audience -
A Method for Business/IT Alignment Engineering: Diagnosis, Evolution, Technol...
thèse CIFRE avec la Direction Organisation des Systèmes d'Information du Groupement des Mousquetaires -
Building abstract formal Specifications driven by goals
With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most... -
Integrating high-level requirements in optimization problems: theory and appl...
We mix Mathematical Programming (MP) and Systems Engineering (SE) modelling methods and integrate system-level requirements in optimization problems. We use MP, in the... -
Engineering Functional Requirements of Reactive Systems using Synchronous Lan...
International audience -
INCREMENT an Hybrid approach for modeling and analyzing regulatory safety req...
Instrumentation and Control (I&C) Systems important to safety must conform to their requirements, where regulatory requirements are first class entities, written... -
Towards unified tooling for easing the qualification of medical normed enviro...
International audience -
Model and tool to clarify intentions and strategies in learning scenarios design
International audience -
Modeling and verification of functional and non functional requirements of am...
The overall contribution of this thesis is to propose an integrated approach for modeling and verifying the requirements of Self Adaptive Systems using Model Driven... -
Definition of language for automotive embedded electronic architecture descri...
Rapport de contrat.
