2010 | OriginalPaper | Chapter
1 Models of Reactive Systems
Communication, Concurrency, and Causality
Authors : Bernhard Schätz, Holger Giese
Published in: Model-Based Engineering of Embedded Real-Time Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this chapter,
communication
,
concurrency
, and
causality
are introduced as basic aspects of reactive systems together with different levels of abstraction for each aspect, giving prominent examples of specific models as specifically useful combinations. By relating models along different dimension, we show how to set up development processes allowing not only to support step-wise adding of implementation details, but also to treat different aspects of a system in isolation and to combine the results, leading to a fork-and-join approach.