ABSTRACT
Time-triggered systems derive control by the progression of time and thus use the concept of time in theproblemstatementaswellasintheprovidedsolution.¥isapproachsupportsaspeci¦cationof interfacesincludingthetemporaldomain(e.g.,sendandreceiveinstantsofmessages)andtheimplementationof“temporal¦rewalls,”whichpreventerrorpropagationviacontrolsignals.Time-triggered systems support membership identi¦cation, interoperability, and replica determinism.
