
178 Time-Triggered Communication
FIGURE 7.15
Data Stream Time Partitioning
the tasks are grouped into sets of “partitions.” Tasks in one partition are guaranteed
not to interfere with tasks of another partition in a mechanism similar to processor
virtualization. See Figure 7.15.
7.5 Validation and Verification Efforts
SAFEbus was part of the Boeing 777 airplane certification and passed rigorous test-
ing for design requirements to support Level A applications, the highest level of
safety requirements. Newer versions of the Boeing 777 use upgrades to the original
SAFEbus BIU design, which also have been certified. Derivatives of SAFEbus have
been certified ...