Use this URL to cite or link to this record in EThOS:
Title: Development aids for structured concurrent systems
Author: Morgan, J. D.
Awarding Body: University College of Swansea
Current Institution: Swansea University
Date of Award: 1980
Availability of Full Text:
Access from EThOS:
This thesis considers a structured discipline of system development which is deemed to be necessary for the creation of sound, reliable systems. A methodology is introduced which forms the basis of the development approach, and this approach is modelled particularly on the needs of future systems and the developing microprocessor technology. In particular, the notion of concurrency in systems is considered to be an important aspect of the design process. It is shown that such a disciplined approach renders the creation of a collection of system development aids considerably easier. Development aids are considered for the logical testing of systems (high-level simulation) and for the testing of system resource constraints (low-level simulation). A high-level optimisation structure is introduced (the software pipeline), and a number of investigatory tools for this type of structure are described.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available