Séminaire R-D : Fault detection in timed FSM with timeouts by sat-solving

Séminaire R-D : Fault detection in timed FSM with timeouts by sat-solving
24/10/19 11h00
CRIM (405, avenue Ogilvy, bureau 101, Montréal)

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.

S'inscrire

 

Événement à venir

  • Séminaire R-D : L'art de la cyberrésilience: les leçons du secteur bancaire
    30/01/20 11h00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Une conférence du Prof. Benoît Dupont, Titulaire de la Chaire de recherche du Canada en cybersécurité,Titulaire de la Chaire de recherche en prévention de la cybercriminalité, Directeur scientifique – Réseau intégré sur la cybersécurité (SERENE-RISC), Université de Montréal.
    +
  • #CRIMtravels ????Joao Monteiro, automatic speech processing intern supervised by Jahangir Alam, presents an article at… https://t.co/7bsFunP7na
  • Antoine Normand, PDG de BlueBear a discuté d'un sujet sensible lors de la Journée Techno sur la Désinformation à l’… https://t.co/FlBn1vdEaE