Embedded Software Development for Safety-Critical Systems, Second Edition

This book is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application that must satisfy one or more of the international standards.