|
ABSTRACT
The Adelard Safety Case Editor (ASCE) is a hypertext tool for constructing and reviewing structured arguments. ASCE is used in the safety industry, and can be used in many other contexts when graphical presentation can make argument structure, inference or other dependencies explicit. ASCE supports a rich hypertext narrative mode for documenting traditional argument fragments. In this paper we document the motivation for developing the tool and describe its operation and novel features. Since usability and technology adoption issues are critical for software and hypertext tool uptake, our approach has been to develop a system that is highly usable and sufficiently "pliant" to support and integrate with a wide range of working practices and styles. We discuss some industrial application experience to date, which has informed the design and is informing future requirements. We draw from this some of the perhaps not so obvious characteristics of hypertext tools which are important for successful uptake in practical environments.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
ASCE (Adelard Safety Case Editor) homepage http://www.adelard.com/software/asce
|
| |
2
|
IEC 61508-1, "Functional safety of electrical / electronic / programmable electronic safety-related systems CEI/IEC 61508:1998
|
| |
3
|
RTCA/DO-178B Advisory Circular "Software Considerations in airborne systems and equipment certification"
|
| |
4
|
Bishop, P. & Bloomfield, R. A Methodology for Safety Case Development, Safety-Critical Systems Symposium, Birmingham, UK, Feb 1998
|
| |
5
|
Adelard (1998) ASCAD-The Adelard Safety Case Development Manual ISBN 0 9533771 0 5
|
| |
6
|
Toulmin, S.E. (1958) The Uses of Argument, Cambridge University Press, Cambridge, England
|
 |
7
|
|
| |
8
|
Kelly, T. Arguing Safety A Systematic Approach to Managing Safety Cases (1998). PhD Thesis, available at http://www.cs.york.ac.uk/ftpdir/reports/YCST-99-05.ps.gz
|
| |
9
|
Kelly, T & McDermid, J, Safety Case Construction and Reuse using Patterns, Proc 16th Conf on Computer Safety, Reliability and Security (Safecomp '97) 1997
|
| |
10
|
Schuler, W. & Smith, J. Author's Argumentation Assistant (AAA): A Hypertext Based Authoring Tool for Argumentative Texts, ECHT'90
|
 |
11
|
Catherine C. Marshall , Frank G. Halasz , Russell A. Rogers , William C. Janssen, Jr., Aquanet: a hypertext tool to hold your knowledge in place, Proceedings of the third annual ACM conference on Hypertext, p.261-275, December 15-18, 1991, San Antonio, Texas, United States
[doi> 10.1145/122974.123000]
|
| |
12
|
Bush, D & Finkelstein, A. Reuse of Safety Case Claims - An initial investigation. London Communications Symposium, University College London 10th -11th September 2001 http://www.ee.ucl.ac.uk/lcs/prog01/LCS035.pdf
|
| |
13
|
Emmet, L. Experiences of using open hypertext to support safety documentation from: The 5th Workshop on Open Hypermedia Systems (OHS) http://aue.auc.dk/~kock/ OHS-HT99/Papers/emmet.html
|
 |
14
|
Jeff Conklin , Albert Selvin , Simon Buckingham Shum , Maarten Sierhuis, Facilitated hypertext for collective sensemaking: 15 years on from gIBIS, Proceedings of the twelfth ACM conference on Hypertext and Hypermedia, August 14-18, 2001, Århus, none, Denmark
[doi> 10.1145/504216.504246]
|
| |
15
|
Tourlas, K (2001) Diagrammatic Representations in Domain-Specific Languages. University of Edinburgh, Dphil Thesis. Available at http://www.dcs.ed.ac.uk/ home/kxt/thesis.ps.gz
|
 |
16
|
|
 |
17
|
Frank G. Halasz , Thomas P. Moran , Randall H. Trigg, Notecards in a nutshell, Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface, p.45-52, April 05-09, 1987, Toronto, Ontario, Canada
|
| |
18
|
|
| |
19
|
Norman, D. Making Technology Invisible: A Conversation with Don Norman. Bergman, Eric (Editor) (2000) Information Appliances and Beyond: Morgan Kaufmann (August, 2001 or earlier) Also available at http://www.mkp.com/books_catalog/Ch1txt.htm
|
| |
20
|
|
| |
21
|
Mark Weiser and John Seely Brown. The Coming Age of Calm Technology, Revised version of Weiser & Brown. "Designing Calm Technology", PowerGrid Journal, v 1.01, http://powergrid.electriciti.com/1.01 (July 1996). October, 1996. http://www.ubiq.com/hypertext/weiser/acmfuture2endnote.htm
|
| |
22
|
Henderson, A. and Harris, J. Beyond Formalisms: The Art and Science of Designing Pliant Systems. Chapter 4 in: Klaus Kaasgaard Software Design & Usability: Talks with Bonnie Nardi, Jakob Nielsen, David Smith, Austin Henderson & Jed Harris, Terry Winograd and Stephanie Rosenbaum, Copenhagen Business School Press, October 2000. Also available at http://www.pliant.org/Beyond-Formalisms.pdf
|
 |
23
|
|
| |
24
|
|
 |
25
|
Catherine C. Marshall , Frank M. Shipman, III , James H. Coombs, VIKI: spatial hypertext supporting emergent structure, Proceedings of the 1994 ACM European conference on Hypermedia technology, p.13-23, September 19-23, 1994, Edinburgh, Scotland
[doi> 10.1145/192757.192759]
|
 |
26
|
|
CITED BY 3
|
|
Carlos Chesñevar , Jarred McGinnis , Sanjay Modgil , Iyad Rahwan , Chris Reed , Guillermo Simari , Matthew South , Gerard Vreeswijk , Steven Willmott, Towards an argument interchange format, The Knowledge Engineering Review, v.21 n.4, p.293-316, December 2006
|
|
|
|
|
|
|
INDEX TERMS
Primary Classification:
H.
Information Systems
H.5
INFORMATION INTERFACES AND PRESENTATION (I.7)
H.5.4
Hypertext/Hypermedia
Subjects:
Navigation
Additional Classification:
H.
Information Systems
H.5
INFORMATION INTERFACES AND PRESENTATION (I.7)
H.5.2
User Interfaces (D.2.2, H.1.2, I.3.6)
Subjects:
User-centered design
H.5.4
Hypertext/Hypermedia
Subjects:
User issues
K.
Computing Milieux
K.4
COMPUTERS AND SOCIETY
K.4.1
Public Policy Issues
Subjects:
Human safety
General Terms:
Design,
Documentation,
Human Factors,
Theory
Keywords:
field experience,
graphical notation,
hypertext argumentation,
pliant systems,
safety cases,
safety related systems,
technology adoption,
usability
|