System Dependability Modelling and Analysis Using AADL and HiP-HOPS

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Matthias Biehl
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p3wtlm3j2fedxitkuu4bs3scau" style="color: black;">IFAC Proceedings Volumes</a> </i> &nbsp;
The Architecture Analysis and Design Language (AADL) is gaining widespread acceptance in aerospace, automobile and avionics industries for designing dependability-critical systems. The design process of dependable systems must address both cost and dependability (safety, reliability, availability, maintainability) concerns. This requires translating concepts of the design domain to the dependability analysis domain. We automate such a translation between AADL and the dependability analysis tool
more &raquo; ... HiP-HOPS by using model transformation techniques. A generic primary-standby example system is used to show the mechanics of the transformation and the potential for highlighting problems and assisting design work using this technology.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20120523-3-ro-2023.00334">doi:10.3182/20120523-3-ro-2023.00334</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p77ygvdzpralrgdm6xaqnvvkaq">fatcat:p77ygvdzpralrgdm6xaqnvvkaq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151005092242/http://research.net.dcs.hull.ac.uk/publications/Bottaci-Output2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b8/c5/b8c5aed0f2df0fea65c86fa258810d627cddd1b4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20120523-3-ro-2023.00334"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>