10.3. Basic System Model
At the system level, the application software may be modeled as a set of tasks, τi ∊ T, which have to be executed on a number of programmable processors under the control of one or more RTOS.
Our system model is designed following the principle of composition, as described by Sifakis [436]. The principle of composition and a proof rule for composing modular specifications that consist of both safety and progress properties were defined by Abadi and Lamport [444,445]. They developed a semantic model for the principle of composition but did not tie it to any particular specification language or logic. It is a key tool for incremental system construction. A problem in specifying and verifying large systems is how to modularize ...
Get Multiprocessor Systems-on-Chips now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
