Integrity and the Flex Programming Support Environment,

Abstract

Flex is a multi-language Programming Support Environment (PSE) with a large amount of software available to users. It is built on the Flex capability object oriented architecture developed at RSRE, Malvern. The main design aim was to develop a system of high integrity and reliability and to simplify the development and maintenance of complex software. The result was a highly interactive PSE that is noticeably different from other PSEs. The PSE development since the first Flex architecture came into using the system. The software base includes all normal operating system facilities and many other procedures including compilers for AlgoI68 and Pascal. An Ada compiler is near completion and an ML compiler is under development. This paper discusses the integrity of the Flex Programming support environment, developed at RSRE, Malvern. It describes the special characteristics of the environment which result in a system of unusually high integrity. These characteristics include the capability mechanism, non-overwriting filestore and the use of procedures as first class objects.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1986
Accession Number
ADA181036

Entities

People

  • Margaret Stanley

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Compilers
  • Computer Access Control
  • Computer Architecture
  • Computer Program Reliability
  • Computer Programming
  • Computers
  • Computing System Architectures
  • Dictionaries
  • Directories
  • Embedding
  • Environment
  • Language
  • Lists (Data Structures)
  • Microcode
  • Operating Systems
  • Personality
  • System Software

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Software Verification and Validation.