Visible to the public CFP Deadline Ext: 2nd International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE) Conflict Detection Enabled

No replies
Anonymous
Anonymous's picture

CALL FOR PAPERS - DEADLINE EXTENDED

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

June 28th, 2016 | Toulouse, France | http://radiance.devasses.eu | Co-located with DSN 2016

Important Dates:

  • Submission deadline: (EXTENDED): March 28th, 2016
  • Author notification: April 18th, 2016
  • Camera-ready: (To be defined)
  • Workshop: June 28th, 2016

PDF version: http://www.devasses.eu/radiance2016-cfp.pdf

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/ ) .

Submission

We solicit the submission of:

  • Full papers (6-8 pages) presenting original research works or prototype/tool descriptions
  • Short papers (4 pages) presenting preliminary research works or position papers

Submissions must follow the IEEE Computer Society guidelines.
Papers will be included in a supplemental volume of the DSN conference proceedings (DSN-W), and published by the IEEE Computer Society on IEEE Xplore.

Submissions must adhere to the IEEE Computer Society camera-ready 8.5''x11'' two-column
format (using a 10-point font on 12-point single-spaced leading).

Submission Website: https://easychair.org/conferences/?conf=radiance2016

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