Le département Fiabilité des Systèmes et du Logiciel mène des travaux de recherche centrés autour de deux activités complémentaires :avec une attention systématique à la production de certificat de confiance sur la qualité (sûreté, sécurité, fiabilité…) des systèmes et logiciels étudiés.
- la conception de techniques et de méthodes rigoureuses supportant le développement de systèmes et de logiciels de qualité.
- le développement de systèmes et de logiciels de qualité en utilisant des méthodes et techniques rigoureuses ;
Pour plus de détails, consultez la présentation du département FSL sur le site de l'IRIT.
Dernières publications en texte intégral
-
Alessio Bucaioni, Romina Eramo, Luca Berardinelli, Hugo Bruneliere, Benoît Combemale, et al.. Multi-Partner Project: A Model-Driven Engineering Framework for Federated Digital Twins of Industrial Systems (MATISSE). Design, Automation and Test in Europe Conference (DATE 2025), 2025, Lyon, France. ⟨hal-04839759⟩
-
-
Axel Carayon, Camille Fayollas, Clément Hubin-Andrieu, Emilie Tortel, Célia Martinie, et al.. Information Visualization for Supporting Short-term and Long-term Situation Awareness in Ground Segments Monitoring: Application to SWOT Command and Control Operations. 75th International Astronautical Congress (IAC), Oct 2024, Milan (Italie), Italy. ⟨hal-04751768⟩
-
-
-
-
-
-
Ralph Matthes, Kobe Wullaert, Benedikt Ahrens. Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallinn, Estonia. pp.25:1-25:22, ⟨10.4230/LIPIcs.FSCD.2024.25⟩. ⟨hal-04642448⟩
-
Nathan Monsoro, Célia Martinie, Philippe Palanque, Théo Saubanère. A Systematic Task and Knowledge-Based Process to Tune Cybersecurity Training to User Learning Groups: Application to Email Phishing Attacks. 18th International Symposium on Human Aspects of Information Security and Assurance, IFIP Work Group 11.12, Jul 2024, Skövde, Sweden. pp.165-179, ⟨10.1007/978-3-031-72559-3_12⟩. ⟨hal-04727127⟩