TY - BOOK
T1 - Prototyping real time engineering systems using Hatley & Pirbhai's requirement model
AU - Fensome, D.A.
PY - 1992
Y1 - 1992
N2 - A research programme is underway which is aimed at establishing ways of prototyping real time engineering systems using existing concurrent programming systems. The role of formal techniques in the development of prototypes, and its subsequent re-use in a well engineered product, is also an important theme. The first prototypes have used the Hatley & Pirbhai Transformation Schema, and have been built using Ada. A case study is described. The research shows that a prototype based on Hatley & Pirbhai's requirementModel would require a significant structural overhead, mainly because of the model 'execution' assumptions. Also Ada is an appropriate language to use, mainly because the tasking overhead is too great, but also because the communications model differs from Hatley & Pirbhai's model. Some future research directions are indicated.
AB - A research programme is underway which is aimed at establishing ways of prototyping real time engineering systems using existing concurrent programming systems. The role of formal techniques in the development of prototypes, and its subsequent re-use in a well engineered product, is also an important theme. The first prototypes have used the Hatley & Pirbhai Transformation Schema, and have been built using Ada. A case study is described. The research shows that a prototype based on Hatley & Pirbhai's requirementModel would require a significant structural overhead, mainly because of the model 'execution' assumptions. Also Ada is an appropriate language to use, mainly because the tasking overhead is too great, but also because the communications model differs from Hatley & Pirbhai's model. Some future research directions are indicated.
M3 - Other report
T3 - UH Computer Science Technical Report
BT - Prototyping real time engineering systems using Hatley & Pirbhai's requirement model
PB - University of Hertfordshire
ER -