Automatic code generator speeds development of safety-critical real-time embedded systems

@inproceedings{Naks2009AutomaticCG,
  title={Automatic code generator speeds development of safety-critical real-time embedded systems},
  author={Tonu Naks and Olivier Ssi and Yan Kai and France Continental},
  year={2009}
}
  • Tonu Naks, Olivier Ssi, +1 author France Continental
  • Published 2009
ion of the implementation details makes it possible to verify and validate important system properties very early in the design. Subsequent model refinements add all the necessary details and, finally, the code generator helps to convert the model to working software code. Increased productivity in the specification and design phases coupled with early verification and validation are already a major step forward when compared with classical development methods. However, there is more to gain! A… CONTINUE READING