P. Obermayer
R. Landwehr
ABSTRACT
In order to improve the portability of code for real time applications written in Ada, a set of general coding rules has been compiled. In a second step, Ada code constructs offending these rules were identified. In order to support the verification of the application of coding rules a static analysis tool was developed, which tests Ada source code for these constructs and which indicates the offending constructs. Since a syntactical analysis is insufficient to perform all necessary tests, the tool uses the ASIS-interface to Ada libraries in order to obtain the necessary semantic information. Different source code was tested with the tool. Obvious differences can be observed depending on the application of the source code and its portation.
- 1.Norbert Collienne, Peter Kompalla, q.,eiffadcn ffir die Sofiwareerstcllung in Ada', Version 3.1, 1993Google Scholar
- 2.Peter E. Obermayer, Norbert Collicnne, Peter Kompalla, Rucloff Landwchr, 'Using the Aria- Guidelines to support V-Model-conforming SoRware Development', Proc. Third Symposium Ada in Aerospace', Vienna, 9.- 13. November 1992, EUROSPACE, Paris, 1993Google Scholar
- 3.Karl A. Nyt~rg (ed.) 'The Annotated Ada Reference Manual', ANSI/MIL-STI)- 1815A- 1983Google Scholar
- 4.J.B. Bladen, S.J. Blake, D. Spenhoff, 'Ada Semantic Interface Specification (ASIS)', ACM 1991 Google ScholarDigital Library
- 5.Holgcr Noseck, Michael Biencrt, 'Approaches to the Automatical Verification of Software- Reusability', Proc. Fourth Symposium 'Ada in Aerospace', Brussels, 8.-11. November 1993, EUROSPACE, Paris, 1993Google Scholar
Index Terms
- Verification of the application of coding rules for Ada to enhance portability of real-time applications
Recommendations
Limitations on the portability of real time Ada programs
TRI-Ada '89: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deploymentThis paper describes areas of the Ada language where transportability is restricted by the fact that implementation choices are allowed. Transportability guidelines have been developed previously for Ada [2,3,10], but have taken the approach that only ...
Real-Time Distribution Middleware from the Ada Perspective
Ada-Europe '08: Proceedings of the 13th Ada-Europe international conference on Reliable Software TechnologiesStandards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behaviour of the applications using them, especially when these applications ...
Towards Real-Time Fault-Tolerant CORBA Middleware
An increasing number of applications are being developed using Distributed Object Computing (DOC) middleware, such as CORBA. Many of these applications require the underlying middleware, operating systems, and networks to provide dependable end-to-end ...
Comments