An Overview of HATS: A Language Independent High Assurance Transformation System

Authors:
Victor L. Winter
Affiliations:
-
Venue:
ASSET '99 Proceedings of the 1999 IEEE Symposium on Application - Specific Systems and Software Engineering and Technology
Year:
1999

Citing 0
Cited 6

A refinement-based approach to deriving train controllers

High integrity software
The transient combinator, higher-order strategies, and the distributed data problem

Science of Computer Programming - Special issue on program transformation
Formal specification and refinement of a safe train control function

Formal methods for embedded distributed systems
Towards Concrete Syntax Patterns for Logic-based Transformation Rules

Electronic Notes in Theoretical Computer Science (ENTCS)
Building the program parallelization system based on a very wide spectrum program transformation system

ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Program transformation using HATS 1.84

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.In this paper we discus why transformation is attractive from a high assurance perspective, as wellas 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.