| |||||||||||||
RADIANCE 2015 : International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms | |||||||||||||
Link: http://radiance.devasses.eu | |||||||||||||
| |||||||||||||
Call For Papers | |||||||||||||
RADIANCE @ DSN 2015 - International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms
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. RADIANCE is co-located with the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (www.dsn.org), and it will take place in Rio de Janeiro, Brazil, June 22-25, 2015. 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/ ) . 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 ----------------------------------------------------------------------------- ===== Submission We solicit the submission of original research papers, up to 6 pages following the IEEE Computer Society guidelines. Research 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, thus ensuring that the papers will enjoy a high level of visibility. 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=radiance2015 ===== Important Dates - Submission deadline: March 8th, 2015 - Author notification: April 15th, 2015 - Camera-ready: (To be defined) - Workshop: June 22nd, 2015 ----------------------------------------------------------------------------- ===== Program Committee - Alysson Bessani – U. of Lisbon, Portugal - Francesco Brancati – Resiltech s.r.l., Italy - Javier Cámara – CMU, USA - Hector Cancela – U. de la Republica, Uruguay - Mario Cortes – IC-U. of Campinas, Brazil - Felicita Di Giandomenico – ISTI-CNR, Italy - Catello Di Martino – U. of Illinois, USA - Alexandre Esper – Critical Software S.A., Portugal - Francesco Flammini – Ansaldo STS, Italy - Kiev Gama – UF. Pernambuco, Brazil - Jérémie Guiochet – LAAS-CNRS, France - Melinda Kocsis-Magyar – Prolan Co., Hungary - Nuno Laranjeiro – U. of Coimbra, Portugal - Julio do Prado Leite – PUC-Rio, Brazil - Paolo Lollini – U. of Florence, Italy - István Majzik – BME, Hungary - Edmundo Monteiro – U. of Coimbra, Portugal - Baldoino Neto – UF Alagoas, Brazil - Paulo Martins Pedro – FT-U. of Campinas, Brazil - Adenilso Simão – U. São Paulo, Brazil - Fabio Scippacercola – CINI/U. of Naples, Italy - Lorenzo Strigini – City University, UK - Katinka Wolter – FU. Berlin, Germany ----------------------------------------------------------------------------- ===== Organization - Ariadne Carvalho, UNICAMP - Nuno Antunes, UC - Andrea Ceccarelli, CINI/UNIFI - András Zentai, Prolan contact us at: dsnradiance2015@gmail.com |
|