A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
IFIP Advances in Information and Communication Technology
In December 1996, a project called LV ARTS was finished and delivered to the ESA. The goal was to validate a real system, namely ATAC, an ADA coprocessor chip, running on a real board. The system was big enough to develop specific methodologies and tools, which are described in this paper. LOTOS was chosen to formally specify AT AC. The formal specification was used to produce test cases that were executed against the chip, after a completion process to obtain executable test cases.doi:10.1007/978-0-387-35394-4_18 fatcat:t6grpcqqorakzfsv7zoavvq3dm