Certifying controls and systems software

Details Certifying controls and systems software Certifying controls and systems software

2007-01-21

arxiv.org/abs/cs/0701132v2

Computer Science

Software Engineering

12 pages, 2 figures, 1 Matlab Code. To be submitted to AIAA journal of guidance and control. In this revised version, support

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Certifying controls and systems software does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Certifying controls and systems software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Certifying controls and systems software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-375315