RADIANCE 2015

Date: Jun 22, 2015 6:00 am – Jun 22, 2015 3:00 pm
Location: Rio de Janeiro, Brazil

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 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.  DSN Logo
RADIANCE is supported by the CECRIS FP7 project (CErtification of CRItical Systems) and DEVASSES FP7 Project (DEsign, Verification and VAlidation of large scale, dynamic Service 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
  • Foundations
  • Modeling
  • Resilient Systems
  • Science of Security
  • Validation and Verification
  • Certification
  • Testing
  • Workshop
  • 2015
Submitted by Anonymous on Thu, 02/05/2015 - 11:57