Formal Method In Implementation Of Atlas Language

Guo De-Gui,Liu Lei

DOI: https://doi.org/10.1007/978-1-4020-3953-9_29

2006-01-01

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.