HATS概述:一个独立于语言的高保证转换系统

Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122) Pub Date : 1998-10-16 DOI:10.1109/ASSET.1999.756772

V. Winter

{"title":"HATS概述:一个独立于语言的高保证转换系统","authors":"V. Winter","doi":"10.1109/ASSET.1999.756772","DOIUrl":null,"url":null,"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.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":"{\"title\":\"An overview of HATS: a language independent high assurance transformation system\",\"authors\":\"V. Winter\",\"doi\":\"10.1109/ASSET.1999.756772\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":340666,\"journal\":{\"name\":\"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-10-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"15\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ASSET.1999.756772\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASSET.1999.756772","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 15

摘要

基于语法定向重写系统的转换可以对高保证系统的构建产生重大影响。然而，为了使转换方法对特定的问题领域有用，(一般的)转换系统必须适应该特定领域的符号。可以很容易地适应各种领域符号的转换系统具有广泛适用性的潜力。我们从高保证的角度讨论了为什么转换是有吸引力的，以及在特定问题域中围绕自动化转换的一些问题。然后，我们概述了桑迪亚国家实验室正在开发的独立于语言的高保证转换系统(HATS)。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

An overview of HATS: a language independent high assurance transformation system

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)

自引率

0.00%

发文量