Mário Rui Baptista seminar PDF Print E-mail
Monday, 26 October 2015 18:47

Mário Rui had a seminar at RCL last Thursday, entitled "Towards cyber-security challenges in Smart Grids and viable solutions".

Mário works at Critical Software in Portugal, and he is currently visiting CINI - Firenze for two months, as part of the CECRIS project. Further information, as well as a pdf version of the slides presented at the talk, is available on the CECRIS website.

 
CECRIS: CErtification of CRItical Systems PDF Print E-mail
Monday, 15 April 2013 00:00

rsz cecris logo blue

Involvment type: participant
Project website: http://www.cecris-project.eu/
Start date: 01-01-2013
End date: 31-12-2016

The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.

The project focuses on the more difficult/important points of (safety, efficiency, business, .) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems. Moreover the project aims at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these type of activities, whose cost-quality achievements are well-predictable in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw-up guidelines to support engineers during the planning of the verification & validation phases.

 

Read more...
 
<< Start < Prev 1 2 Next > End >>

Page 2 of 2

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web