From RT-LOTOS to time petri nets new foundations for a verification platform
T Sadani, JP Courtiat… - Third IEEE International …, 2005 - ieeexplore.ieee.org
The formal description technique RT-LOTOS has been selected as intermediate language to
add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS …
add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS …
Interactions médiatisées sur scène
A Bonardi, F Rousseaux - Revue des Sciences et Technologies de l' …, 2010 - hal.science
Prenant acte de la crise des représentations liées à la «graphosphère» et de la montée en
puissance des représentations multimédia, constatant l'émergence de l'informatique temps …
puissance des représentations multimédia, constatant l'émergence de l'informatique temps …
Vérification de code pour systèmes Embarqués
N Messolhi - 2010 - dspace.univ-guelma.dz
La vérification prend une place croissante dans l‟ informatique moderne. En grande partie
parce que nous nous reposons de plus en plus sur les systèmes informatiques. Que cela …
parce que nous nous reposons de plus en plus sur les systèmes informatiques. Que cela …
Convertisseurs d'électronique de puissance et systèmes numériques en aéronautique: application au radar météo
C Milleret - 2009 - theses.hal.science
En aéronautique civile, les systèmes électriques qui composent l'avion sont de plus en plus
nombreux, de par l'accroissement des fonctionnalités, des besoins des usagers (confort) …
nombreux, de par l'accroissement des fonctionnalités, des besoins des usagers (confort) …
Formal and efficient verification techniques for Real-Time UML models
T Sadani, P de Saqui-Sannes, JP Courtiat - Conference ERTS'06, 2006 - hal.science
The real-time UML profile TURTLE has a formal semantics expressed by translation into a
timed process algebra: RT-LOTOS. RTL, the formal verification tool developed for RT …
timed process algebra: RT-LOTOS. RTL, the formal verification tool developed for RT …
[CITATION][C] Validation de spécifications RT-LOTOS: Une interface vers l'outil TINA
T Sadani, P Saqui-Sannes, JP Courtiat - 2005