Abstract
ATLAS is a standard test language, which is extensively used in military and electronic tests. In the implementation of ATLAS, we transformed it into C++, and this paper presents the formal methods of the transformation from the core statements of ATLAS into C++ program. The non-signal statements are directly transformed into their semantic equivalent in C++. Meanwhile, other statements, which describe the concrete test and communication process, including the single-action statements, the multiple-action statements and the bus statements, have no equivalent signal-oriented statements in C++. Thus, the single-action statements and the bus statements are transformed into a series of actions that mainly include codes for allocating device, calling drivers and maintaining device states. And we transform each multiple-action signal statement into a sequence of single-action statements, since they are equal in function.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
REFERENCES
R. Paige (1997), Future directions in program transformations. ACM SIGPLAN Not, 32, 1, pp. 94–97.
D. Sands (1996), Proving the correctness of recursion-based automatic program transformations. Theoretical Computer Science, 167, 1–2, pp. 193–233.
L. de Alfaro and Z. Manna (1996), Temporal verification by diagram transformations. CAV’96, LNCS 1102, pp. 288–299, Springer.
G. Jin, Z. Li and F. Chen (2001), A theoretical foundation for program transformations to reduce cache thrashing due to true data sharing. Theoretical Computer Science, 255, 1–2, pp. 449–481.
P. Wadler (1990), Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73, 2, pp. 231–248.
H. Yang and Y. Sun (1997), Reverse engineering and reusing COBOL programs: A program transformation approach. IWFM’97, Electronic Workshops in Computing.
A. Pnueli, O. Shtrichman and M. Siegel (1998), The code validation tool CVT: Automatic verification of a compilation process. STTT, 2, 2, pp. 192–201.
IEEE (1995), Standard Test Language for All Systems—Common/Abbreviated Test Language for All Systems (C/ATLAS). 716 C/ATLAS Subcommittee of IEEE Standards Coordinating Committee 20.
R.A. Kemmerer (1990), Integrating formal methods into the development process. IEEE Software, 7, 5, pp. 37–50.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this paper
Cite this paper
De-Gui, G., Lei, L. (2006). FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE*. In: LIU, G., TAN, V., HAN, X. (eds) Computational Methods. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-3953-9_29
Download citation
DOI: https://doi.org/10.1007/978-1-4020-3953-9_29
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3952-2
Online ISBN: 978-1-4020-3953-9
eBook Packages: EngineeringEngineering (R0)