Analyzing software safety
NG Leveson, PR Harvey - … on Software Engineering, 1983 - ieeexplore.ieee.org
… Much of the focus in software research has been on … lem ofanalyzing the loss event into
subproblems. The analysis could … As an example of each, consideran airplane navigation system …
subproblems. The analysis could … As an example of each, consideran airplane navigation system …
Caisar: A platform for characterizing artificial intelligence safety and robustness
… In the following, we will first present the design principles of … some future work and possible
research problems. … the way to subdivide it into subproblems, and providing answers at each …
research problems. … the way to subdivide it into subproblems, and providing answers at each …
AI research considerations for human existential safety (ARCHES)
… research directions presented here. Rather, our goal is to illustrate how researchers already
concerned about existential safety … from AI—under such labels as “AI safety”, “AGI safety” or “…
concerned about existential safety … from AI—under such labels as “AI safety”, “AGI safety” or “…
Problem frames and software engineering
M Jackson - Information and Software Technology, 2005 - Elsevier
… Computer scientists and software developers should restrict … of power to the resistance of
air.’ The surface provides the lift … conflict with the subproblem of ensuring safe operation in the …
air.’ The surface provides the lift … conflict with the subproblem of ensuring safe operation in the …
Arguing safety with problem oriented software engineering
JG Hall, D Mannering… - … Systems Engineering …, 2007 - ieeexplore.ieee.org
… is in the air; and an input indicating whether the safety pin, … ; b) the aircraft is not in the
air; or c) the safety pin has not been … of the original problem is propagated to all subproblems. …
air; or c) the safety pin has not been … of the original problem is propagated to all subproblems. …
[書籍][B] Readings in artificial intelligence and software engineering
… area of artificial intelligence research.(For a survey of this research, see [Siekmann and …
be applied to various subproblems throughout the program development process. For example, …
be applied to various subproblems throughout the program development process. For example, …
X-risk analysis for ai research
D Hendrycks, M Mazeika - arXiv preprint arXiv:2206.05862, 2022 - arxiv.org
… Third, we discuss how naïve attempts to advance AI safety can … security software engineers
collaborate with other software … These microcosms are simpler subproblems of the harder …
collaborate with other software … These microcosms are simpler subproblems of the harder …
[書籍][B] A structured methodology for expert system development with application to safety ergonomics (human factors, artificial intelligence, modeling, systems safety)
MR Lehto - 1985 - search.proquest.com
… of safety princip les is one of the goals of this research … subproblems into a fairly small set
of nontrivial subproblems; each solvable by a single rule. 2-2 Reprea entation of nowledge AI …
of nontrivial subproblems; each solvable by a single rule. 2-2 Reprea entation of nowledge AI …
Reusing software: Issues and research directions
… research in software engineering and artificial intelligence … by composing solutions to
subproblems. A complete cover of … and safety need not be contradictory if we view class design …
subproblems. A complete cover of … and safety need not be contradictory if we view class design …
A survey of algorithms for black-box safety validation of cyber-physical systems
… of safety-critical artificial intelligence, this work provides a survey of state-of-the-art safety …
An approach for solving the subproblems that is amenable to policy fusion is approximate …
An approach for solving the subproblems that is amenable to policy fusion is approximate …