Filters








21,963 Hits in 9.4 sec

A case study in the mechanical verification of fault tolerance

Heiko Mantel, Felix C. Gartner
<span title="">2000</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t5mpusqpirhnjlrcurxdscrpl4" style="color: black;">Journal of experimental and theoretical artificial intelligence (Print)</a> </i> &nbsp;
We study this question using a prominent example from the fault tolerance literature: the problem of reliable broadcast in point-to-point networks opposed to crash failures of processes.  ...  To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice.  ...  Acknowledgments We would like to thank Serge Autexier, Dieter Hutter, and Axel Schairer for valuable comments on an earlier version of this paper which helped us to improve the presentation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/095281300454847">doi:10.1080/095281300454847</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/svcxxd226ra4tjy2w3opir7gmq">fatcat:svcxxd226ra4tjy2w3opir7gmq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808030119/http://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2000/2000-flairs.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/1d/1c/1d1c7b75c8c9a5dee085c858f33d6689d20f08ab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/095281300454847"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Page 238 of IEEE Transactions on Computers Vol. 52, Issue 2 [page]

<span title="">2003</span> <i title="Institute of Electrical and Electronics Engineers Inc. IEEE"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_ieee-transactions-on-computers" style="color: black;">IEEE Transactions on Computers </a> </i> &nbsp;
study the pros and cons of each type of MOP and we will illustrate the benefits of providing different degrees of openness for the implementa- tion of a fault-tolerant system. contribution to the verification  ...  of MOP-based fault-tolerant Section 5 presents our systems: the definition of a general strategy for testing the reflective mechanisms of a MOP.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_ieee-transactions-on-computers_2003-02_52_2/page/238" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_ieee-transactions-on-computers_2003-02_52_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems [article]

Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll
<span title="2009-05-25">2009</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms.  ...  We show that local properties of a system with the deterministic assumption will be preserved in a modified synchronous system used as the verification model.  ...  CASE STUDY: BALANCED-ROD SYSTEM By applying formal verification, we can test the applicability of new or built-in mechanisms under different fault models before deployment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0905.3946v1">arXiv:0905.3946v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/woylhu3obvcdhbi2pv2z4gx43u">fatcat:woylhu3obvcdhbi2pv2z4gx43u</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-0905.3946/0905.3946.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> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0905.3946v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A hierarchical fault tolerant architecture for an autonomous robot

Anthony Favier, Antonin Messioux, Jeremie Guiochet, Jean-Charles Fabre, Charles Lesire
<span title="">2020</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/64vpoz5fx5azda553iibjuf7h4" style="color: black;">2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)</a> </i> &nbsp;
The main idea is to implement a fault tolerance strategy using a fault tree and an ordered set of recovery modules.  ...  This paper presents a generic approach to specify a fault tolerant robot controller, and its implementation and validation with ROS and Gazebo.  ...  As it will be the case in next section, not all unwanted events of a fault tree could be mitigated by a fault tolerance mechanism, but this is out of the scope of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn-w50199.2020.00031">doi:10.1109/dsn-w50199.2020.00031</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dsn/FavierMGFL20.html">dblp:conf/dsn/FavierMGFL20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2v3jo6gu3zgx5j2u5x2ikjukze">fatcat:2v3jo6gu3zgx5j2u5x2ikjukze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201106020707/https://hal.laas.fr/hal-02558604/file/PID6442955.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/46/0e/460e41bef6a29edc93f5f3ce45d8bb52ee0d58ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn-w50199.2020.00031"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Validation-based development of dependable systems

J. Arlat, J. Boue, Y. Crouzet
<span title="">1999</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gvjkwgwwvnakpbfssxpqjozbqm" style="color: black;">IEEE Micro</a> </i> &nbsp;
We propose a fault injection-based testing framework linked to the design of fault-tolerant systems described as VHDL models and illustrate the application of our strategy with a case study corresponding  ...  Removal of fault tolerance deficiencies Due to the very negative impact of deficiencies affecting the design and/or implementation of FTMs, the early verification of these mechanisms is essential.  ...  Case study To assess the usefulness of the proposed testing strategy, in particular when using MEFIS-TO-L, we developed a VHDL model of a simple fault-tolerant system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/40.782569">doi:10.1109/40.782569</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wvly2wjecvfonelnzuryofdr4a">fatcat:wvly2wjecvfonelnzuryofdr4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040714131002/http://come.ssu.ac.kr:80/~ieee/micro/mi1999/pdf/m4066.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/a8/99/a899a0e660692873028e80b827ca4772f845b315.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/40.782569"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle

Huai Liu, Iman I. Yusuf, Heinz W. Schmidt, Tsong Yueh Chen
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014</a> </i> &nbsp;
We can make use of the results of these previous studies in our work of fault tolerance.  ...  Such an output verification mechanism is termed as oracle in the context of software testing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2591062.2591109">doi:10.1145/2591062.2591109</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/LiuYSC14.html">dblp:conf/icse/LiuYSC14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wm4ekmobyraivenyq6tfmpw6jq">fatcat:wm4ekmobyraivenyq6tfmpw6jq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921234033/http://researchbank.rmit.edu.au/view/rmit:24881/n2006047456.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/60/09/60096e58b49690ed050de962ba573a53e3352bf9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2591062.2591109"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Fault modelling for systems of systems

Zoe Andrews, John Fitzgerald, Richard Payne, Alexander Romanovsky
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dlqblbsldfahnfdya67wgeayha" style="color: black;">2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS)</a> </i> &nbsp;
This paper proposes a systematic model-based approach to the architectural description of faults and fault tolerance mechanisms in systems of systems (SoSs).  ...  The effectiveness of the approach is evaluated on a case study based on a real emergency response SoS.  ...  The authors are grateful to Enrico Fracasso of Insiel for his input in developing the case study and to Alexandre Mota, André Didier, Jon Holt and Simon Perry for their feedback on earlier versions of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isads.2013.6513445">doi:10.1109/isads.2013.6513445</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/isads/AndrewsFPR13.html">dblp:conf/isads/AndrewsFPR13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6mwg36d6nzhfphzktc7nv26hyi">fatcat:6mwg36d6nzhfphzktc7nv26hyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200322074048/https://eprint.ncl.ac.uk/file_store/production/192902/E0CDA8C8-BE27-4D84-AF32-C6606CBF9609.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/ae/16/ae167875045c289090835a517a9b82bacd6da11e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isads.2013.6513445"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An Introduction to Software Engineering and Fault Tolerance [article]

Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander Romanovsky
<span title="2010-11-06">2010</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
They cover a wide range of topics focusing on fault tolerance during the different phases of the software development, software engineering techniques for verification and validation of fault tolerance  ...  Accordingly, the book is structured into the following three parts: Part A: Fault tolerance engineering: from requirements to code; Part B: Verification and validation of fault tolerant systems; Part C  ...  Acknowledgments The book editors wish to thank Andrea Bondavalli and Rogerio de Lemos for their constructive comments on this introductory chapter and Alfredo Capozucca and Joerg Kienzle for their comments  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1011.1551v1">arXiv:1011.1551v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7wksbyoo4jbpjot67j4putilvu">fatcat:7wksbyoo4jbpjot67j4putilvu</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1011.1551/1011.1551.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> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/98/09/9809c797bddd81ff236402711bee0efe5487e3db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1011.1551v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support [chapter]

Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, Franck Chauvel
<span title="">2009</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;
A case study shows the effectiveness of the approach.  ...  In this paper, we address an important issue in the approach: how to select the most suitable fault-tolerant mechanisms for a given application in a specific context.  ...  Moreover, although the state may be large when taking application into consideration, the verification process is oriented to a scenario (for example, Create-a-New-Order scenario in the case study), in  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02414-6_5">doi:10.1007/978-3-642-02414-6_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rquc5gtodzdwxe7olf7qnn2k44">fatcat:rquc5gtodzdwxe7olf7qnn2k44</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110525035306/http://hal.archives-ouvertes.fr/docs/00/45/96/08/PDF/1-2009-CBSE-RSA.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/75/62/7562057a79ea0ce47f0a66f27e543a8681cf077e.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-642-02414-6_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A framework for dependability engineering of critical computing systems

Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q5373jvvvjahfp6h7ihnvmjjnq" style="color: black;">Safety Science</a> </i> &nbsp;
This paper presents a development model focused on the production of dependable systems.  ...  (i.e., fault prevention, fault tolerance, fault removal and fault forecasting); and 3) other supporting processes such as quality assurance and certification.  ...  Acknowledgement: The work presented in this paper has been initialized within the Laboratory for Dependability Engineering (LIS).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0925-7535(01)00083-2">doi:10.1016/s0925-7535(01)00083-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tr6ph3vswrdzrd42wawo5fm5fm">fatcat:tr6ph3vswrdzrd42wawo5fm5fm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081031163417/http://www.laas.fr/~kaaniche/documents/KaanicheLaprieBlanquart2002/Kaaniche_SafetyScience.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/ba/d4/bad4693cfcf06502e1db79b0aac0f53f92550a92.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0925-7535(01)00083-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Formal verification of signature-monitoring mechanisms by model checking

Lanfang Tan, Qingping Tan, Jianjun Xu, Huiping Zhou
<span title="">2012</span> <i title="National Library of Serbia"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rhtuh2ifczhapmhplqzald63za" style="color: black;">Computer Science and Information Systems</a> </i> &nbsp;
In recent decades, reliability in the presence of transient faults has been a significant problem. To mitigate the effects of transient faults, fault-tolerant techniques are proposed.  ...  However, validating the effectiveness of fault-tolerant techniques is another problem. In this paper, we present an original approach to evaluate the effectiveness of signature-monitoring mechanisms.  ...  [5] proposed a symbolic model checking method for verification of fault tolerance of systems. At first the fault tolerant system is specified in the form of a guarded-command program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2298/csis120218056t">doi:10.2298/csis120218056t</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w6mrafynvjd6tm3qr5ke3syqqy">fatcat:w6mrafynvjd6tm3qr5ke3syqqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830071257/http://www.comsis.org/pdf.php?id=n12-2004" 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/54/07/54072d37c5116d62217ce8501af68f95922e025e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2298/csis120218056t"> <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>

A log-based redundant architecture for reliable parallel computation

Daniel Sanchez, Juan L. Aragon, Jose M. Garcia
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zwrt4lmoffgrpejt4mmp2p34kq" style="color: black;">2010 International Conference on High Performance Computing</a> </i> &nbsp;
Results show that our log-based mechanism introduces a small performance degradation of 5% in a non-faulty scenario.  ...  Several studies have been already proposed to provide fault tolerance for parallel codes.  ...  We would also like to thank Rubén Titos for his technical support and Antonio González who provided good suggestions of an earlier version of the manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hipc.2010.5713183">doi:10.1109/hipc.2010.5713183</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hipc/SanchezAG10.html">dblp:conf/hipc/SanchezAG10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kpnvrt4mubghdnjz236szv36vu">fatcat:kpnvrt4mubghdnjz236szv36vu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130710065905/http://ditec.um.es/~jlaragon/papers/sanchez_HiPC10.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/b7/c2/b7c2a04bf1e90adae6d0ef65888a20bbab52af57.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hipc.2010.5713183"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements [article]

Elena Troubitsyna
<span title="2012-10-26">2012</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
As a result, we have created a number of formal approaches to explicitly reason about dependability in the refinement process.  ...  In this paper we overview the work on formal engineering of dependable systems carried out in the Deploy project.  ...  To validate the proposed approaches, in Deploy we have conducted a number of case studies including formal development and quantitative assessment of a fault tolerant satellite system, formal modelling  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1210.7032v1">arXiv:1210.7032v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qv43yho3tngxzid45jahjc4vaq">fatcat:qv43yho3tngxzid45jahjc4vaq</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1210.7032/1210.7032.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> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1210.7032v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Development of Safety-Critical Reconfigurable Hardware with Esterel

Jerker Hammarberg, Simin Nadjm-Tehrani
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
First, we illustrate a development process, using a language with formal semantics (Esterel) for design, formal verification of high-level design and automatic code generation down to VHDL.  ...  The set-up is then used to formally determine which (single or multiple) fault modes cause violation of the top-level safety-related property, much in the spirit of fault-tree analyses.  ...  In this paper we provide some evidence that results of the last decade of research in language design, formal verification and tool development are reaching maturity levels that make a serious case for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80820-x">doi:10.1016/s1571-0661(04)80820-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mdvtxkejg5fztjiimydkdikyfu">fatcat:mdvtxkejg5fztjiimydkdikyfu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809064314/http://www.ida.liu.se/labs/rtslab/publications/2003/Hammarberg03Esterel.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/0c/6c/0c6c608b04e28d72d1c5ea1620875519e7c3fddf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80820-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Improving reliability of cooperative concurrent systems with exception flow analysis

Fernando Castor Filho, Alexander Romanovsky, Cecília Mary F. Rubira
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kqzhqyka2ffqdlbon77fd6trwm" style="color: black;">Journal of Systems and Software</a> </i> &nbsp;
We have validated the proposed approach by means of two case studies: (i) a system responsible for managing a production cell; and (ii) a medical control system.  ...  We have validated the proposed approach by means of two case studies: (i) a system responsible for managing a production cell; and (ii) a medical control system.  ...  We would like to thank the anonymous referees, who provided many useful comments and suggestions and greatly helped to improve the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2008.12.015">doi:10.1016/j.jss.2008.12.015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tyxnawadtngrxjj5awk3xqudem">fatcat:tyxnawadtngrxjj5awk3xqudem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090710070401/http://www.cs.ncl.ac.uk/publications/trs/papers/1105.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/63/47/63479cb1ffe9a9ac822f3e44aeb7ece9a4dde826.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2008.12.015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 21,963 results