INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

March 2019
M T W T F S S
« Nov    
 123
45678910
11121314151617
18192021222324
25262728293031

 
  • Workshop do Projeto Confiabilidade e Segurança em Software Crítico

    (0)
    Publicado em March 13th, 2015Uncategorized
    O Projeto Confiabilidade e Segurança em Software Crítico realizará Workshop no período de 23 a 26 de Março de 2015. Este workshop terá a participação do Professor Titular Bill Roscoe (http://www.cs.ox.ac.uk/bill.roscoe/), um dos pesquisadores mais importantes na área de Concorrência e Verificação.
    O cronograma do evento será:
    Tuesday: 24/03
    ——————–
    09:00-09:45 – Pedro: Local deadlock analysis
    09:45-10:30 – Marcel/Madiel: A compositional and local strategy for
    livelock analysis

    10:30-11:00 – Break
    11:00-11:45 – Dihego: A conformance relation for extensibility of CSP
    processes and its mechanisation in FDR
    12:00-14:00 – Lunch
    14:00-15:30- Bill: Advanced course on CSP and FDR3
    15:30-16:00 – Break
    16:00-17:00 – Bill: Advanced course on CSP and FDR3

    Wednesday: 25/03
    ————————
    09:00-09:45 – Lucas/Juliano: Analysis of SysML models via mapping into CSP
    09:45-10:30 – Joabe: CSP semantics and analysis of Simulink models
    10:30-11:00 – Break
    11:00-11:45 – Alexandre/Adalberto: Model checking CSP using Formula
    12:00-14:00 – Lunch
    14:00-15:30- Bill: Advanced course on CSP and FDR3
    15:30-16:00 – Break
    16:00-17:00 – Bill: Advanced course on CSP and FDR3

    Thursday: 26/06
    ———————-
    09:00-09:45 – Sidney/Augusto: Test case generation as counterexample
    of refinement checking in the context of the Motorola Project
    09:45-10:30 – Gustavo: Test case generation in the context of the
    Embraer project
    10:30-11:00 – Break
    11:00-11:45 – Sidney: Input and outputs in CSP: a model and a testing theory
    11:45:12:30 – André: Fault tolerance modelling and analysis in CSP
    12:30-14:00 – Lunch
    14:00-15:30- Bill: Advanced course on CSP and FDR3
    15:30-16:00 – Break
    16:00-17:00 – Bill: Advanced course on CSP and FDR3

Leave a Reply

You must be logged in to post a comment.