Les événements du CRIM

Le CRIM organise des événements qui traitent d’une variété de sujets à l’intention de la communauté des technologies de l’information du Québec. Ces rendez-vous, qui favorisent le réseautage et le maillage, abordent des thèmes d’actualité qui vous aideront à prendre les meilleures décisions pour la bonne gestion et le bon développement de vos projets TI.

Fault Detection in Timed FSM with Timeouts by SAT-Solving

Fault Detection in Timed FSM with Timeouts by SAT-Solving

Présentation en anglais

Détection des défauts dans les FSM temporisés par résolution de contraintes SAT

CONFÉRENCIER

Omer Nguena Timo, chercheur en modélisation, test et vérification logiciel, CRIM.


Fault Detection in Timed FSM with Timeouts by SAT-Solving

SPEAKER

Omer Nguena Timo, Researcher in Software Modeling, Testing and Verification, CRIM.

ABSTRACT

Faults in safety critical real-time systems are not only logical, but they can correspond to violations of timing constraints. We present a fault detection approach for systems represented with Timed FSM with Timeouts. In the approach we use a nondeterministic TFSM-T called a mutation machine to represent a domain of possible implementations of a TFSM-T specification and we propose a method of generating complete test suites.

BIOGRAPHIEBIOGRAPHY


Les séminaires scientifiques du CRIM, gratuits et ouverts à tous, sont donnés par des experts de renommée internationale, des collaborateurs universitaires, le personnel de R-D et les étudiants du CRIM. Au programme, des présentations conviviales sur les dernières avancées scientifiques et technologiques.


Conférence gratuite. Inscription requise.

Le 24 octobre 2019
De 11h à 12h

Lieu CRIM405, avenue Ogilvy,
Bureau 101, Salle 1056
Montréal, H3N 1M3
ContactCRIM514 840-1234
Une présentation de Omer Nguena Timo, chercheur en modélisation, test et vérification logiciel au CRIM.

Tous les Événements

Liste des événements auxquels le CRIM et ses experts participent. Plusieurs rabais sont offerts à nos membres!

Voir les événements

Vous abonner aux infolettres du CRIM S'inscrire à notre infolettre

Voir nos infolettres récentes

Suivez-nous sur :   LinkedIn Flickr YouTube Medium