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

System assurance and certification are amongst the most expensive and time-consuming tasks in the development of critical systems, e.g. safety-critical, security-critical, mission-critical, and business-critical ones. Assurance can be defined as the set of planned and systematic actions necessary to provide adequate confidence and evidence that a system satisfies given requirements, e.g. for system safety or for compliance with some standards. Certification can be defined as the legal recognition that a system complies with standards and regulations designed to ensure that the system can be depended upon to deliver its intended service.

Assurance and certification of critical systems 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 the systems and components, 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. For example, embedded systems have significantly increased in number, technical complexity, and sophistication towards open, interconnected, networked systems such as "the connected car". This has brought a “cyber-physical” dimension with it, exacerbating the problem of ensuring safety, as well as other dependability concerns such as security, availability, robustness, and reliability, in the presence of human, environmental, and technological risks. The rise of notions such as cyber-physical systems and their complexity are leading to the need for new approaches for system assurance and certification. 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.).

SASSUR 2020 : 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems will take place in Santander, Spain. It’s a 1 day event starting on Jun 12, 2020 (Friday) and will be winded up on Jun 12, 2020 (Friday).

SASSUR 2020 falls under the following areas: AGILE, ALGORITHM, BLOCKCHAIN, etc. Submissions for this Workshop can be made by Mar 31, 2020. Authors can expect the result of submission by Apr 30, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before May 15, 2020 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the SASSUR 2020

• Short Name: SASSUR 2020
• Full Name: 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems
• Timing: 09:00 AM-06:00 PM (expected)
• Fees: Check the official website of SASSUR 2020
• Event Type: Workshop
• Website Link: http://www.sassur.org/
• Location/Address: Santander, Spain