Critical systems are becoming more and more complex and heterogeneous, integrating previously separate 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 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (www.dsn.org), and it will take place in Denver, CO, USA, June 26 - 29, 2017.
RADIANCE is supported by DEVASSES FP7 Project (DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS) .
x
1. Ariadne Carvalho, UNICAMP
Nuno Antunes, U. Coimbra
Andrea Ceccarelli, CINI/UNIFI
2017
INT. WORKSHOP ON RECENT ADVANCES
IN THE DEPENDABILITY ASSESSMENT
OF COMPLEX SYSTEMS
RADIANCE
Co-located with:
3. Organization Team Explaining the RADIANCE 3
DEPENDABILITY ASSESSMENT
International Workshop
on Recent Advances
in the DependabIlity AssessmeNt
of Complex systEms
§ Verification and Validation
§ Testing techniques
§ Certification
§ Fault Injection
§ Model-Based Assessment
4. Organization Team Explaining the RADIANCE 4
COMPLEXITY OF SYSTEMS
International Workshop
on Recent Advances
in the DependabIlity AssessmeNt
of Complex systEms
§ Systems became too complex
– We try to assess systems that we don't understand
– Multiple types of complexity
• [C]OTS, Service Oriented, Agility, Natural Language,
Dynamic and Evolving Systems, Virtualization
§ Challenges that need different approaches
5. Organization Team Explaining the RADIANCE 5
RECENT ADVANCES
International Workshop
on Recent Advances
in the DependabIlity AssessmeNt
of Complex systEms
§ Novel dependability assessment techniques
– Promote adoption in real-world systems through
industrial and academic research
§ Real problems and innovative solutions
6. Organization Team Explaining the RADIANCE 6
YOUR CONTRIBUTION J
§ Submission deadline: April 05, 2016
– https://easychair.org/conferences/?conf=radiance2017
§ Full papers (6-8 pages)
• Original research works, or prototype/tool descriptions
§ Short papers (4 pages)
• Preliminary research works or position papers
– Included in a supplemental volume of DSN
proceedings (DSN-W)
– Published by IEEE Computer Society on IEEE Xplore
8. Organization Team Explaining the RADIANCE 8
INTERESTING TOPICS (1)
§ 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
9. Organization Team Explaining the RADIANCE 9
INTERESTING TOPICS (2)
§ Dynamic and evolving systems:
– New needs for Verification, Valid. and Certification
§ Automated V&V of critical systems
§ Model-driven approaches for the assessment of
dependable and secure systems
§ Experimental assessment of dependability and
security
§ Open issues, practical experiences and
real-world case studies
10. Organization Team Explaining the RADIANCE 10
PAST EDITION: @DSN2016
§ 13 Submissions received
– Both industry and academia, from around the world
– 8 papers were accepted to be presented (program)
§ Keynote by Domenico Cotroneo
§ Keynote by Michel Cukier
§ Average attendance of about 20 researchers.
– In parallel with 3 workshops and 3 tutorials
http://www.devasses.eu/index.php/110-radiance2016-news
11. Organization Team Explaining the RADIANCE 11
PAST EDITION: @DSN2015
§ 14 Submissions received
– Both industry and academia, from around the world
– 10 papers were accepted to be presented (program)
§ Keynote by Bradley Schmerl
– “Challenges in Engineering Dependable Self-
Adaptive System” (slides here)
§ Average attendance of about 30 researchers.
– In parallel with 3 workshops and 2 tutorials
http://www.devasses.eu/index.php/77-radiance-tok4