Developing high assurance avionics systems with the SCR requirements method

Bharadwaj, Ramesh; Heitmeyer, Constance L.

doi:10.1109/dasc.2000.886888

Cited by 26 publications

(39 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have adapted this example from [10] and the output program of FTSyn is the same as the fault-tolerant program that is manually designed in [10]. This example illustrates the applicability of FTSyn in automatic synthesis of practical applications.…”

Section: Changing the Implementation Of Ftsynmentioning

confidence: 99%

FTSyn: a framework for automatic synthesis of fault-tolerance

Ebnenasir

Kulkarni

Arora

2008

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

In this paper, we present a software framework for adding fault-tolerance to existing finite-state programs. The input to our framework is a faultintolerant program and a class of faults that perturbs the program. The output of our framework is a fault-tolerant version of the input program. Our framework provides (i) the first automated tool for the synthesis of faulttolerant distributed programs, and (ii) an extensible platform for researchers to develop a repository of heuristics that deal with the complexity of adding fault-tolerance to distributed programs. We also present a set of heuristics for polynomial-time addition of fault-tolerance to distributed programs.We have used this framework for automated synthesis of several fault-tolerant programs including a simplified version of an aircraft altitude switch, token ring, Byzantine agreement, and agreement in the presence of Byzantine and fail-stop faults. These examples illustrate that our framework can be used for synthesizing programs that tolerate different types of faults (process restarts, Byzantine and fail-stop) and programs that are subject to multiple faults (Byzantine and fail-stop) simultane- ously. We have found our framework to be highly useful for pedagogical purposes, especially for teaching concepts of fault-tolerance, automatic program transformation, and the effect of heuristics.

show abstract

Section: Changing the Implementation Of Ftsynmentioning

confidence: 99%

FTSyn: a framework for automatic synthesis of fault-tolerance

Ebnenasir

Kulkarni

Arora

2008

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

show abstract

“…It has been tested using various case studies. These case studies include problems from the literature of fault-tolerant computing in distributed systems (e.g., Byzantine agreement, Byzantine agreement with fail-stop faults, Byzantine agreement with constrained specification, token ring, triple modular redundancy, alternating bit protocol) as well as examples from research and industrial institutions (e.g., an altitude switch controller [2], and a data dissemination protocol in sensor networks [6]). The tool has been tested on Sun Solaris, Mac OS, and various distributions of Linux (e.g., Debian, Ubuntu, and Fedora).…”

Section: The Tool Sycraftmentioning

confidence: 99%

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

Bonakdarpour

Kulkarni

2008

CONCUR 2008 - Concurrency Theory

View full text Add to dashboard Cite

Abstract. We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and an invariant. Each process is specified as a set of actions in a guarded command language, a set of variables that the process can read, and a set of variables that the process can write. Given a set of fault actions and a specification, the tool transforms the input distributed fault-intolerant program into a distributed fault-tolerant program via a symbolic implementation of respective algorithms.

show abstract

“…Fig. 2 shows a four-step process, an extension of a process introduced in [1], for developing high assurance human-centric decision systems which uses MBD. This is an idealization of the actual process which has more iteration and feedback and may not always proceed in a top-down fashion.…”

Section: System Development Processmentioning

confidence: 99%

“…The model was evaluated in a replication of the baseline experiment (d = 2.4). The model's generalizability was assessed by factorial comparisons [25] of the initial RESCHU platform to platform variations, including where engagement was timeconstrained and thus harder (d =2.2), where engagement was automated and thus easier (d =2.6), where UAVs moved faster (d =1.7) or slower (d =2.3) than in the baseline, and where the operator supervised heterogeneous vehicles (UAVs, HALEs, 1 and UUVs) (d = 2.4), rather than only UAVs. In all cases, except the high-speed UAVs, generalization was excellent.…”

Section: B Cognitive Modelmentioning

confidence: 99%

High assurance human-centric decision systems

Heitmeyer¹,

Pickett

Breslow

et al. 2013

2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE)

View full text Add to dashboard Cite

Abstract-Many future decision support systems will be human-centric, i.e., require substantial human oversight and control. Because these systems often provide critical services, high assurance will be needed that they satisfy their requirements. How to develop "high assurance human-centric decision systems" is unknown: while significant research has been conducted in areas such as agents, cognitive science, and formal methods, how to apply and integrate the design principles and disparate models in each area is unclear. This paper proposes a novel process for developing human-centric decision systems where AI (artificial intelligence) methods-namely, cognitive models to predict human behavior and agents to assist the humanare used to achieve adequate system performance, and software engineering methods, namely, formal modeling and analysis, to obtain high assurance. To support this process, the paper introduces a software engineering technique-formal model synthesis from scenarios-and two AI techniques-a model for predicting human overload and user model synthesis from participant studies data. To illustrate the process and techniques, the paper describes a decision system controlling unmanned air vehicles.

show abstract

Developing high assurance avionics systems with the SCR requirements method

Cited by 26 publications

References 4 publications

FTSyn: a framework for automatic synthesis of fault-tolerance

FTSyn: a framework for automatic synthesis of fault-tolerance

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

High assurance human-centric decision systems

Contact Info

Product

Resources

About