DocumentCode
275726
Title
The concept of time in software engineering for real time systems
Author
Hoogeboom, B. ; Halang, W.A.
Author_Institution
Groningen Univ., Netherlands
fYear
1991
fDate
16-18 Sep 1991
Firstpage
156
Lastpage
163
Abstract
Real time systems are defined to investigate how time is involved in their general requirements. The authors review the concept of time from a general perspective and the role of time within computer science is discussed. The means to express and enforce timing constraints are found to be lacking. A different approach is taken in developing a concept of time that is adequate for the specification and design of real time systems. The implications for specification of real time systems are outlined and a method is presented that demonstrates how time can be used for synchronisation purposes
Keywords
formal specification; real-time systems; software engineering; synchronisation; computer science; real time systems; software engineering; specification; synchronisation purposes; timing constraints;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location
Cirencester
Print_ISBN
0-85296-526-5
Type
conf
Filename
140065
Link To Document