Filters








24,589 Hits in 3.8 sec

Fault-tolerant typed assembly language

Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI &#39;07</a> </i> &nbsp;
Section 3 presents the key principles and formal definitions for the fault-tolerant assembly language type system (TAL FT for short).  ...  Section 2 presents the syntax and operational semantics of the new, idealized assembly language we have designed for fault tolerance.  ...  More specifically, we identify four general principles for verifying correctness of fault tolerant systems and capture these in an assembly language type system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1250734.1250741">doi:10.1145/1250734.1250741</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/PerryMRLAW07.html">dblp:conf/pldi/PerryMRLAW07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bc2tbhc7gjc4dlr5u35h2py2lu">fatcat:bc2tbhc7gjc4dlr5u35h2py2lu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070609200400/http://www.cs.princeton.edu/~frances/papers/tal_ft-tr.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/05/c4050c5bf4d4c016372d86f53d75c297cb2a433c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1250734.1250741"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Fault-tolerant typed assembly language

Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
<span title="2007-06-10">2007</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Section 3 presents the key principles and formal definitions for the fault-tolerant assembly language type system (TAL FT for short).  ...  Section 2 presents the syntax and operational semantics of the new, idealized assembly language we have designed for fault tolerance.  ...  More specifically, we identify four general principles for verifying correctness of fault tolerant systems and capture these in an assembly language type system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1273442.1250741">doi:10.1145/1273442.1250741</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/adu3pieiajcgdhwwzv7jqbl6py">fatcat:adu3pieiajcgdhwwzv7jqbl6py</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070609200400/http://www.cs.princeton.edu/~frances/papers/tal_ft-tr.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/05/c4050c5bf4d4c016372d86f53d75c297cb2a433c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1273442.1250741"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Quantifying the Accuracy of High-Level Fault Injection Techniques for Hardware Faults

Jiesheng Wei, Anna Thomas, Guanpeng Li, Karthik Pattabiraman
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/64vpoz5fx5azda553iibjuf7h4" style="color: black;">2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks</a> </i> &nbsp;
We quantitatively evaluate the accuracy of LLFI with respect to assembly level fault injection, and understand the reasons for the differences.  ...  In this paper, we quantify the accuracy of high-level software fault injection mechanisms vis-a-vis those that operate at the assembly or machine code levels.  ...  Assembly code level fault injection: There has been substantial amount of work in fault-injection at the assembly language level for emulating hardware faults.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn.2014.2">doi:10.1109/dsn.2014.2</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dsn/WeiTLP14.html">dblp:conf/dsn/WeiTLP14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o7tywbtdozh4ra2u5e3qoftdxe">fatcat:o7tywbtdozh4ra2u5e3qoftdxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150906110657/http://blogs.ubc.ca:80/karthik/files/2014/04/DSN-Jiesheng.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/72/f1/72f166d486ba5b6ce1df842b17227c6a23eb1f82.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn.2014.2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Towards a QoS Modeling and Modularization Framework for Component-based Systems

Sumant Tambe, Akshay Dabholkar, Aniruddha Gokhale, Amogh Kavimandan
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/afan4xqyr5hb5mye3ruovjpaku" style="color: black;">2008 12th Enterprise Distributed Object Computing Conference Workshops</a> </i> &nbsp;
To evaluate, we superimpose CQML on a purely structural modeling language and automatically generate, configure, and deploy componentbased fault-monitoring infrastructure using aspect-oriented modeling  ...  This paper describes Component QoS Modeling Language (CQML), which is a reusable, extensible, and platform-independent QoS modeling language that provides strong separation between the structural and nonfunctional  ...  We have developed (1) FailOverUnit [16] , which modularizes fault-tolerance requirements of one or more components and assemblies, (2) PortSecurityQoS, which modularizes security aspects of port based  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/edocw.2008.60">doi:10.1109/edocw.2008.60</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/edoc/TambeDGK08.html">dblp:conf/edoc/TambeDGK08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jdrdppcjafdgvpsf2hniempena">fatcat:jdrdppcjafdgvpsf2hniempena</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721163700/http://www.isis.vanderbilt.edu/sites/default/files/AQuSerM-2008.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/5e/f75eb1a3a0d964fafb436feca9d7061a0ed6358b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/edocw.2008.60"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Fault and adversary tolerance as an emergent property of distributed systems' software architectures

Yuriy Brun, Nenad Medvidovic
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS &#39;07</a> </i> &nbsp;
In this paper, we describe how the tile style, an architectural style designed to distribute computation, can inject fault and adversary tolerance.  ...  Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large networks of insecure nodes.  ...  Finally, we will discuss the types of faults and attacks the tile style tolerates in Section 4.4.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1316550.1316557">doi:10.1145/1316550.1316557</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/BrunM07.html">dblp:conf/sigsoft/BrunM07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mdqvewkirnggdbyulsfjlwonmy">fatcat:mdqvewkirnggdbyulsfjlwonmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809232639/http://people.cs.umass.edu/~brun/pubs/pubs/Brun07efts.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7a/d3/7ad3f1738c6dff4e5f80bd0cbf6ed70c045d4201.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1316550.1316557"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization Approach

Sumant Tambe, Akshay Dabholkar, Aniruddha Gokhale
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/icax7kbgefdxhgco4lvborrsqe" style="color: black;">2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing</a> </i> &nbsp;
Model-driven techniques are used to specify the special fault tolerance requirements, which are then transformed into middleware-level code artifacts using generative programming.  ...  This paper presents GRAFT (GeneRative Aspects for Fault Tolerance), which is a model-driven, automated, and aspects-based approach for specializing generalpurpose middleware with failure handling and recovery  ...  Stage 1 in GRAFT leverages existing structural models of applications modeled as component assemblies, and annotates them with domain-specific fault tolerance requirements using our CAML language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isorc.2009.50">doi:10.1109/isorc.2009.50</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/isorc/TambeDG09.html">dblp:conf/isorc/TambeDG09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zb6hcq3gavdvlioeyqins3pily">fatcat:zb6hcq3gavdvlioeyqins3pily</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100702205032/http://www.dre.vanderbilt.edu/~sutambe/documents/pubs/isorc09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3d/ac/3dacf36450752269d10ef7acecd65d4aa22dec6c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isorc.2009.50"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Formal Methods for Modelling and Analysis of Single-Event Upsets

Rene Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/shm2ezaidfhldft2fi4zk4nura" style="color: black;">2015 IEEE International Conference on Information Reuse and Integration</a> </i> &nbsp;
In this paper we develop a formal semantic framework for easy formal modelling of a large variety of SEUs in a core assembly language capturing the essential features of the ARM assembly language.  ...  Finally, we illustrate how to apply statistical model checking in our framework to model and quantify faults that go well beyond data-flow SEUs and can provide statistics on the level of fault-tolerance  ...  used for formalisation, e.g., the typed assembly language used in the seminal work by Perry et al  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iri.2015.54">doi:10.1109/iri.2015.54</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iri/HansenLOW15.html">dblp:conf/iri/HansenLOW15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dsh5qt3ygbb4rdci2fstatdg7a">fatcat:dsh5qt3ygbb4rdci2fstatdg7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829063623/http://people.cs.aau.dk/~mchro/papers/FormalMethodsforModellingandAnalysisofSingleEventUpsets.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/af/4baf5ab7b216636c03649952a4e9cea74a1f711a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iri.2015.54"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Static typing for a faulty lambda calculus

David Walker, Lester Mackey, Jay Ligatti, George A. Reis, David I. August
<span title="2006-09-16">2006</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
This type system guarantees that well-typed programs can tolerate any single data fault.  ...  To demonstrate that λzap can serve as an idealized typed intermediate language, we define a type-preserving translation from a standard simply-typed lambda calculus into λzap.  ...  , typed, functional language to a typed intermediate language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1160074.1159809">doi:10.1145/1160074.1159809</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sdno3gwyejhqbghuguxu4vic7q">fatcat:sdno3gwyejhqbghuguxu4vic7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060916060633/http://www.cs.princeton.edu/%7Edpw/papers/lambdazap-icfp06.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/61/de618a555dd2dad91f494b37f4b0b5b3b43589d2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1160074.1159809"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Static typing for a faulty lambda calculus

David Walker, Lester Mackey, Jay Ligatti, George A. Reis, David I. August
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP &#39;06</a> </i> &nbsp;
This type system guarantees that well-typed programs can tolerate any single data fault.  ...  To demonstrate that λzap can serve as an idealized typed intermediate language, we define a type-preserving translation from a standard simply-typed lambda calculus into λzap.  ...  , typed, functional language to a typed intermediate language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159803.1159809">doi:10.1145/1159803.1159809</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/WalkerMLRA06.html">dblp:conf/icfp/WalkerMLRA06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7gpg2gm6lfcgbg7f5r7oykp7gu">fatcat:7gpg2gm6lfcgbg7f5r7oykp7gu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060916060633/http://www.cs.princeton.edu/%7Edpw/papers/lambdazap-icfp06.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/61/de618a555dd2dad91f494b37f4b0b5b3b43589d2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1159803.1159809"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

SEUs Mitigation on Program Counter of the LEON3 Soft Processor

Afef KCHAOU, Wajih EL, Rached TOURKI
<span title="">2017</span> <i title="The Science and Information Organization"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2yzw5hsmlfa6bkafwsibbudu64" style="color: black;">International Journal of Advanced Computer Science and Applications</a> </i> &nbsp;
Also many techniques have been developed to get a fault tolerant architecture in order to mask and mitigate fault injection in a circuit.  ...  This paper analyses the effectiveness of fault tolerant method on LEON3 soft-core running a benchmark.  ...  It makes the circuit fault tolerant by masking and reducing the faults.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14569/ijacsa.2017.080737">doi:10.14569/ijacsa.2017.080737</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eqgmnp5tevcy3dj5b3sxlmnibm">fatcat:eqgmnp5tevcy3dj5b3sxlmnibm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719051844/http://thesai.org/Downloads/Volume8No7/Paper_37-SEUs_Mitigation_on_Program_Counter.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/42/2d/422dc41b66717ac2ea23b733ac5e765a9a5cb44d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14569/ijacsa.2017.080737"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

LLFI: An Intermediate Code-Level Fault Injection Tool for Hardware Faults

Qining Lu, Mostafa Farahani, Jiesheng Wei, Anna Thomas, Karthik Pattabiraman
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5h2pexbg5bbsvf5ozr4cb4mbvi" style="color: black;">2015 IEEE International Conference on Software Quality, Reliability and Security</a> </i> &nbsp;
We demonstrate the utility of LLFI by using it to perform fault injection experiments into nine programs, and study the effect of different injection choices on their resilience, namely instruction type  ...  Hardware errors are becoming more prominent with reducing feature sizes -however. tolerating them exclusively in hardware is expensive.  ...  Assembly code level fault injection: There has been substantial amount of work in fault-injection at the assembly language level for emulating hardware faults.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/qrs.2015.13">doi:10.1109/qrs.2015.13</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/qrs/LuFWTP15.html">dblp:conf/qrs/LuFWTP15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/twfge2bnj5anjf27ta43l77cky">fatcat:twfge2bnj5anjf27ta43l77cky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812222232/http://blogs.ubc.ca/karthik/files/2015/07/qrs-camera-ready.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/b7/92b76c8e2ce8fe7faa3243484eb5d41074b99d14.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/qrs.2015.13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Evaluating fault-tolerant system designs using FAUmachine

S. Potyra, V. Sieh, M. Dal Cin
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS &#39;07</a> </i> &nbsp;
This paper presents an elaborate framework for early evaluation of fault-tolerant behaviour of complex hardware/software systems in the presence of hardware faults.  ...  The evaluation is based on sophisticated fault injection experiments. An illustrative example for such experiments is discussed in some details.  ...  "\0d" # # Wait for "Choose language". # Use preselected "English". # Press return. # wait_asc Choose language 10min type "\0d" ...  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1316550.1316559">doi:10.1145/1316550.1316559</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/PotyraSC07.html">dblp:conf/sigsoft/PotyraSC07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xlbe6pgturcixmiwqzw6da3bsm">fatcat:xlbe6pgturcixmiwqzw6da3bsm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218074322/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/dd72bxknpcnh6rzyqamj1isukjsvo5lg.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/a9/26a901672dff75550267c0cb644cc35d9cb01693.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1316550.1316559"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Fault-Tolerant Non-interference [chapter]

Filippo Del Tedesco, Alejandro Russo, David Sands
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The method is defined on a simple assembly language, and guarantees security for any assembly program provided as input.  ...  The classic problem of fault tolerance is to modify a system so that it works despite a limited number of faults. We introduce a novel variant of this problem.  ...  The closest to our work in the Zap series is the work on fault-tolerant typed assembly language of Perry et al [24] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-04897-0_5">doi:10.1007/978-3-319-04897-0_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ntd3mb6i25go5pb6hgrxk7vaji">fatcat:ntd3mb6i25go5pb6hgrxk7vaji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160429034142/http://www.cse.chalmers.se:80/~russo/publications_files/essos14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/ee/1cee8fe2af32abce8d7e22f6fc3cce95d4f4a134.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-04897-0_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automatic Architecture Hardening Using Safety Patterns [chapter]

Kevin Delmas, Rémi Delmas, Claire Pagetti
<span title="">2015</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Platform-Induced Errors 10 / 29 Ensure tolerance to execution platform faults (SEU) Model Analysis Architecture hardening Implementation Goal Suggest redundancy patterns for tolerance to platform  ...  Platform-Induced Errors 6 / 29 Safety Analysis Methods Model-based safety assessment using Altarica models and tools; Single Event Upset SEU fault characterization and fault-tolerance means at silicon  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-24255-2_21">doi:10.1007/978-3-319-24255-2_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jve7wysbcngrrpa6m67agvnzw4">fatcat:jve7wysbcngrrpa6m67agvnzw4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321101339/https://cse.cs.ovgu.de/imbsa2014/files/presentations/Remi%20Delmas%20-%20Automatic%20Architecture%20Hardening%20Using%20Safety.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9e/1f/9e1f3f7dcf9aa7cef77b52b68316284cbc51f6ea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-24255-2_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM [chapter]

Lars Grunske
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Therefore, component-based software engineering technologies in these domains must be capable of predicting dependability attributes of a system assembled from components.  ...  This language has a simple graphical syntax [6] and a formal semantics [7],  ...  Each of the three syntactical elements are graphically represented by a box which contains the name of the component and a stereo type which specifies the element type ( SaveComp , Switch or Assembly )  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11921998_17">doi:10.1007/11921998_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5veecpgtkjgufjz2fxtxsna53i">fatcat:5veecpgtkjgufjz2fxtxsna53i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080807095211/http://www.itee.uq.edu.au/~grunske/Publications/QOSA06.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7f/e9/7fe9dc61ecef5177ed6d1a57097716cfab81785d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11921998_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 24,589 results