Certifying controls and systems software

Eric Feron, Mardavij Roozbehani

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations


Software system certification presents itself with many challenges, including the necessity to certify the system at the level of functional requirements, code and binary levels, the need to chase down run-time errors, and the need for proving timing properties of the eventual, compiled system. This paper illustrates possible approaches for certifying code that arises from control systems requirements as far as stability properties are concerned. The relative simplicity of the certification process should encourage the development of systematic procedures for certifying control system codes for more complex environments.
Original languageEnglish (US)
Title of host publicationCollection of Technical Papers - AIAA Guidance, Navigation, and Control Conference 2007
PublisherAmerican Institute of Aeronautics and Astronautics Inc.custserv@aiaa.org
Number of pages12
ISBN (Print)1563479044
StatePublished - Jan 1 2007
Externally publishedYes

Bibliographical note

Generated from Scopus record by KAUST IRTS on 2021-02-18


Dive into the research topics of 'Certifying controls and systems software'. Together they form a unique fingerprint.

Cite this