Real-Time computing is one of th most demanding and challenging areas in computing. It is also of great importance, since real-time software is indispensable to all ultra-reliable and safety critical applications. The objective of this book is to provide an introduction to the whole area of real-time computing. Although it boundaries are bit well defined, the body of knowledge relevant to the study of real-time systems encompasses a whole range of topics. There are issues such as clocks, specificiation, design and modelling of real-time systems which are exclusive to the study of real-time systems. There are also a number of fairly independant topics having applications outside real-time systems, but with a deinite real-time dimension. The book supplies a framework for the study of real-time systems, facilitating a higher level of abstraction and a sharper focus on concepts and issued. Invariably this framework relies on mathematics, but the mathematics are explained and kept to the minimum. Most chapters are self contained and each deals with a separate topic. The exceptions are Chapters 2 &4 since they contain notations and concepts used elsewhere. The occasional cross reference between chapters are intended to underlinethe coherence of the material rather than the depence of topics.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Clocks and Real Time
Petri Nets An Introduction
17 other sections not shown
application approach arcs assumption beamformer behaviour Chapter checkpoints clock differences clock values communication costs components computation consider consists constraints constructive dilemma corresponding defined definition delay denotes elements enab enabled environment error example execution cost failure fault tolerance faulty clocks Figure firing sequence function Gantt chart given handset hangup hardware hydrophones input interaction interprocessor communication interval introduced logic logical clock MERN module graph multi-processor N-version programming nodal clocks nodes non-faulty notation Note notion Observation operator optimal OUT-CALL output pair partitioning Petri nets possible postset precedence relation predicate preset problem realtime systems recovery redundancy reference relevant requirements respect result rooted computation scheduling algorithms scheduling discipline Scheme sensor set of tasks signals specific synchronization task allocation telephone tense logic TERN tick tokens trace tr transition tuple units untimed variables