DocumentCode
1110545
Title
The use of GMB in the design of robust software for distributed systems
Author
Carpenter, Geoffrey F. ; Tyrell, A.M.
Author_Institution
Dept. of Electr. & Electron. Eng. & Appl. Phys., Aston Univ., Birmingham, UK
Volume
4
Issue
5
fYear
1989
fDate
9/1/1989 12:00:00 AM
Firstpage
268
Lastpage
282
Abstract
State-space modelling of software for distributed systems has been effective in exposing design faults and has provided a method for the placement of software fault-tolerant structures. The paper considers the use of the UCLA Graphical Model of Behaviour (GMB) in the design and simulation of software for distributed systems with emphasis on the study of dynamic interprocess interactions. GMB possesses a number of analytical features which improve the models. A case study of the design of robust software for a safety critical application shows that GMB provides a complementary, and in some respects superior, method to Petri-net modelling
Keywords
distributed processing; fault tolerant computing; safety; software reliability; GMB; Petri-net modelling; UCLA Graphical Model of Behaviour; distributed systems; dynamic interprocess interactions; fault-tolerant structures; robust software; safety critical application; state-space modelling;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
42960
Link To Document