Safety Design for Embedded Systems Development

Software-centric cyber-physical systems are assuming an ever-increasing role in the control of potentially dangerous equipment while managing confidential information. This applies to fly-by-wire aircraft, nuclear power plants, industrial control systems, power generation as well as smaller-scale devices, such as drive-by-wire automobiles, microwave ovens, and medical equipment. This talk discusses model-based approaches for safety analysis to specify appropriate architectural and designs. Several aspects of safety critical design will be addressed: • Safety Architectures • Safety Design Patterns • Safety Design Practices • Safety Design Assurance