Transformation as a Design Process and Runtime Architecture for High Integrity Software

Thumbnail image of item number 1 in: 'Transformation as a Design Process and Runtime Architecture for High Integrity Software'.
Thumbnail image of item number 2 in: 'Transformation as a Design Process and Runtime Architecture for High Integrity Software'.
Thumbnail image of item number 3 in: 'Transformation as a Design Process and Runtime Architecture for High Integrity Software'.
Thumbnail image of item number 4 in: 'Transformation as a Design Process and Runtime Architecture for High Integrity Software'.
Showing 1-4 of 15 pages in this article.

PDF Version Also Available for Download.

Description

We have discussed two aspects of creating high integrity software that greatly benefit from the availability of transformation technology, which in this case is manifest by the requirement for a sophisticated backtracking parser. First, because of the potential for correctly manipulating programs via small changes, an automated non-procedural transformation system can be a valuable tool for constructing high assurance software. Second, modeling the processing of translating data into information as a, perhaps, context-dependent grammar leads to an efficient, compact implementation. From a practical perspective, the transformation process should begin in the domain language in which a problem is initially expressed. … continued below

Physical Description

15 p.

Creation Information

Bespalko, Stephen J. & Winter, Victor L. April 5, 1999.

Context

This article is part of the collection entitled: Office of Scientific & Technical Information Technical Reports and was provided by the UNT Libraries Government Documents Department to the UNT Digital Library, a digital repository hosted by the UNT Libraries. It has been viewed 14 times. More information about this article can be viewed below.

Who

People and organizations associated with either the creation of this article or its content.

Authors

Sponsor

Publisher

  • Sandia National Laboratories
    Publisher Info: Sandia National Labs., Albuquerque, NM, and Livermore, CA (United States)
    Place of Publication: Albuquerque, New Mexico

Provided By

UNT Libraries Government Documents Department

Serving as both a federal and a state depository library, the UNT Libraries Government Documents Department maintains millions of items in a variety of formats. The department is a member of the FDLP Content Partnerships Program and an Affiliated Archive of the National Archives.

About | Browse this Partner

Contact Us

Corrections Questions

What

Descriptive information to help identify this article. Follow the links below to find similar items on the Digital Library.

Description

We have discussed two aspects of creating high integrity software that greatly benefit from the availability of transformation technology, which in this case is manifest by the requirement for a sophisticated backtracking parser. First, because of the potential for correctly manipulating programs via small changes, an automated non-procedural transformation system can be a valuable tool for constructing high assurance software. Second, modeling the processing of translating data into information as a, perhaps, context-dependent grammar leads to an efficient, compact implementation. From a practical perspective, the transformation process should begin in the domain language in which a problem is initially expressed. Thus in order for a transformation system to be practical it must be flexible with respect to domain-specific languages. We have argued that transformation applied to specification results in a highly reliable system. We also attempted to briefly demonstrate that transformation technology applied to the runtime environment will result in a safe and secure system. We thus believe that the sophisticated multi-lookahead backtracking parsing technology is central to the task of being in a position to demonstrate the existence of HIS.

Physical Description

15 p.

Notes

OSTI as DE00005687

Medium: P; Size: 15 pages

Source

  • ACM Foundations of Software Engineering Symposium, Toulouse (FR), 09/06/1999--09/10/1999

Language

Item Type

Identifier

Unique identifying numbers for this article in the Digital Library or other systems.

  • Report No.: SAND99-0808C
  • Grant Number: AC04-94AL85000
  • Office of Scientific & Technical Information Report Number: 5687
  • Archival Resource Key: ark:/67531/metadc696460

Collections

This article is part of the following collection of related materials.

Office of Scientific & Technical Information Technical Reports

Reports, articles and other documents harvested from the Office of Scientific and Technical Information.

Office of Scientific and Technical Information (OSTI) is the Department of Energy (DOE) office that collects, preserves, and disseminates DOE-sponsored research and development (R&D) results that are the outcomes of R&D projects or other funded activities at DOE labs and facilities nationwide and grantees at universities and other institutions.

About | Browse this Collection

What responsibilities do I have when using this article?

Digital Files

When

Dates and time periods associated with this article.

Creation Date

  • April 5, 1999

Added to The UNT Digital Library

  • Aug. 14, 2015, 8:43 a.m.

Description Last Updated

  • July 19, 2022, 4:37 p.m.

Usage Statistics

When was this article last used?

Yesterday: 0
Past 30 days: 1
Total Uses: 14
More Statistics

Interact With This Article

Here are some suggestions for what to do next.

Start Reading

Thumbnail image of item number 1 in: 'Transformation as a Design Process and Runtime Architecture for High Integrity Software'.
Thumbnail image of item number 2 in: 'Transformation as a Design Process and Runtime Architecture for High Integrity Software'.
Thumbnail image of item number 3 in: 'Transformation as a Design Process and Runtime Architecture for High Integrity Software'.
Thumbnail image of item number 4 in: 'Transformation as a Design Process and Runtime Architecture for High Integrity Software'.

PDF Version Also Available for Download.

Citations, Rights, Re-Use

International Image Interoperability Framework

IIF Logo

We support the IIIF Presentation API

Links for Robots

Helpful links in machine-readable formats.

Archival Resource Key (ARK)

International Image Interoperability Framework (IIIF)

Metadata Formats

Images

URLs

Stats

Bespalko, Stephen J. & Winter, Victor L. Transformation as a Design Process and Runtime Architecture for High Integrity Software, article, April 5, 1999; Albuquerque, New Mexico. (https://digital.library.unt.edu/ark:/67531/metadc696460/: accessed June 12, 2024), University of North Texas Libraries, UNT Digital Library, https://digital.library.unt.edu; crediting UNT Libraries Government Documents Department.

Back to Top of Screen