-
Ontology for complex railway systems application to ERTMS/ETCS system
We present hereafter the experimental work of building an ontology of the European Rail Traffic Management System (ERTMS) domain. ERTMS is a railway complex control... -
Ontology for complex railway systems application to ERTMS/ETCS system
We present hereafter the experimental work of building an ontology of the European Rail Traffic Management System (ERTMS) domain. ERTMS is a railway complex control... -
Formal and Incremental Construction of Distributed Algorithms: On the Distrib...
The development of distributed algorithms and, more generally, distributed systems, is a complex, delicate and challenging process. Refinement techniques of (system)... -
Defining tools to address over-constrained geometric problems
International audience -
A Simulation Framework for the Validation of Event-B Specifications
This thesis aims at the specification, verification and validation of safety-critical systems with formal methods, in particular, with Event-B. We assessed the... -
{GDT4MAS}: an extension of the GDT model to specify and to verify MultiAgent ...
International audience -
PLQ2000 : le premier standard de station d'acquisition de données au service ...
Depuis les années 80, le Ministère de l'Aménagement du Territoire et de l'Environnement a initié une démarche de modernisation des réseaux de mesures et des banques de... -
Service specifications to B, or not to B
Colloque avec actes et comité de lecture. -
Using Larch to specify the Behavior of Objects in Open Distributed Environments
Colloque avec actes et comité de lecture. -
The invoice system problem in TLA+
Colloque avec actes et comité de lecture. -
Construction et vérification de spécifications d'Interfaces Homme-Machine
Ingénieur CNAM. Rapport de stage. -
Formalizing a subset of ERTMS/ETCS specifications for verification purposes
ERTMS is the standard railway control-command and signaling system which aims to ensure railway interoperability throughout Europe while enhancing safety and... -
Always and Eventually in Object Requirements
Colloque avec actes et comité de lecture. -
Fair Objects
Colloque avec actes et comité de lecture. -
Modular Aspects of Rewrite-Based Specifications
Colloque avec actes et comité de lecture. -
A Heuristic Approach to Detect Feature Interactions in Requirements
Colloque avec actes et comité de lecture. -
An Object Oriented Requirements Capture and Analysis Environment
Rapport interne. -
Achieving Qualities During the Development of LOTOS Specifications
Colloque avec actes et comité de lecture. -
Requirements Elicitation for a Light Control System
Colloque sur invitation. internationale.
