This course concentrates on specifics of the development processes for safety critical systems. It provides an overview of the relevant standards and practices based on examples from avionic, space and automotive domains. Demonstrates a model based development process, means for software verification in the different phases of development and automation of routine manual tasks.