Integrity and the Flex Programming Support Environment,
ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (ENGLAND)
Pagination or Media Count:
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.
- Computer Programming and Software