International Workshop on Software Engineering for sAfety-critical Systems and Medical dEvices (SEASAME)

This workshop provides a forum for the cutting-edge research results and practices from academia and industries on the design and development of software in safety-critical systems, in particular Software Medical Devices.

Safety-critical systems (SCSs) are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. Software are playing an increasingly important part in SCSs. Worldwide regulatory bodies have recognized this trend and released new standards related to the development of software in SCSs, such as ISO 26262 and IEC 61508.
This trend is particularly true for Software Medical Devices (SMDs), one of the most important categories of SCSs. Regulatory bodies and industries are investing more on the safety and security issues of SMDs. For examples, Medical Devices Directive in the European Union provides definition and classification of SMDs; the international standard IEC 62304 specifies life cycle requirements for the development of SMDs. However, regardless of the importance attached to SMDs, due to the inherent complexity of software, errors in software codes have been constantly reported to cause different devices to mal-function and led to fatal consequences. Therefore, several questions are urgently presented to SMD developers: how to build robust, dependable, safe and secure SMDs? More importantly, how to make the case for certifying a SMD or a SCS?

All papers in the workshop proceedings will be indexed by DBLP, Scopus, Engineering Village and EI Compendex.