Embedded Software Development For Safety Critical Systems

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.

The aim of this book is to help you understand the technologies behind the devices used in the Internet Of Things. This is done with a mixture of theory, examples and 'war-stories'.

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014.

Nowadays, electronic systems are increasingly used in safety critical applications compared to two decades ago. Electronic devices are being used in applications where their correct operation is vital to ensure the safety of the human life and the environment. These applications ranging from the anti-lock braking systems in automobiles, to the fly-by-wire aircrafts, to biomedical supports to the human care. It is, therefore, vital that electronic designers be aware the safety implications of the systems they develop. This book attacks SRAM-based Field Programmable Gate Array, as the most widely used reconfigurable devices, from a new perspective.