Download - RADIANCE @ DSN 2015
Ariadne Carvalho, UNICAMP Nuno Antunes, U. Coimbra
Andrea Ceccarelli, CINI/UNIFI András Zentai, Prolan
RADIANCE
INT. WORKSHOP ON RECENT ADVANCES IN THE DEPENDABILITY ASSESSMENT
OF COMPLEX SYSTEMS
Organiza(on Team Explaining the RADIANCE 2
VENUE
Interna-onal Workshop on Recent Advances
in the DependabIlity AssessmeNt of Complex systEms
§ Co-‐located with DSN 2015 – June 22, 2015 at Rio de Janeiro
§ A joint ini=a=ve of the European Projects CECRIS and DEVASSES
Organiza(on Team Explaining the RADIANCE 3
DEPENDABILITY ASSESSMENT
Interna(onal Workshop on Recent Advances
in the DependabIlity AssessmeNt of Complex systEms
§ Verifica=on and Valida=on § Tes=ng techniques § Cer=fica=on § Fault Injec=on § Model-‐Based Assessment
Organiza(on Team Explaining the RADIANCE 4
COMPLEXITY OF SYSTEMS
Interna(onal Workshop on Recent Advances
in the DependabIlity AssessmeNt of Complex systEms
§ Systems became too complex – We try to assess systems that we don't understand – Mul=ple types of complexity
• [C]OTS, Service Oriented, Agility, Natural Language, Dynamic and Evolving Systems, Virtualiza=on
§ Challenges that need different approaches
Organiza(on Team Explaining the RADIANCE 5
RECENT ADVANCES
Interna(onal Workshop on Recent Advances
in the DependabIlity AssessmeNt of Complex systEms
§ Novel dependability assessment techniques – Promote adop=on in real-‐world systems through industrial and academic research
§ Real problems and innova=ve solu=ons
Organiza(on Team Explaining the RADIANCE 6
YOUR CONTRIBUTION J
§ Original research papers, up to 6 pages – Following the IEEE Computer Society guidelines – Included in a supplemental volume of DSN proceedings (DSN-‐W)
– Published by IEEE Computer Society on IEEE Xplore • Ensuring high level of visibility of the papers
§ Submission deadline: March 8th, 2015 – hZps://easychair.org/conferences/?conf=radiance2015
§ Author no=fica=on: April 15th, 2015
Organiza(on Team Explaining the RADIANCE 7
CALL FOR PAPERS
§ www.devasses.eu/index.php/radiance/cfp
Organiza(on Team Explaining the RADIANCE 8
INTERESTING TOPICS (1)
§ Assessment of integrated systems including so_ware OTS
§ Agile development in cri=cal systems – Assessment challenges and approaches
§ Natural language requirements for so_ware development
§ So_ware assessment to cope with increasing system complexity
§ Cer=fica=on of complex and integrated systems
Organiza(on Team Explaining the RADIANCE 9
INTERESTING TOPICS (2)
§ Dynamic and evolving systems: – New needs for Verifica=on, Valid. and Cer=fica=on
§ Automated V&V of cri=cal systems § Model-‐driven approaches for the assessment of dependable and secure systems
§ Experimental assessment of dependability and security
§ Open issues, prac=cal experiences and real-‐world case studies
Organiza(on Team Explaining the RADIANCE 10
QUESTIONS?
www.devasses.eu/index.php/radiance
xkcd.com/974