-------- Forwarded Message --------
********************************************************************
9th International Workshop on Next Generation of System Assurance
Approaches for Critical Systems - SASSUR 2020
Santander, Spain, June 12th, 2020
In conjunction with the 25th Ada-Europe International Conference
on Reliable Software Technologies (Ada-Europe 2020)
http://www.sassur.org
********************************************************************
IMPORTANT DATES
Paper submission: March 31st, 2020
Notification to authors: April 30th, 2020
Camera-ready version: May 15th, 2020
********************************************************************
System assurance and certification are amongst the most expensive
and time-consuming tasks in the engineering of critical systems,
e.g. safety-critical, security-critical, mission-critical, and
business-critical ones. Assurance and certification require the
execution of complex and labour-intensive activities, e.g. the
management of compliance with hundreds or thousands of criteria
defined in standards, the management of a large volume of evidence
artefacts throughout a system's lifecycle to demonstrate
compliance, or the provision of convincing and valid
justifications that a system is dependable. Therefore, the
companies developing critical systems or components, as well as
the companies assessing them, need approaches that facilitate
these activities and ideally increase their efficiency. The
challenges arising from system assurance and certification are
further growing as a result of the evolution of critical systems,
e.g. towards cyber-physical systems. In general, practitioners
expect improvements in the available method and tool support for
assurance and certification.
The SASSUR workshop is intended to explore new ideas on assurance
and certification of critical systems. In particular, SASSUR will
provide a forum for thematic presentations and in-depth
discussions about specification, analysis, reuse, composition, and
combination of assurance arguments, of assurance evidence, and of
contextual information about critical products, in a way that
makes assurance and certification more cost-effective, precise,
and scalable.
SASSUR aims at bringing together experts, researchers, and
practitioners from diverse communities, such as safety, privacy,
and security engineering, certification processes, model-based
engineering, software and hardware design, critical system
development, and application communities (transport, healthcare,
industrial automation, robotics, nuclear, defence, etc.).
TOPICS
Contributions are sought in (but are not limited to) the following
topics:
- Industrial challenges for cost-effective assurance and
certification of critical systems
- Assurance and certification of autonomous or adaptive systems
- Cross-domain product certification
- Integration of process-centric and product-centric assurance
- Management of compliance with standards and regulations
- Management of assurance evidence
- Development of assurance cases
- Multi-concern (safety, security, privacy, reliability...) system
engineering and assurance
- Evolutionary approaches for system assurance
- Tools support for assurance and certification
- Evolution of standards and trends on regulations
- Human factors in dependability assurance
- COTS or external sourcing management of evidence in critical
systems
- Mixed-criticality system assurance
- Model-based system assurance and certification
- Emergent V&V needs for assurance and certification
- Assurance for new technologies and for their application (e.g.
blockchain)
- Security debt
- Agile approaches in the context of critical systems
- Methods and techniques to assure artificial intelligence
algorithms
INFORMATION FOR AUTHORS
Authors are invited to submit short position papers (max. 4 pages)
or full technical contributions (max. 8 pages) in PDF format using
Easychair:
https://easychair.org/conferences/?conf=sassur2020
Submissions must conform to the Ada User Journal style
(
http://www.ada-europe.org/auj/ ). Papers will be peer-reviewed
through a regular refereeing procedure, with a minimum of three
reviewers per paper. If accepted for presentation, the papers will
be included in the workshop proceedings, which will be published
in the Ada User Journal. At least one author of each accepted
paper must register to the workshop so that the paper is included
in the proceedings.
As a distinguishing characteristic, each paper will have an
assigned discussant (author of another accepted paper) that will
have to perform a short critical review of the corresponding paper
to trigger discussion.
ORGANISATION COMMITTEE
- Alejandra Ruiz. Tecnalia, Spain
- Jose Luis de la Vara. University of Castilla-La Mancha, Spain
- John Favaro, Intecs, Italy
- Fabien Belmonte, Alstom, France
_______________________________________________
AISWorld mailing list
AISWorld@lists.aisnet.org