INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

March 2010
M T W T F S S
« Feb   Apr »
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • 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.