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