This presentation shows our idea for the RADIANCE workshop.
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).
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.
1. Ariadne Carvalho, UNICAMP
Nuno Antunes, U. Coimbra
Andrea Ceccarelli, CINI/UNIFI
András Zentai, Prolan
RADIANCE
INT. WORKSHOP ON RECENT ADVANCES
IN THE DEPENDABILITY ASSESSMENT
OF COMPLEX SYSTEMS
2. Organiza(on
Team
Explaining
the
RADIANCE
2
VENUE
Interna-onal
Workshop
on
Recent
Advances
in
the
DependabIlity
AssessmeNt
of
Complex
systEms
§ Co-‐located
with
DSN
2015
– June
22,
2015
at
Rio
de
Janeiro
§ A
joint
ini=a=ve
of
the
European
Projects
CECRIS
and
DEVASSES
3. Organiza(on
Team
Explaining
the
RADIANCE
3
DEPENDABILITY
ASSESSMENT
Interna(onal
Workshop
on
Recent
Advances
in
the
DependabIlity
AssessmeNt
of
Complex
systEms
§ Verifica=on
and
Valida=on
§ Tes=ng
techniques
§ Cer=fica=on
§ Fault
Injec=on
§ Model-‐Based
Assessment
4. Organiza(on
Team
Explaining
the
RADIANCE
4
COMPLEXITY
OF
SYSTEMS
Interna(onal
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
– Mul=ple
types
of
complexity
• [C]OTS,
Service
Oriented,
Agility,
Natural
Language,
Dynamic
and
Evolving
Systems,
Virtualiza=on
§ Challenges
that
need
different
approaches
5. Organiza(on
Team
Explaining
the
RADIANCE
5
RECENT
ADVANCES
Interna(onal
Workshop
on
Recent
Advances
in
the
DependabIlity
AssessmeNt
of
Complex
systEms
§ Novel
dependability
assessment
techniques
– Promote
adop=on
in
real-‐world
systems
through
industrial
and
academic
research
§ Real
problems
and
innova=ve
solu=ons
6. Organiza(on
Team
Explaining
the
RADIANCE
6
YOUR
CONTRIBUTION
J
§ Original
research
papers,
up
to
6
pages
– Following
the
IEEE
Computer
Society
guidelines
– Included
in
a
supplemental
volume
of
DSN
proceedings
(DSN-‐W)
– Published
by
IEEE
Computer
Society
on
IEEE
Xplore
• Ensuring
high
level
of
visibility
of
the
papers
§ Submission
deadline:
March
8th,
2015
– hZps://easychair.org/conferences/?conf=radiance2015
§ Author
no=fica=on:
April
15th,
2015
7. Organiza(on
Team
Explaining
the
RADIANCE
7
CALL
FOR
PAPERS
§ www.devasses.eu/index.php/radiance/cfp
8. Organiza(on
Team
Explaining
the
RADIANCE
8
INTERESTING
TOPICS
(1)
§ Assessment
of
integrated
systems
including
so_ware
OTS
§ Agile
development
in
cri=cal
systems
– Assessment
challenges
and
approaches
§ Natural
language
requirements
for
so_ware
development
§ So_ware
assessment
to
cope
with
increasing
system
complexity
§ Cer=fica=on
of
complex
and
integrated
systems
9. Organiza(on
Team
Explaining
the
RADIANCE
9
INTERESTING
TOPICS
(2)
§ Dynamic
and
evolving
systems:
– New
needs
for
Verifica=on,
Valid.
and
Cer=fica=on
§ Automated
V&V
of
cri=cal
systems
§ Model-‐driven
approaches
for
the
assessment
of
dependable
and
secure
systems
§ Experimental
assessment
of
dependability
and
security
§ Open
issues,
prac=cal
experiences
and
real-‐world
case
studies
10. Organiza(on
Team
Explaining
the
RADIANCE
10
QUESTIONS?
www.devasses.eu/index.php/radiance
xkcd.com/974