Title :
Design evaluation: dynamic and static checking from a single model
Author_Institution :
Dept. of Comput. Sci., Keele Univ., UK
Abstract :
Describes the underlying rationale behind the GOOSE (Generalised Object Oriented Support Environment) system and provides a framework that can be used to describe an integrated design model. The manner in which this has been realised in GOOSE is described, and we then consider the benefits of being able to manipulate a single integrated design model while developing a real-time design
Keywords :
data integrity; design engineering; object-oriented methods; project support environments; real-time systems; GOOSE; Generalised Object Oriented Support Environment; design evaluation; dynamic checking; integrated design model; real-time design; static checking;
Conference_Titel :
Methods and Techniques for Real-Time System Development, IEE Colloquium on
Conference_Location :
London
