As computer systems become more and more complex, it becomes harder to ensure that they are dependable i.e. reliable and secure. Existing dependability techniques do not take into account the characteristics of the application and hence detect errors that may not manifest in the application. This results in wasteful detections and high overheads. In contrast to these techniques, this dissertation proposes a novel paradigm called qApplication-Aware Dependabilityq, which leverages application properties to provide low-overhead, targeted detection of errors and attacks that impact the application. The dissertation focuses on derivation, validation and implementation of application-aware error and attack detectors.The machine model is completely deterministic because for a given instruction sequence, the final state can be uniquely ... An attempt to fetch an instruction from an invalid code address results in an aquot;illegal instructionaquot; exception being thrown.
|Title||:||Automated Derivation of Application-aware Error and Attack Detectors|
|Publisher||:||ProQuest - 2009|