posted by user: jmartinez || 707 views || tracked by 2 users: [display]

SASSUR 2020 : 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems

FacebookTwitterLinkedInGoogle

Link: http://www.sassur.org
 
When Jun 12, 2020 - Jun 12, 2020
Where Santander, Spain
Submission Deadline Mar 31, 2020
Notification Due Apr 30, 2020
Final Version Due May 15, 2020
 

Call For Papers

IMPORTANT NOTE: Due to the latest information about the diffusion of COVID-19, the SASSUR 2020 workshop is cancelled. The 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2020) was also cancelled.

********************************************************************
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

Related Resources

Recommender Systems 2020   Data Science for Next-Generation Recommender Systems
Recommender systems 2020   Scopus/Springer Special issue: Data Science for Next-Generation Recommender Systems with International Journal of Data Science and Analytics
JDSA SI 2020   Springer Journal Special Issue on Data Science for Next-Generation Recommender Systems
IJNGN 2020   International Journal of Next - Generation Networks
BlockchainTrust 2021   Trust Models for Next-generation Blockchain Ecosystems
CE-MDPISensors 2020   Cloud and Edge Computing for the Next Generation of Internet of Things Applications
NG-RES 2021   Workshop on Next Generation Real-Time Embedded Systems
Call for Book Chapter 2020   Implementing Data Analytics and Architectures for Next Generation Wireless Communications
QuASoQ 2020   8th International Workshop on Quantitative Approaches to Software Quality
SAM IoT 2020   ** Free of Charge ** First Eclipse International Conference on Security, Artificial Intelligence and Modelling for the next generation Internet of Things