A Formal Description of FTAG for Multi-Processor Systems
نویسندگان
چکیده
FTAG is a functional model for writing fault-tolerant software that is based on attribute grammars. With this approach, a program is written as a series of module decompositions,with provisions for redoing and replicatingmodules used to implement fault-tolerance requirements. The functional nature of the model and the independence of decompositions makes FTAG especially well-suited for implementation in a loosely-coupled multi-processor system. Here, the formal semantics of fault-tolerant software written using this approach on multi-processor systems are described. In addition to specifying precisely the effect of executing such software, this also serves to highlight various architectural techniques that can be used to simplify the implementation of functional fault-tolerant software in networked systems.
منابع مشابه
FTAG: A Functional and Attribute Based Model for Writing Fault-Tolerant Software
Programs constructed using techniques that allow software or operational faults to be tolerated are typically written using an imperative computational model. Here, an alternative is described in which such programs are written using a functional and attribute based model called FTAG (Fault-Tolerant Attribute Grammars). The basic model is introduced first, followed by a description of mechanism...
متن کاملProposed Feature Selection for Dynamic Thermal Management in Multicore Systems
Increasing the number of cores in order to the demand of more computing power has led to increasing the processor temperature of a multi-core system. One of the main approaches for reducing temperature is the dynamic thermal management techniques. These methods divided into two classes, reactive and proactive. Proactive methods manage the processor temperature, by forecasting the temperature be...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملVerification Challenges in Configurable Processor Design with ASIP Meister
In this presentation, several verification problems in configurable processor design synthesis are illustrated. Our research group (PEAS Project) has been developing a novel design methodology of configurable processor, that includes higher level processor specification description, HDL description generation from the specification, Flexible Hardware Model (FHM) for resource management for HDL ...
متن کاملAn Architecture for Software Fault Tolerance with a Function and Attribute-based Model FTAG
Abstract:Software that allows software or operational faults to be tolerated are typically written using an imperative computational model. Here, an alternative is described in which such programs are written using a functional and attribute based model called FTAG (Fault-Tolerant Attribute Grammars). Some example to illustrate these techniques and a software architecture for implementing FTAG ...
متن کامل