DocumentCode :
2696356
Title :
An overview of HATS: a language independent high assurance transformation system
Author :
Winter, Victor L.
Author_Institution :
Sandia Nat. Labs., Albuquerque, NM, USA
fYear :
1999
fDate :
1999
Firstpage :
222
Lastpage :
229
Abstract :
Transformations that are based on syntax directed rewriting systems can have a significant impact on the construction of high assurance systems. However, in order for a transformational approach to be useful to a particular problem domain, a (general) transformation system must be adapted to the notation of that particular domain. A transformation system that can be easily adapted to various domain notations has the potential of having a wide range of applicability. We discuss why transformation is attractive from a high assurance perspective, as well as some issues surrounding automated transformation within specific problem domains. We then give an overview of a language independent high assurance transformation system (HATS) that is being developed at Sandia National Laboratories
Keywords :
program testing; program verification; rewriting systems; software tools; HATS; Sandia National Laboratories; high assurance transformation system; language independent transformation system; program testing; program verification; software tools; syntax directed rewriting systems; transformational approach; Decision support systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Application-Specific Systems and Software Engineering and Technology, 1999. ASSET '99. Proceedings. 1999 IEEE Symposium on
Conference_Location :
Richardson, TX
Print_ISBN :
0-7695-0122-2
Type :
conf
DOI :
10.1109/ASSET.1999.756772
Filename :
756772
Link To Document :
بازگشت