http:^^www.cs.washington.edu^homes^jdreese^
来自「This data set contains WWW-pages collect」· EDU^HOMES^JDREESE^ 代码 · 共 162 行
EDU^HOMES^JDREESE^
162 行
Date: Thu, 21 Nov 1996 20:19:19 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Sat, 27 Jul 1996 06:00:13 GMTContent-length: 5742<html><head><title>Jon Damon Reese's Home Page</title><!-- Changed by: Jon Damon Reese, 5-Apr-1996 --></head><body bgcolor="#b2c7df" text="#000000" link="#9600d3" vlink="#00008a" alink="#000000"><TABLE BORDER="0" CELLSPACING="3" CELLPADDING="15" ALIGN=CENTER><TR VALIGN="Top"><TD><DL><DT><DD><B><FONT SIZE=+7>Jon Damon Reese</FONT><B><DT><DD><I>Post-Doctoral Researcher</I><DT><DD><!WA0><!WA0><!WA0><!WA0><A HREF="http://www.cs.washington.edu/research/projects/safety/www/"> Safety-Critical Software Group</A><DT><DD><BR><!WA1><!WA1><!WA1><!WA1><img alt="[Mug Shot]" src="http://www.cs.washington.edu/homes/jdreese/images/jon.jpg"></DL><TD><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.washington.edu/">Department of Computer Science and Engineering</a><br><!WA3><!WA3><!WA3><!WA3><a href="http://www.washington.edu">University of Washington</a><br>Box 352350 <br><!WA4><!WA4><!WA4><!WA4><a href="http://www.yahoo.com/Regional/U_S__States/Washington/Cities/Seattle/">Seattle</a>, <!WA5><!WA5><!WA5><!WA5><a href="http://www.yahoo.com/Regional/U_S__States/Washington/">WA</a> 98195 <br><p><TABLE BORDER="0" CELLSPACING="0"><TR><TD> Office: </TD><TD> 106 Chateau (Guggenheim Annex) </TD></TR><!-- (MAP OF CHATEAU?) --><TR><TD> Phone: </TD><TD> (206) 616-1844 </TD></TR><TR VALIGN="Top"><TD> FAX: </TD><TD> (206) 543-2969 </TD></TR><TR><TD> E-mail: </TD><TD><!WA6><!WA6><!WA6><!WA6><a href="mailto:jdreese@cs.washington.edu">jdreese@cs.washington.edu</a></TD></TR></TABLE></TR></TABLE><p><p><hr><p><br><h3> Research </h3><blockquote> I am interested in the problem of <EM>safety-critical software</EM>. We are all aware of devices, systems, and structures that can cause catastrophes when they fail. As computer hardware becomes less expensive and as more expectations are placed on software, computers are being placed in control of a wider range of these applications. Software has advantages over conventional technologies, <EM>e.g.</EM>, flexibility. But these advantages come at a price. Software behavior can be very complex and unpredictable. Perhaps the best publicized example is the Three Mile Island incident, in which operators had great difficulty in diagnosing the state of the system during an emergency.<P> The requirements stage of software development is key to a project's success, especially with respect to safety. For that reason, my colleagues and I have concentrated on requirements, especially the communication of requirements via a requirements specification. To that end we have developed a state-based language called <!WA7><!WA7><!WA7><!WA7><A HREF="http://www.cs.washington.edu/research/projects/safety/www/papers/rsml-grammar/rsml-grammar.html"> <EM>Requirements State Machine Language</EM></A>, or RSML. We have validated the usefulness of this language by specifying <!WA8><!WA8><!WA8><!WA8><A HREF="http://www.cs.washington.edu/homes/jdreese/TCAS-II-Description.htm">TCAS II</A>, an avionics system.<P> For my doctoral thesis I invented a hazard analysis procedure based on the Hazard and Operability (HAZOP) study.<!-- (HAZOP LINK?) --> The most significant concept that this new procedure borrows from HAZOP is that of a deviation, hence the name <em>deviation analysis</em>. See below for a link to an HTML transcription of the dissertation.</blockquote><br><h3> Current Projects </h3><UL><LI> Deviation Analysis <UL> <LI> Write conference article summarizing deviation analysis. <LI> Make deviation analysis software available to UW Safety-Critical Software group. <LI> Study the possibility of dynamic display and control of deviation analysis searches. (With Siang Lin Loo) </UL><LI> RSML Tool Set <UL> <LI> Integrate deviation analysis software with RSML tool set. (With Kurt Partridge) <LI> Make alpha version of RSML tool set publicly available. (With Kurt Partridge and Sean Sandys) </UL><LI> RSML semantics <UL> <LI> Draft semantics document, including discussion of RSML variants <LI> Develop example of improved semantics </UL></UL> <br><h3> Academic History </h3><UL><LI> Ph.D. (1996), <!WA9><!WA9><!WA9><!WA9><A HREF="http://www.ics.uci.edu/">Information and Computer Science</A>, <!WA10><!WA10><!WA10><!WA10><A HREF="http://www.uci.edu/">University of California, Irvine</A><br> Dissertation: <I>Software Deviation Analysis</I> <!WA11><!WA11><!WA11><!WA11><A href="http://www.cs.washington.edu/homes/jdreese/diss.ps">(Postscript)</A><LI> B.A. (1989), <!WA12><!WA12><!WA12><!WA12><A HREF="http://www.cs.rice.edu/">Computer Science</A>/Linguistics, <!WA13><!WA13><!WA13><!WA13><A HREF="http://www.rice.edu/">Rice University</A>.<LI> Waxahachie High School (1985), <!WA14><!WA14><!WA14><!WA14><A HREF="http://www.yahoo.com/Regional/U_S__States/Texas/Cities/Waxahachie/">Waxahachie</A>, <!WA15><!WA15><!WA15><!WA15><A HREF="http://www.yahoo.com/Regional/U_S__States/Texas/">TX</A>.</UL><br><h3> Publications </h3><UL><LI> Nancy G. Leveson, Mats P.E. Heimdahl, Holly Hildreth, and Jon Reese. Requirements Specification for Process-Control Systems. <EM>IEEE Transactions on Software Engineering</EM>, SE-20(9), September 1994.<!WA16><!WA16><!WA16><!WA16><A HREF="http://www.cs.washington.edu/research/projects/safety/www/papers/tse2/tse2.ps">(Postscript)</A><!-- (LINKS TO PEOPLE?) --><LI> Steven B. Dolins and Jon D. Reese. A Curve Interpretation and Diagnostic Technique for Industrial Processes. <EM>IEEE Transactions on Industry Applications</EM>, 28(1), January/February 1992.<LI> N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, J.D. Reese, and R. Ortega. Experiences Using Statecharts for a System Requirements Specification. <EM>Sixth International Workshop on Software Specification and Design</EM>, Como, Italy, October 1991.</UL><br><h3> <!WA17><!WA17><!WA17><!WA17><A HREF="http://www.cs.washington.edu/homes/jdreese/personal/index.htm"><I>Etc.</I></A> </h3><br><hr><!WA18><!WA18><!WA18><!WA18><a href="mailto:jdreese@cs.washington.edu"> <address>jdreese@cs.washington.edu</address></a></body></html>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?