Certifying controls and systems software
| dc.creator | Feron, Eric | |
| dc.creator | Roozbehani, Mardavij | |
| dc.date | 2007-01-21 | |
| dc.date | 2007-01-23 | |
| dc.date.accessioned | 2026-07-07T07:42:16Z | |
| dc.date.available | 2026-07-07T07:42:16Z | |
| dc.description | 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. | |
| dc.description | 12 pages, 2 figures, 1 Matlab Code. To be submitted to AIAA journal of guidance and control. In this revised version, support and funding resources were added to the acknowledgement section. LIDS Publication #: 2745 | |
| dc.identifier | https://arxiv.org/abs/cs/0701132 | |
| dc.identifier | http://arxiv.org/abs/cs/0701132 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/122382 | |
| dc.subject | Software Engineering | |
| dc.title | Certifying controls and systems software | |
| dc.type | text |