General temporal validity

First, if the requirements are restricted to temporal logic, general temporal validity (i.e., the fact that a formula holds for all sequences over the given domain) should trivially imply security validity with every degree of security. 

THE EVENT-TRIGGERED (ET) model of computation is presented as a generalization of the time-triggered (TT) approach. It supports hard real-time and flexible soft real-time services. The ET model is built upon a number of key notions temporal firewalls, controlled objects, temporarily valid state data, and unidirectional communications between isolated subsystems. It uses the producer/consumer rather than client/server model of interaction. In addition to describing a systems model and computation model, this article considers issues of schedu-labiUty and fault tolerance. The ET model is not radically different from the TT approach (as in many systems most events will originate from clocks) but it does provide a more appropriate architecture for open adaptive applications. 

Space by automated model updating protocols where all new data are retrieved and used in an automated model rebuilding and validation process on a regular basis. Internal validation strategies such as cross validation and hold-out validation complement external and temporal test sets in the assessment of the generalization accuracy. 

---