CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems

The book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for improving and enabling interoperability of methods, tools, and processes to meet the demands in embedded systems development across four domains - avionics, automotive, automation, and rail.
The contributions give insight to an improved engineering and safety process life-cycle for the development of saf...