Process in two independent phases after stability analysis Certified Library + Annotated C code with inserted invariant provide a clear mathematical evidence of the closed loop stability Producing a overall verifiable C code
A credible autocoding application within a rocket and its payload
2015-09-01
677910 byte
Conference paper
Electronic Resource
English
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
Springer Verlag | 2015
|Autocoding in Automotive Software Development
British Library Conference Proceedings | 2005
|