•A model of computation governs the interaction of
components in a design.
•In the classical Von Neumann model of computation,
the components are statements that transform the state of a data store.
•In embedded software design, components are
concurrent processes or threads, typically scheduled by a priority-driven
real-time operating system.