Abstract
This paper proposes a method to expedite hypertext construction and improve document reading efficiency by using meaningful tags. Hazard Life Cycle is proposed as the common semantic framework for documents in safety engineering practice. Under this framework, we developed Safety Markup Language (SML) to annotate the major concepts in software-related nuclear regulation. A computer tool has been constructed to convert these SML tags into desired hyperlinks for review purpose. This approach reduces the manual effort in hyperlink construction, and supports information retrieval in a concept unit, which is closer to human cognition than that obtained from a conventional approach. Potential improvements achieved by this SML-based method include efficient checking of information completeness, tracing of review issues, and reduction of clerical work in license review.
This work was supported in part by National Science Council, Republic of China, under the grant no. NSC87-2218-E-155-014-NU and NSC88-2213-E-155-002.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bush, V., As We May Think, Atlantic Monthly, 176 (1945) 101–108
Connonlly, D. and Bosak, J. “Extensible Markup Language (XML),” http://www.w3.org/XML/ (1997)
Conklin, J., “Hypertext: An Introduction and Survey,” IEEE Computer (1987) 17–41
Goldfarb, C. F., The SGML Handbook, Oxford Univ. Press (1990)
Ion, P. and Miner, R., “Mathematical Markup Language,” W3C Working Drafte, http://www.w3.org/pub/WWW/TR/WD-math (1997)
Jonasses, D. and Mandle, H., edited, Designing Hypermedia for Learning, Spring-Verlag (1989)
Murray-Rust, P. “Chemical Markup Language (CML),” Version 1.0, http://www.venus.co.uk/omf/cml/ (1997)
USNRC, NUREG 0800, Standard Review Plan, Chapter 7, “Instrumentation and Control”
USNRC, BTP 14, Acceptance Criteria for Digital I&C Software Review Process
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fan, CF., Yih, S. (1999). Safety Markup Language: Concept and Application. In: Felici, M., Kanoun, K. (eds) Computer Safety, Reliability and Security. SAFECOMP 1999. Lecture Notes in Computer Science, vol 1698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48249-0_16
Download citation
DOI: https://doi.org/10.1007/3-540-48249-0_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66488-8
Online ISBN: 978-3-540-48249-9
eBook Packages: Springer Book Archive