A new approach to applying model-based design to safety-critical systems

摘要

Model-driven development and automatic code generation have been two of the main drivers of innovation in the development of embedded systems. The reason for this is simple: modelling languages, especially if do main specific, allow domain experts, rather than software engineers, to write software specifications; and automatic code generators remove a significant part of manual labour.