P
P. de Saqui-Sannes
Researcher at École nationale supérieure d'ingénieurs de constructions aéronautiques
Publications - 7
Citations - 255
P. de Saqui-Sannes is an academic researcher from École nationale supérieure d'ingénieurs de constructions aéronautiques. The author has contributed to research in topics: Formal verification & Unified Modeling Language. The author has an hindex of 5, co-authored 7 publications receiving 252 citations. Previous affiliations of P. de Saqui-Sannes include Centre national de la recherche scientifique & University of Toulouse.
Papers
More filters
Journal ArticleDOI
TURTLE: a real-time UML profile supported by a formal validation toolkit
TL;DR: A UML 1.5 profile endowed with a formal semantics given in terms of RT-LOTOS, which relies on UML's extensibility mechanisms to enhance class and activity diagrams and its application in the context of space-based embedded software is discussed.
Journal ArticleDOI
Modeling logical and temporal synchronization in hypermedia systems
TL;DR: A unified formal model for the complete and accurate specification of both temporal and logical synchronization within hypermedia distributed and weakly synchronous systems is introduced.
Journal ArticleDOI
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System
TL;DR: The paper proposes a modeling and formal validation methodology based on TURTLE and RTL, and discusses its application to a payload software application in charge of an embedded packet switch.
Proceedings ArticleDOI
Real-Time and Embedded System Verification Based on Formal Requirements
TL;DR: The TURTLE methodology with a requirement capture phase is extended and SysML requirement diagrams are introduced, serving as starting point to automatically synthesize observers and to guide the verification process applied to the TurTLE model of the system.
Journal ArticleDOI
Formal verification of secure group communication protocols modelled in UML
P. de Saqui-Sannes,P. de Saqui-Sannes,Thierry Villemur,Thierry Villemur,Benjamin Fontan,S. Mota,Mohamed Salah Bouassida,Najah Chridi,Isabelle Chrisment,Laurent Vigneron +9 more
TL;DR: An experience in using Unified Modelling Language and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design, enabled saving development time by eliminating design solutions with inappropriate temporal parameters.