RADIANCE 2016

International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)

Critical systems are becoming more and more complex and heterogeneous, integrating previously separated systems and including design solutions ranging from the introduction of software Off The Shelf (OTS) to the adoption of loosely-integrated and composable services. Innovative dependability assessment solutions and certification processes are thus needed to deal with such complexity, calling for new solutions for the efficient, automated, and possibly continuous assessment and certification.

The Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE) workshop aims to discuss novel dependability assessment approaches for complex systems and to promote their adoption in real-world systems through industrial and academic research. RADIANCE aims to promote and foster discussion on novel ideas, constituting a forum where researchers can share both real problems and innovative solutions for the assessment of complex systems.

Topics include, but are not limited to:

• Assessment of integrated systems including software OTS
• Agile development in critical systems: assessment challenges and approaches
• Natural language requirements for software development
• Software assessment to cope with increasing system complexity
• Certification of complex and integrated systems
• Dynamic and evolving systems: new needs for verification, validation and certification
• Automated verification and validation of critical systems
• Model-driven approaches for the assessment of dependable and secure systems
• Experimental assessment of dependability and security
• Dependable and secure services
• Open issues, practical experiences and real-world case studies

RADIANCE is co-located with the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (www.dsn.org), and it will take place in Toulouse, France, June 28, 2016.

RADIANCE is supported by the CECRIS FP7 project (CErtification of CRItical Systems, http://www.cecris-project.eu/ ) and DEVASSES FP7 Project (DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS, http://www.devasses.eu/ ) .

Program Committee:

• Luciana Arantes - U. of Pierre et Marie Currie, France
• Alysson Bessani - U. of Lisbon, Portugal
• Cristiana Bolchini - Polytechnic U. of Milan, Italy
• Francesco Brancati - Resiltech s.r.l., Italy
• Luiz Buzato - IC-U. of Campinas, Brazil
• Javier Camara - Carnegie Mellon U., USA
• Hector Cancela - U. de la Republica, Uruguay
• David D'Andres - Polytechnic U. of Valencia, Spain
• Felicita Di Giandomenico - ISTI-CNR, Italy
• Catello Di Martino - Bell Labs, USA
• Susanna Donatelli - U. of Torino, Italy
• Francesco Flammini - Ansaldo STS, Italy
• Barbara Gallina -Malardalen U., Sweden
• Nicolas Guelfi - U. of Luxemburg, Luxemburg
• Jeremie Guiochet - LAAS-CNRS, France
• Christian Kreiner - Graz U. of Technology, Austria
• Daniele Lezzi - BSC, Spain
• Paolo Lollini - U. of Florence, Italy
• Fumio Machida - NEC, Japan
• Henrique Madeira - U. of Coimbra, Portugal
• Istvan Majzik - BME, Hungary
• Parisa Marandi - Microsoft Research, UK
• Eliane Martins - IC-U. of Campinas, Brazil
• Regina Moraes - FT-U. of Campinas, Brazil
• Roberto Natella - CINI/U. of Naples, Italy
• Marcio Ribeiro - Federal U. of Alagoas, Brazil
• Nuno Silva - Critical Software S.A., Portugal
• Vladimir Stankovic - City University of London, UK
• Katinka Wolter - Free U. of Berlin, Germany

Organization Committee:

• Ariadne Carvalho, State University of Campinas
• Nuno Antunes, University of Coimbra
• Andrea Ceccarelli, CINI-University of Florence
• Andras Zentai, Prolan

contact us at: radiance@devasses.eu