An application of a prototype credible autocoding and verification tool-chain

@article{Wang2014AnAO,
  title={An application of a prototype credible autocoding and verification tool-chain},
  author={Timothy E. Wang and Romain Jobredeaux and Mehrdad Pakmehr and Martin Vivies and Eric Feron},
  journal={2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC)},
  year={2014},
  pages={2E4-1-2E4-14}
}
We present the usage of a prototype that is the result of our research efforts in the translation of control theory into code semantics and the automatic verification of control software using those generated semantics. We demonstrate an application of tool-chain for a jet engine, produced by the lightweight jet engine manufacturer Price Induction, running… CONTINUE READING