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 …

Caisar: A platform for characterizing artificial intelligence safety and robustness

J Girard-Satabin, M Alberti, F Bobot, Z Chihani… - arXiv preprint arXiv …, 2022 - arxiv.org
… 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 …

AI research considerations for human existential safety (ARCHES)

A Critch, D Krueger - arXiv preprint arXiv:2006.04948, 2020 - arxiv.org
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 “…

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 …

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. …

[書籍][B] Readings in artificial intelligence and software engineering

C Rich, RC Waters - 2014 - books.google.com
… 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, …

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 …

[書籍][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 researchsubproblems into a fairly small set
of nontrivial subproblems; each solvable by a single rule. 2-2 Reprea entation of nowledge AI

Reusing software: Issues and research directions

H Mili, F Mili, A Mili - … transactions on Software Engineering, 1995 - ieeexplore.ieee.org
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

A survey of algorithms for black-box safety validation of cyber-physical systems

A Corso, R Moss, M Koren, R Lee… - … Intelligence Research, 2021 - jair.org
… 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 …