Méthodes formelles pour le développement et l’ingénierie de systèmes interactifs critiques
2017-01-01 2021-12-31
ICS team contributes with case studies (e.g. Weather Radar Application), the ICO formal description technique of Interactive Systems and the PetShop tool.
Application domains: Avionics
Scientific areas: HCI, Software engineering
Tools: Circus, PetShop, HAMSTERS
They work on this project
-
Associate Professor (Head of ICS Team)
-
Assistant Professor
-
Professor of Computer Science (Head of Department Reliability Systems and Software)
Partners
ENAC
ONERA
Office National d'Etudes et de Recherches AérospatialesINGENUITY I/O
Laboratoire Lorrain de Recherche en Informatique et ses Applications
2019
- International conferences articlesFormal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019). p:21-39.
2017
- International conferences articlesQBP Notation for Explicit Representation of Properties, their Refinement and their Potential Conflicts: Application to Interactive Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:91-105. Springer.