Filters








232 Hits in 2.7 sec

An architecturally-integrated, systems-based hazard analysis for medical applications

Sam Procter, John Hatcliff
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u6xokkbfobfg7ogddh3jc7mgja" style="color: black;">2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)</a> </i> &nbsp;
n Providing: n Not hazardous Report Generation Development n Development of component architecture using AADL / OSATE2 n Addition of Hazard Analysis Annotations n Automatic generation  ...  of STPA-Styled Hazard Analysis Report AADL Component Architecture with Hazard Annotations Automatic report generation This work is supported in part by the US National Science Foundation  ...  Hazard Analysis  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/memcod.2014.6961850">doi:10.1109/memcod.2014.6961850</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/memocode/ProcterH14.html">dblp:conf/memocode/ProcterH14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g63ouauqdbeqfgoprz47mvqbgy">fatcat:g63ouauqdbeqfgoprz47mvqbgy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200710000713/https://samprocter.com/wp-content/uploads/2012/06/MEMOCODE-2014-Slides.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/0d/e8/0de8d65ed658417194cecc11c500d3246ba9bdc2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/memcod.2014.6961850"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

AADL and model-based engineering

Peter H. Feiler
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dq2nkmeoqjc5bmcalsv7wxzfgq" style="color: black;">Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT &#39;14</a> </i> &nbsp;
. • hazard analysis • failure modes and effects analysis • fault trees • Markov processes Goal: a general facility for modeling fault/error/failure behaviors that can be used for several modeling and analysis  ...  requirement documents span multiple levels of a system architecture We have made architecture design decisions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2663171.2663174">doi:10.1145/2663171.2663174</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigada/Feiler14.html">dblp:conf/sigada/Feiler14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mddvd4nlurh65o6zopy5jrziay">fatcat:mddvd4nlurh65o6zopy5jrziay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170304200937/http://www.dtic.mil/dtic/tr/fulltext/u2/a613948.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/b4/0a/b40a2ec56fe1c58011fa887e167a2025c01f8573.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2663171.2663174"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Architecture Level Safety Analyses for Safety-Critical Systems

K. S. Kushal, Manju Nanda, J. Jayanthi
<span title="">2017</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/75xpl4z7arculfjaok5ombj2ju" style="color: black;">International Journal of Aerospace Engineering</a> </i> &nbsp;
The formal foundations of SAE Architecture Analysis & Design Language (AADL) augmented with the Error Model Annex (EMV) are discussed.  ...  The fault propagation, failure behaviour, and the composite behaviour of the design flaws/failures are considered for architecture safety analysis.  ...  Due to insufficient support of the formal languages trend is to make use of architecture description languages such as Architecture Analysis & Design Language (AADL) and Society of Automotive Engineers  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2017/6143727">doi:10.1155/2017/6143727</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sbj4nfuuajdwbeigrytyqg43je">fatcat:sbj4nfuuajdwbeigrytyqg43je</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501025048/http://downloads.hindawi.com/journals/ijae/2017/6143727.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/f5/d5/f5d5d3167cfd00d3c70f763554b5530d3248de40.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2017/6143727"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

Architecture Level Safety Analyses for Safety-Critical Systems

Kushal KS, Manju Nanda, Jayanthi J
<span title="">2017</span> <i title="OMICS Publishing Group"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/czd52ijfhrbnbef7seejnjmbey" style="color: black;">Journal of Aeronautics &amp; Aerospace Engineering</a> </i> &nbsp;
The formal foundations of SAE Architecture Analysis and Design Language (AADL) augmented with the Error Model Annex (EMV) are discussed.  ...  The fault propagation, failure behavior and the composite behavior of the design flaws/ failures are considered for architecture safety analysis.  ...  AADL Error Model Annex supports architectural fault modeling at three levels of abstraction [9] . 1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4172/2168-9792.1000181">doi:10.4172/2168-9792.1000181</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hhrrhjawonh3xiov2i5xjeyogm">fatcat:hhrrhjawonh3xiov2i5xjeyogm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724014522/https://www.omicsonline.org/open-access/architecture-level-safety-analyses-for-safetycritical-systems-2168-9792-1000181.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/ad/0a/ad0a5ccbf31c45cff9d206189402c40e8c93d0e6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4172/2168-9792.1000181"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games

Xiaomin Wei, Yunwei Dong, Pengpeng Sun, Mingrui Xiao
<span title="2019-02-14">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikdpfme5h5egvnwtvvtjrnntyy" style="color: black;">Electronics</a> </i> &nbsp;
GCPSs are modeled using Architecture Analysis and Design Language (AADL). Random errors and failures of a GCPS and nondeterministic environment behaviors are explicitly described with AADL annexes.  ...  This paper proposes an architecture-level safety analysis approach for GCPSs applying the probabilistic model-checking of stochastic games.  ...  .; formal analysis, X.W.; investigation, X.W. and P.S.; resources, X.W., P.S., and M.X.; data curation, X.W.; writing-original draft preparation, X.W.; writing-review and editing, X.W. and Y.D.; visualization  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics8020212">doi:10.3390/electronics8020212</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dt53jasvhbdr7bwotmeqbnbmxe">fatcat:dt53jasvhbdr7bwotmeqbnbmxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503011717/https://res.mdpi.com/electronics/electronics-08-00212/article_deploy/electronics-08-00212-v2.pdf?filename=&amp;attachment=1" 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/a3/66/a366862591a98e41a6229e3d6bb4db4cfa45690a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics8020212"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models

Lars Grunske, Jun Han
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tkpuwbdq2jbvrc3gixguxikkci" style="color: black;">2008 11th IEEE High Assurance Systems Engineering Symposium</a> </i> &nbsp;
The Architecture Analysis and Description Language (AADL) with its Error Annex is a new and promising architecture modeling language that supports analysis of safety and other dependability properties.  ...  Early quality evaluation and support for decisions that affect quality characteristics are among the key incentives to formally specify the architecture of a software-intensive system.  ...  Similar to architectural AADL models, error models have two levels of description: an error type level and an error instance/implementation level.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hase.2008.32">doi:10.1109/hase.2008.32</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hase/GrunskeH08.html">dblp:conf/hase/GrunskeH08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ddjvld5ljjhwljllxykb47vmke">fatcat:ddjvld5ljjhwljllxykb47vmke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110302071437/http://www.ict.swin.edu.au/personal/jhan/jhanPapers/hase08.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/04/df/04df8dcc8002bae80a6d5a73bac4d53c0f4696e0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hase.2008.32"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Research on AADL Model for Qualitative Safety Analysis of Embedded Systems

Yinling Liu, Guohua Shen, Fei Wang, Jia Si, Zi Wang
<span title="2016-06-30">2016</span> <i title="Science and Engineering Research Support Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gri3ay7vs5efhoridfutfkfagu" style="color: black;">International Journal of Multimedia and Ubiquitous Engineering</a> </i> &nbsp;
Inductive analysis methods like FMEA, PHA (Preliminary Hazard Analysis) or HazOp are used to determine causal relationships between failure of individual components and failure at system level.  ...  In this paper, we propose a qualitative safety analysis method of embedded system based on AADL (Architecture Analysis & Design Language) model.  ...  In AADL safety model, AADL model is used to construct system architecture and EMV is used to construct error model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijmue.2016.11.6.14">doi:10.14257/ijmue.2016.11.6.14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lgse4nf4gbdzdk7y4ny5k5qyem">fatcat:lgse4nf4gbdzdk7y4ny5k5qyem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180604042414/http://www.sersc.org/journals/IJMUE/vol11_no6_2016/14.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/0a/b5/0ab514ec10599d062b05da0711ee703ca9ed9c52.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijmue.2016.11.6.14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Variability Management in Safety-Critical Software Product Line Engineering [chapter]

André Luiz de Oliveira, Rosana T. V. Braga, Paulo C. Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
<span title="">2018</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Variation in design and context may impact on dependability properties during Hazard Analysis and Risk Assessment (HARA), allocation of functional and non-functional safety requirements, and component  ...  fault analysis.  ...  Their architecture models were specified in AADL and Simulink, and their dependability models were specified in AADL/Error Annex, and HiP-HOPS analysis techniques.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-90421-4_1">doi:10.1007/978-3-319-90421-4_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z3ytmluiv5gw3lvzit7bghyxcy">fatcat:z3ytmluiv5gw3lvzit7bghyxcy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724023230/http://eprints.whiterose.ac.uk/130928/1/ICSR_2018_paper_17.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/dc/f8/dcf8c438f18eb86e301c7b5e6aa34156b7f049f0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-90421-4_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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.  ...  We automate such a translation between AADL and the dependability analysis tool HiP-HOPS by using model transformation techniques.  ...  Introduction to AADL and HiP-HOPS AADL Overview The Architecture Analysis and Design Language (AADL) is an SAE standard for the specification and analysis of the software and hardware architecture of  ... 
<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>

The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems

Peter H. Feiler, Bruce A. Lewis, Steve Vestal
<span title="">2006</span> <i title="IEEE"> 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control </i> &nbsp;
The Society of Automotive Engineers (SAE) Architecture Analysis & Design Language, AS5506, provides a means for the formal specification of the hardware and software architecture of embedded computer systems  ...  A system can be automatically integrated from AADL models when fully specified and when source code is provided for the software components.  ...  Analysis methods and analysis tools will have to be selected consistent with the system architecture approach used.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cacsd-cca-isic.2006.4776814">doi:10.1109/cacsd-cca-isic.2006.4776814</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x6xndoiryrec3pof47h2s2kguy">fatcat:x6xndoiryrec3pof47h2s2kguy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808102657/http://www.cse.msu.edu/~chengb/CSE891/Techniques/AADL/AADLFeilerCACSD2006.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/fa/ef/faef0f0289c3a9f33ee4fd46782b4a2258ad03fc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cacsd-cca-isic.2006.4776814"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL [chapter]

Andreas Johnsen, Kristina Lundqvist
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The use of Architecture Description Languages (ADLs) provides an important basis for mutual communication, analysis and evaluation activities.  ...  In this paper we compare and investigate the two ADLs -AADL and EAST-ADL.  ...  The lowest level of abstraction, the Implementation level is defined by using the Automotive Open System Architecture (AUTOSAR) standard [11] . AADL vs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21338-0_8">doi:10.1007/978-3-642-21338-0_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iflkqdgynfeg3jk4eirztvddua">fatcat:iflkqdgynfeg3jk4eirztvddua</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812070641/http://www.es.mdh.se/pdf_publications/1753.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/9e/01/9e0125f94e309f56b3563b9086ed0ec4f8af8a2e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21338-0_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Integrating Product-Line Fault Tree Analysis into AADL Models

Hongyu Sun, Miriam Hauptman, Robyn Lutz
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tkpuwbdq2jbvrc3gixguxikkci" style="color: black;">10th IEEE High Assurance Systems Engineering Symposium (HASE&#39;07)</a> </i> &nbsp;
This paper describes a tool-supported approach to integrate product-line FTA into AADL (Architecture Analysis and Design Language) models and associated AADL Error Models of a product line.  ...  Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains.  ...  We thank David Gluch for introducing us to AADL and providing us with AADL-related information.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hase.2007.28">doi:10.1109/hase.2007.28</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hase/SunHL07.html">dblp:conf/hase/SunHL07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gvrdw5yxn5g7jelwkeql7e72cy">fatcat:gvrdw5yxn5g7jelwkeql7e72cy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100505032829/http://www.cs.iastate.edu/~sun/HASE%20-%20Sun_Hauptman_Lutz.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/b6/55/b655d946fbc7174527bb0fe8cdf12d38f674b616.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hase.2007.28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES

Josh Dehlinger, Joanne Bechta Dugan
<span title="2008-08-31">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uvyix6fvifc4jbmecjrws2o6aq" style="color: black;">Nuclear Engineering and Technology</a> </i> &nbsp;
describe our high-level approach for automatically deriving dynamic fault trees (DFT) from an Architectural Analysis and Design Language (AADL) model annotated with the appropriate/desired error models  ...  MODELING CRITICAL SYSTEMS USING AADL In this article, we advocate for the use of the Architectural Analysis and Design Language (AADL) [6] [20] as the medium for specifying and modeling the structural  ...  CONCLUDING REMARKS AND FUTURE WORK This article advocated and demonstrated for the use of the Architectural Analysis and Design Language (AADL) as a medium to model the architecture and faults and failure  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5516/net.2008.40.5.365">doi:10.5516/net.2008.40.5.365</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xhvydiudzngqbj5yykaqaiaida">fatcat:xhvydiudzngqbj5yykaqaiaida</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808110423/https://www.kns.org/jknsfile/v40/JK0400365.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/43/11/431120a9338016927eb95f7237b88335e95d46bc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5516/net.2008.40.5.365"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Modelling Embedded Systems with AADL: A Practical Study [chapter]

Naeem Muhammad, Yves Vandewoude, Yolande Berbers, Sjir van
<span title="2010-03-01">2010</span> <i title="InTech"> New Advanced Technologies </i> &nbsp;
Security Analysis Like safety levels, AADL components can be assigned various security levels.  ...  Safety Analysis Checks the safety criticality level of system components and highlights potential safety hazards that may occur because of communication among components with different safety levels.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/9423">doi:10.5772/9423</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jimqgj3rzrbxdlwxowvkhlg23u">fatcat:jimqgj3rzrbxdlwxowvkhlg23u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502132830/https://cdn.intechopen.com/pdfs/10732.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/7a/33/7a33e3b12b52a6ad1fc01a6afd1ecd23e1b04a40.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/9423"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Resolute

Andrew Gacek, John Backes, Darren Cofer, Konrad Slind, Mike Whalen
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dq2nkmeoqjc5bmcalsv7wxzfgq" style="color: black;">Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT &#39;14</a> </i> &nbsp;
The argument may combine different kinds of evidence to justify its top level claim.  ...  While assurance cases deliver some level of guarantee of a system's correctness, they lack the rigor that proofs from formal methods typically provide.  ...  Analysis tool plug-ins are used to execute the analysis tools within ETB. ETB is designed to be tool and model agnostic, and is therefore not integrated with a model of the system architecture.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2663171.2663177">doi:10.1145/2663171.2663177</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigada/GacekBCSW14.html">dblp:conf/sigada/GacekBCSW14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e5krthwenfbfbprconprm53ria">fatcat:e5krthwenfbfbprconprm53ria</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160915154840/http://arxiv.org/pdf/1409.4629.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/cd/4b/cd4b559ceeb6e6186e41a387b575fe579204181b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2663171.2663177"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 232 results