INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2017
M T W T F S S
« Nov    
 123
45678910
11121314151617
18192021222324
252627282930  

 
  • INES researchers a project approved by the Brazilian Space Agency (AEB)

    (0)
    Publicado em March 9th, 2010News

    A team from the Informatics Centre (CIn/UFPE), coordinated by Dr. Alexandre Mota, had a project accepted by the Brazilian Space Agency (AEB). The project entitled “Model-based security analysis for autonomous systems” is related to the study of reliability for autonomous systems, one of the focus of the current group of Formal Methods at CIn/UFPE. “Since 2007 we have studied and created solutions for the safety and reability area, with support of R&D team at Embraer,” said Mota.


    Source: Assessoria CIn/UFPE
    The group is coordinated by Dr. Alexandre Mota and composed by Professor Augusto Sampaio, Dr. Juliano Iyoda, former PhD student Adalberto Farias, MSc. Joab Jesus, Master’s students Adriano Gomes and Flávia Soares and ungraduate student Luis Filipe.

    More details here.

Leave a Reply

You must be logged in to post a comment.