Thesis
Towards a unified methodology for the design and development of distributed control system software
- Abstract:
-
A unified approach to the design and development of distributed control software is presented. This method is the result of a 'tight' integration between a formal method for concurrent systems (CSP) and a structured method for distributed control system (DARTS). The work presented in this thesis does not seek to extend the semantic model of CSP nor to design a specific control algorithm, rather, efforts are made to apply the existing specification and verification techniques to enhance th...
Expand abstract
Actions
Bibliographic Details
- Publication date:
- 1991
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
Item Description
- Language:
-
English
- Subjects:
- UUID:
-
uuid:a392a13b-f05f-4cb4-8c93-2d9c6eed5918
- Local pid:
-
td:602830214
- Source identifiers:
-
602830214
- Deposit date:
-
2013-01-21
Terms of use
- Copyright holder:
- Lau, Y
- Copyright date:
- 1991
- Notes:
- The digital copy of this thesis has been made available thanks to the generosity of Dr Leonard Polonsky
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record