O'Reilly logo

Modeling Embedded Systems and SoC's by Axel Jantsch

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter Eight. Nondeterminism and Probability

Nondeterminism, its expressiveness, and its difficulties have played a prominent role in the history of computer science and in the development of computational models. It is symptomatic that we have touched upon it in almost every one of the preceding chapters.

Nondeterminism as a modeling concept is used with two distinct objectives: In its descriptive role (Section 8.1) nondeterminism is used to capture uncertainties in the behavior and timing of a system. In particular it has been used to model the unknown delays of interprocess communication. We review briefly several deterministic (e.g., Kahn process networks and synchronous languages) and nondeterministic (e.g., history relations and process ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required