📄 http:^^www.cs.washington.edu^research^projects^safety^www^
字号:
Date: Thu, 21 Nov 1996 20:30:11 GMTServer: NCSA/1.4.2Content-type: text/html<HEAD><TITLE>Software Safety at the University of Washington</TITLE></HEAD><body bgcolor="#FFFFFF"><CENTER> <!WA0><!WA0><!WA0><!WA0><img src="http://www.cs.washington.edu/research/projects/safety/www/safety_masthead.gif" align="center" vspace = "10" hspace = "10" alt="Software Safety at the University of Washington"><P><HR WIDTH = 400><P><TABLE BORDER=0 Cellpadding= 4 Cellspacing = 8><TR><TD> Software is playing an increasingly important role in systems such as nuclear reactors, aircraft, defence and space systems, chemical plants, and medical equipment. Because of the consequences of a malfunction, these safety-critical systems must pass rigorous tests and reviews before they may be used. Although system safety engineering techniques have existed for decades, most do not apply to systems that contain digital computers and software. <p><P> The goal of the University of Washington Safety Project is to develop a theoretical foundation for safety and a methodology for building safety-critical systems built upon that foundation. In <!WA1><!WA1><!WA1><!WA1><A href = "http://www.cs.washington.edu/research/projects/safety/www/book.html"> <i>Safeware: System Safety and Computers</i></a>, Nancy Leveson summarizes the issues involved and lays the foundation for the methodology. We are now working on safety analysis techniques to support the methodology and a set of prototype tools to be used to validate the specification and analysis techniques. <p></TD></TR></TABLE> <P><HR WIDTH = 400><P> <!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.washington.edu/research/projects/safety/www/research.html"><!WA3><!WA3><!WA3><!WA3><img src="http://www.cs.washington.edu/research/projects/safety/www/research.gif" border=0 align=bottom width=155 height=120 alt="Research"></a> <!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.washington.edu/research/projects/safety/www/papers.html"><!WA5><!WA5><!WA5><!WA5><img src="http://www.cs.washington.edu/research/projects/safety/www/papers.gif" border=0 align=bottom width=155 height=120 alt="Papers"></a> <!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.washington.edu/research/projects/safety/www/people.html"><!WA7><!WA7><!WA7><!WA7><img src="http://www.cs.washington.edu/research/projects/safety/www/people.gif" border=0 align=bottom width=155 height=120 alt="People"></a> <P><HR WIDTH = 400><P> <!WA8><!WA8><!WA8><!WA8><a href="http://www.washington.edu/">University of Washington</a> | <!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.washington.edu/">UW Computer Science</a><br> <!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.washington.edu/research/se">UW Software Engineering</a> | <!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.washington.edu/research/projects/safety/www/links.html">Other Safety Links</a> </center></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -