https://www.scipedia.com/wd/index.php?action=history&feed=atom&title=Asgari_2006aAsgari 2006a - Revision history2026-04-23T16:42:49ZRevision history for this page on the wikiMediaWiki 1.27.0-wmf.10https://www.scipedia.com/wd/index.php?title=Asgari_2006a&diff=208921&oldid=prevScipediacontent: Scipediacontent moved page Draft Content 900936673 to Asgari 2006a2021-02-03T20:34:10Z<p>Scipediacontent moved page <a href="/public/Draft_Content_900936673" class="mw-redirect" title="Draft Content 900936673">Draft Content 900936673</a> to <a href="/public/Asgari_2006a" title="Asgari 2006a">Asgari 2006a</a></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<tr style='vertical-align: top;' lang='en'>
<td colspan='1' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='1' style="background-color: white; color:black; text-align: center;">Revision as of 20:34, 3 February 2021</td>
</tr><tr><td colspan='2' style='text-align: center;' lang='en'><div class="mw-diff-empty">(No difference)</div>
</td></tr></table>Scipediacontenthttps://www.scipedia.com/wd/index.php?title=Asgari_2006a&diff=208920&oldid=prevScipediacontent: Created page with " == Abstract == The High Dependability Computing Program (HDCP) project is a NASA initiative for increasing dependability of software-based systems. It researches achieving h..."2021-02-03T20:34:07Z<p>Created page with " == Abstract == The High Dependability Computing Program (HDCP) project is a NASA initiative for increasing dependability of software-based systems. It researches achieving h..."</p>
<p><b>New page</b></p><div><br />
== Abstract ==<br />
<br />
The High Dependability Computing Program (HDCP) project is a NASA initiative for increasing dependability of software-based systems. It researches achieving high dependability by introducing new technologies. We focus on the evaluation of the effectiveness of technologies with respect to dependability. We employ empirical evaluation methods along with evaluation testbeds. In this paper, our technology evaluation approach is described. A testbed representative of air traffic control applications is used. An experiment to evaluate a technology to for identification of architectural violations is presented.<br />
<br />
<br />
== Original document ==<br />
<br />
The different versions of the original document can be found in:<br />
<br />
* [http://dx.doi.org/10.1049/ic:20040493 http://dx.doi.org/10.1049/ic:20040493]<br />
<br />
* [http://www.cs.umd.edu/users/mvz/pub/wads-2004.pdf http://www.cs.umd.edu/users/mvz/pub/wads-2004.pdf]<br />
<br />
* [https://www.cs.umd.edu/~basili/publications/proceedings/P105.pdf https://www.cs.umd.edu/~basili/publications/proceedings/P105.pdf],<br />
: [https://core.ac.uk/display/22608805 https://core.ac.uk/display/22608805],<br />
: [https://academic.microsoft.com/#/detail/1978273700 https://academic.microsoft.com/#/detail/1978273700]</div>Scipediacontent