Abstract: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.
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.