论文信息 - Assuring the correctness of automatically generated software

Assuring the correctness of automatically generated software

Specialized application generation tools are increasingly being used to automatically produce software in various application domains such as guidance, navigation and control. Many different tools may be used together to generate or assemble different parts of the same application. We discuss a toolset we have been developing to automatically generate GN&C and embedded software and the approach we are pursuing to assure the correctness of the generated applications.<<ETX>>

S. Vestal

[1] Steve Vestal,et al. Mode changes in a real-time architecture description language , 1994, Proceedings of 2nd International Workshop on Configurable Distributed Systems.

[2] Lui Sha,et al. Real-time scheduling theory and Ada , 1990, Computer.

[3] G. B. Finelli,et al. The infeasibility of experimental quantification of life-critical software reliability , 1991, SIGSOFT '91.

[4] Steve Vestal,et al. Formal real-time architecture specification and analysis , 1993 .

[5] Richard J. Lipton,et al. Social processes and proofs of theorems and programs , 1979, CACM.

[6] M. Jackson,et al. ControlH: a fourth generation language for real-time GN&C applications , 1994, Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD).

[7] Malathi Veeraraghavan,et al. Reliability modeling: an overview for system designers , 1991, Computer.

[8] Steve Vestal. On the accuracy of predicting rate monotonic scheduling performance , 1990, TRI-Ada '90.

[9] Steve Vestal,et al. Fixed-Priority Sensitivity Analysis for Linear Compute Time Models , 1994, IEEE Trans. Software Eng..