ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

RADIANCE 2015 - International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms

Date2015-06-22

Deadline2015-03-08

VenueRio de Janeiro, Brazil Brazil

Keywords

Websitehttps://www.devasses.eu/index.php/radiance

Topics/Call fo Papers

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) . CECRIS Logo
DEVASSES Logo
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

Last modified: 2015-01-17 15:27:43