Contact us Heritage collections Image license terms
HOME ACL ACD C&A INF SE ENG Alvey Transputers Literature
Further reading □ OverviewContentsIntroductionProjectsSummaryPanel
CCD CISD Harwell Archives Contact us Heritage archives Image license terms

Search

   
InformaticsLiteratureReportsSoftware Technology Initiative
InformaticsLiteratureReportsSoftware Technology Initiative
ACL ACD C&A INF CCD CISD Archives
Further reading

Overview
Contents
Introduction
Projects
Summary
Panel

Introduction

1. INTRODUCTION

This is the final Report of the SERC's Software Technology Initiative (STI). Its purpose is to:

  1. Outline the objectives of the STI.
  2. 2. Define the STI'S scope and the mechanisms for implementing it.
  3. 3. Describe the projects to an audience outside the STI.
  4. 4. Report on the STI's achievements.
  5. 5. Explain the transfer of SERC's STI to the Alvey Software Engineering Programme. In particular, it is intended to stimulate contacts between researchers within the programme and those in industry, research establishments and universities in the UK and abroad who are working in or interested in software engineering.

2. THE ROBERTS PANEL AND SOFTWARE TECHNOLOGY

In 1979 an SERC Panel, chaired by Derek Roberts, recommended that SERC mount major new initiatives in several fields of Information Engineering. One of the new technologies recommended for encouragement was Software Technology.

The Roberts Panel reported that:

Already the cost of software is frequently greater than that of the associated hardware, and this trend will be accentuated by the reduction in (silicon) hardware costs. Software production must be one of the few industries where no adequate tools exist for specification, design, production updating and re-engineering. Despite the high cost, and long development cycle of most large systems, no serious attempt is being made to develop new software methods and standards which could reduce both costs and timescales. Add to that the need for improved hardware independence and more user-orientated approaches to high level language development and it is clear that this should be a major area for SERC support. The Panel is aware that the Computing Science Committee has devoted significant funding to this area but considers that more should be done, particularly in exploiting existing research and applying this in industry. As with Silicon Chip Design, there may be a need for a mechanism to bring Universities, Software Houses and Industry together and maximise the benefit of academic research, taking full account of the major contribution industry is able to make in this area.

The SERC's Computing and Communications Sub Committee acted on the Roberts Panel's recommendations and, in November 1981, launched the Initiative.

3. OVERALL OBJECTIVES

The CCSC identified three major objectives for the Software Technology Initiative.

  1. Stimulate more high quality software engineering research
  2. Improve the academic Software Technology base
  3. Facilitate two-way technology transfer between industry and academia

4. SOFTWARE ENGINEERING RESEARCH

The CCSC wanted to stimulate Software Technology research aimed at improving the short term situation (see section 5 Academic Software Technology Base) and to tackle the Software Crisis via longer term investigations (see section 9, Research Priorities).

5. ACADEMIC SOFTWARE TECHNOLOGY BASE

The whole academic community, not just computer science, is a major user and developer of software and so the degree of ease with which software can be developed affects the scientific productivity of many researchers. The academic software technology base is that nebulous entity which encompasses the overall level of skill, experience and knowledge contained in the staff, tools and techniques which are used by the academic community to develop software.

In 1981 the academic software technology base was very non-uniform in that the knowledge, experience; tools and techniques varied considerably between individual projects. It was always heart-breaking to meet, say, a research assistant who spent 75% of his time programming but who had never heard of cross-reference generators, pretty-printers or screen editors let alone symbolic debugging packages or predicate transformers. Conversely, one sometimes found non computer science projects which had invested considerable time and effort in developing sophisticated programming tools and techniques to solve their own special problems but which, if they had been disseminated, would have been valuable to a wider community.

A task still facing programmers is finding out what tools and techniques already exist to help them with their jobs. There is currently no efficient way in which the benefits of existing work can be disseminated to potential users, except in some special areas in which the NAG library is a fine example.

The CCSC approved a plan containing the following major threads:

  1. Identify the software tool/technique producing people and projects.
  2. Form them into a community by:
    1. person to person links
    2. computer to computer links
    3. common software and hardware base policy.
  3. Set in motion a coherent plan to exploit their software tools product or by making such tools/techniques widely known and available in forms which can be readily used by the whole user community.

6. TECHNOLOGY TRANSFER

The Roberts Panel were aware that the Computing Science Committee has devoted significant funding to this area (ie software engineering) but considers that more should be done, particularly in exploiting existing research and applying this in industry there may be a need for a mechanism to bring Universities, Software Houses and Industry together and maximise the benefit of academic research, taking full account of the major contribution industry is able to make in this area.

Technology transfer consists of:

ideas                                 people                                      industry
techniques         via                paper                    between            GRE
experience                            software                                    academia
tools                                 hardware
                                      meetings
                                      training

The Roberts Panel recognised that:

  1. technology transfer needs to be stimulated by the funding bodies;
  2. technology transfer is a symmetrical two-way process between the industrial and academic worlds.

To achieve these two sub-objectives the CCSC considered it desirable to:

  1. Set up Software Technology Centres to act as foci for certain areas of work.
  2. Appoint an SERC Software Technology coordinator whose job was to oversee the implementation of CCSC Software Technology plans, simulate research proposals and act as SERC Liaison with other funding bodies and industry.

It was envisaged that by setting up software technology centres, coordination, collaboration between funding bodies, an increased level of research activity and the creation of software engineering development and user communities, the British academic community would be drawn into close and profitable associations with British industry.

7. DEVELOPMENT OF THE ACADEMIC SOFTWARE TECHNOLOGY BASE

The CCSC wanted to implement the following steps to try to improve the academic community's software development capability.

  1. Carry out the following:
    1. collect information on the range of current SERC projects making software tools,
    2. identify the whole community concerned with making tools,
    3. list the actual tools currently in use and found worthwhile,
    4. identify software tools which are foreseen as needed,
  2. Form working community:
    1. Circulate the identified community by mailshot (a la DCS) to solicit improvements of the paper described above. This will help to form person-person links and inform people of available technology.
    2. Link the software engineering community through computer networking.
  3. Implement the Software Technology development programme to raise the academic software technology base by creating a COMMON BASE for development activities and, ultimately, production programming.

Tool users would access tools via:

  1. common software base, eg create portable tool kit written in Pascal under Unix operating system.
  2. common hardware base, all tool developers have PERQs, Cambridge Rings, PSS and SERCnet X25 connections.
  3. common access to special tool, eg network access to single site running service for special tool, eg big machine dependent theorem proving system.

8. COMMON BASE POLICY

The whole academic community, not just Computer Science, is a major user and developer of software and so the degree of ease with which software can be developed affects the scientific productivity of many researchers. The SERC's Common Base Policy relates to all SERC supported subject areas thereby giving the Software Technology Initiative the maximum opportunity to try to improve the software technology available to all scientists.

Currently the academic software technology base is very non-uniform in that the knowledge, experience, tools, techniques and equipment vary considerably between projects. The motivation to create a common Hardware and Software Base is to bring together a1l of the best existing tools and techniques into a uniform framework so that the whole is more effective than the sum of diverse parts. This is being achieved via EMR contracts to move existing tools into the common base, specific purchases, and the direct results of SERC research projects using the state of the art common hardware base. A good example of the common base snowball effect is the widespread use of the Unix operating system which has enabled a large number of software tools to be made available throughout the UK academic community.

The Common Base Policy and the STI Infrastructure Policy are described in detail in the appendices. Briefly the CCSC wished the common software base to be Pascal/Unix and the common hardware base to be the PERQ. The PERQs were to be networked together via the Cambridge Rings, JANET and PSS to allow widespread cooperation between tool users and developers. This combination of software and hardware was widely accepted as being the best combination for developing tools in the coming years. A common base does not imply rigid standardisation however.

The software tool development programme thus proceeds as follows:

  1. Provide PERQs (common hardware base) running Pascal/Unix (common software base) to participating researchers, on their undertaking to develop and/or move useful tools to common base and distribute these tools to community (via RAL).
  2. Get RAL to act as a central clearing house for software tools on common software and hardware bases (receive, test, copy, send out).
  3. Arrange for those tools which cannot be brought into the common bases (eg big theorem prover) to be made available as service to community via network facilities.
  4. Invite participation from non-SERC funded projects to contribute to common base toolkits (see Technology Transfer section 5). They would not be supplied with equipment by SERC, but would join the community by contributing tools of their own to the common base toolkits.

8.1. Industrial Involvement

he PERQ computers have been purchased from a British company, ICL. Network equipment is based on the Cambridge Ring, in line with the DCS Programme. Thus, the Common Base Policy means that the academic community directly contributes to improving and promoting state of the art industrial initiatives.

The mutually beneficial effect of practically linking academic research to industrial companies helps to build up technology transfer.

8.2. Council Support for the Common Base Policy

The Council became aware that powerful single user systems were going to change the way SERC provided computing resources to all scientists, not just Computer Scientists. The Council therefore approved a recommendation that all Single User System purchases and developments be handled centrally through the CCC with development activity coordinated by the RAL, who collaborated with ICL to promote technology transfer between industry and academia.

Thus the CCSC's idea of a common base policy has been endorsed and expanded by the Council. For further information contact Dr K Robinson, Head of Common Base Section, Informatics Division, RAL, tel Abingdon (0235) 21900x649l.

9. RESEARCH PRIORITIES

9.1. Short and Medium Term Objectives

The common base policy was designed to have an effect on both the short and medium term aspects of programming efficiency by reducing duplicate production of tools for different machines, reducing training needs and increasing the quality and capability of tools available to scientists.

9.2. Long Term Objectives

Whilst the Common Base Policy has made life better for practicing programmers by rationalising the activity of current technology, it was vital that the CCSC funded projects which were likely to lead to significant new techniques to solve the Software Crisis.

The Coordinator had a number of discussions with academic and industrial software engineering experts and a letter soliciting views was circulated. As a result of this activity the following list of priorities was identified.

Areas of importance in which the CCSC invited proposals included:

  1. Specification
  2. Verification (manual and automatic)
  3. Pure Theory (formal logic, semantics etc)
  4. Applications Theory (formal treatment of specific applications)
  5. Programming Workbenches
  6. Specific Problems (eg security, reliability)

10. ORGANISATION OF THE INITIATIVE

  1. The Initiative was launched on 1 November 1981 by a letter to all relevant academics and industrialists, outlining the CCSC's ideas, priorities and the Common Base Policy, and an appropriate press release.
  2. The Initiative was planned to last for approximately 5 years, ie until March 1987.
  3. The STI's role was transferred to the Alvey Directorate in September 1984 (see section 13).

11. MANAGEMENT OF THE INITIATIVE

A coordinated approach to research in Software Engineering has two main advantages:

  1. Reflecting the importance of the subject to the progress of computing and information technology, it helps to ensure a reasonable balance of SERC support across the various areas concerned; and a framework facilitating take-up of research results by industry.
  2. The substantial costs of much research in this field, and the limits of funds available, make it essential to provide support in a cost effective way - without impinging on the necessary freedom of investigators in carrying out fundamental research.

The coordination is achieved at two levels.

First within the Initiative itself, there is continuing contact with the investigators, starting with assistance in working out proposals with investigators. This is continued through the research by information services, including a regular research community mailshot, and a wide variety of collaborative workshops. The coordinator is available throughout for ad hoc assistance with technical and organisational difficulties.

Secondly, outside the Initiative, links are fostered with industrial organisations (including government establishments, etc.) likely to make use of research results. This aims at the transfer of technology to the industrial sector through involvement of investigators in industrial problems, the exploitation of research products and concepts, and the furtherance of projects through co-operative research. These aspects become of even greater importance as the programme approaches maturity.

There has existed, then, a positive programme of research into Software Engineering, managed by an STI Panel appointed by the Computing and Communications Sub-committee. The Panel monitored the activity of the programme, and advised the Sub-committee on questions of policy and finance. The Panel was advised and supported by the Coordinator, who acted as roving ambassador for the programme, and provided day-to-day support for researchers.

12. COORDINATION ACTIVITIES

The precise mechanics of coordination evolved as the Initiative developed, but the essential features are as set out below. Coordination will continue from September 84 but within the Alvey context.

12.1. Academic Coordination

Within the Initiative, as its scope is very broad, the degree of coordination appropriate to each research project varies according to its nature. Effort has been concentrated on the following aspects:

  1. The minimisation of duplication of funding by holding informal discussions with investigators prior to submission of formal applications.
  2. The promotion of ongoing liaison between research teams and the Panel, via the Coordinator.
  3. The ongoing review of the objectives of each project in the light of the results obtained, and the progress of the programme as a whole.
  4. The review of progress, dissemination of information and promotion of communication and collaboration between investigators via the regular SIG meetings, Workshops, Colloquia, mailshots and communications facilities.

12.2. Industrial Coordination

As the programme matures, within the Alvey context, the emphasis lies increasingly on fostering industrial interest in the programme, with the objectives of promoting collaborative projects and facilitating a high degree of technology transfer. This is best achieved via:

  1. Invitation of interested industrial researchers to appropriate technical meetings and conferences run by the programme, and organisation of meetings specifically for industrialists.
  2. Development of informal links between specific companies and research groups.
  3. Subsequent development of links such as research contracts or collaborative programmes between university and industrial or government organisations.

The Coordinator provided information on the research programme. advised on mechanisms available for supporting collaborative research, and helped mediate potential researcher/industry relationships.

Rutherford Appleton Laboratory Support

The SERC supports academic research by awarding grants to investigators for staff, equipment and travel. Investigators may also apply for practical support from the various SERC laboratories which provide specialised services and facilities such as the FRBo colour microfilm recorder, large mainframe computers and microelectronics design and fabrication facilities.

The STI was supported by the Rutherford Appleton Laboratory (RAL) from November 1981. The Coordinator was on the staff of RAL and other RAL staff provided software and hardware support for the Initiative. Typical ways in which RAL support was provided included:

  1. Support for the Unix operating system used by the majority of STI investigators.
  2. Provision of software to couple the Unix troff text formatting software to SERC's III FR80 microfilm recorder.
  3. Procurement, distribution and maintenance of the equipment pool.
  4. Support for and development of the Common Base Policy. Because the CBP was quickly adopted as a Council wide policy the RAL support for the CBP became a separate group in November 1982 with central funding from the CCC.
  5. Management of the development contracts (EMR) for Unix/Ada compiler, Modula-2 compiler and Stanford Pascal Verifier.

ADVENT OF THE ALVEY PROGRAMME

The SERC's Roberts Panel Report farsightedly highlighted the national urgency for an increased level of UK Information Technology research.

When the Japanese launched their Fifth Generation Computing Systems initiative the UK government responded by setting up the Alvey Committee to consider the UK's position. The SERC was able to make a substantial contribution to the Alvey Report thanks to its Roberts Panel inspired Information Engineering activities, including the STI and the DCS Programmes. Experience had thus been gained of the management of IT research on a national scale and plans for further SERC initiatives were already in the pipeline.

Following the establishment of the Alvey Directorate, formed from a collaboration between SERC, DTI, MOD, academia and industry, it became clear that the STI was, in reality, a subset of the proposed Alvey Software Engineering Programme. Thus the STI was transferred to the Alvey Directorate and the STI Coordinator seconded in June 1983 to act as Deputy Director of the Alvey Software Engineering Programme. The STI was therefore prematurely terminated on 31 October 1984, in its role as an SERC programme, but lives on, in expanded form, as the academic portion of the Alvey Software Engineering Programme. The Alvey SE Director now has responsibility for all STI initiated activities.

⇑ Top of page
© Chilton Computing and UKRI Science and Technology Facilities Council webmaster@chilton-computing.org.uk
Our thanks to UKRI Science and Technology Facilities Council for hosting this site