Vous êtes ici

D4 - LANGAGE ET GÉNIE LOGICIEL

Responsable: Benoît Caillaud (Inria)

Description en anglais.

The research domain of the Language and Software Engineering Department is the study of software concepts, languages, methods and tools to build safe, secure and efficient software that is operating in dynamic and increasingly unpredictable environments. This field of research has been well established for at least 50 years, with key challenges lying in discovering new ways of decomposing and composing software. This is a never ending quest for modularity mechanisms supporting modular-* (i.e. modular design, modular composition, modular reasoning, modular verification, modular evolution, modular dynamic adaptation, etc.) on many dimensions, such as functional, extra-functional, Timeliness, Safety, Security, QoS, etc.

The recent convergence between embedded systems and distributed systems also induces new challenges in terms of self-management and security, in addition to the traditional issues of efficiency and functional correctness.

The department activities aim at covering several important aspects of software development, from the design of the software using model-driven engineering, to its implementation using modular, component-based and aspect-oriented programming techniques. A particular emphasis is put on the validation techniques (proof, testing, model checking) for the software and on the development of the machine-checked programming tools (compilers, program transformers and analysers) to automate this implementation process.

Rapports d'activités (pdf)

ARCHWARE
CELTIQUE
DIVERSE
2014 ; 2015 ; 2016
HYCOMES
LogicA
2013 ; 2014 ; 2015 ; 2016
PASS
2012 ; 2013 ; 2014 ; 2015 ; 2016
SUMO
TAMIS
2016
TEA
2014 ; 2015 ; 2016

    Séminaires/Workshops - Soutenances

    Pour obtenir l'historique des séminaires et des soutenances de votre département : consultez la liste des départements

     

    Soutenances thèses/HDR

    Date Type Titre Orateur Lieu
    13 sep 2017 Thèse Accelerated Simulation of Hybrid Systems : Method combining static analysis and run-time execution analysis Ayman ALJARBOUH Salle Métivier, IRISA/INRIA