Complying with Standards - Safety-Critical Development using Model-Based Techniques

摘要

The development of safety-critical software is a very conservative field The standards that govern such software reflect this. However more safety functions are being implemented in software under pressures of time to market and cost minimisation Model-based development techniques that support rapid development are becoming increasing attractive for safety-critical systems. The question is how can we use model based development to achieve commercial objectives and still generate the safety evidence required by safety standards?