7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018)

摘要

SASSUR 2018 is the 7th edition of the International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems. SASSUR 2018 continues consolidating and keeping the main objectives of the workshop while also updating and extending its scope with new challenges and trends in system assurance, e.g. regarding the use of new technologies in critical application domains. This is in line with our intention to explore new ideas on compositional, evolutionary, multi-concern, and efficient assurance and certification of safety-critical systems.