{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:52:48Z","timestamp":1729666368662,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301560","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T18:21:19Z","timestamp":1445883679000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["A framework to support dependability evaluation of WSNs from AADL models"],"prefix":"10.1109","author":[{"given":"Mara","family":"Martins","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Portugal","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Vasques","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2007.328105"},{"key":"ref38","volume":"396","author":"rausand","year":"2004","journal-title":"System reliability theory Models statistical methods and applications"},{"journal-title":"of Automation AADL Error Model Annex VO 91 - Normative","year":"0","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03274-9_24"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.5772\/9423"},{"key":"ref30","article-title":"Detection of landslide using wireless sensor networks","author":"mishra","year":"2011","journal-title":"IEEE"},{"key":"ref37","article-title":"Towards harmonizing multiplearchitecture description languages for real-time embedded systems","author":"qureshi","year":"2011","journal-title":"Real-Time in Sweden"},{"journal-title":"Visual Modeling with Rational Rose 2002 and UML","year":"2002","author":"quatrani","key":"ref36"},{"journal-title":"Open Source AADL Tool Environment","article-title":"of Automotive Engineers SAE","year":"0","key":"ref35"},{"journal-title":"Setting the Standard for Automation (ISA)","article-title":"of Automation","year":"0","key":"ref34"},{"journal-title":"Resiliency Assessment of Wireless Sensor Networks A Holistic Approach","year":"2009","author":"di martino","key":"ref10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.96"},{"key":"ref12","article-title":"Architecture Description Languages: IFIP TC-2 Workshop on Architecture Description Languages (WADL)","volume":"176","author":"dissaux","year":"2004","journal-title":"IEEE World Congress on Computational"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.21236\/ADA148439","author":"dugan","year":"1984","journal-title":"Extended Stochastic Petri Nets Applications and Analysis"},{"journal-title":"Eclipse Development Environment","article-title":"Eclipse","year":"0","key":"ref14"},{"journal-title":"Model-Based Engineering with AADL An Introduction to the SAE Architecture Analysis & Design Language","year":"2012","author":"feiler","key":"ref15"},{"key":"ref16","article-title":"The architecture analysis & design language (aadl): An introduction","author":"feiler","year":"2006","journal-title":"Technical report DTIC Document"},{"key":"ref17","article-title":"Modeling wireless sensor network architectures using aadl","author":"ghosh","year":"2008","journal-title":"4th European Congress ERTS Embedded Real Time Software"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/WMNC.2013.6548954"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380484"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1198\/tech.2003.s25"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194096000107"},{"journal-title":"The Mathworks-Simulink-Simulation and Model-Based Design","year":"0","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/324138.324232"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2001.902446"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/24.24584"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1996.501143"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-013-0456-9"},{"key":"ref2","first-page":"12","article-title":"Model-based design of dependable systems: Limitations and evolution of analysis and verification approaches","volume":"6","author":"aizpurua","year":"2013","journal-title":"International Journal on Advances in Security"},{"journal-title":"Uma Metodologia para Modelagem e Avaliação da Dependabilidade de Redes Industriais Sem Fio","year":"2013","author":"da silva","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/24.46478"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1134340"},{"key":"ref22","article-title":"Automatic generation of static fault trees from aadl models","author":"joshi","year":"2007","journal-title":"Workshop on Architecting Dependable Systems of The 37th Annual IEEE\/IFIP Int Conference on Dependable Systems and Networks"},{"journal-title":"Introduction to Network Simulator NS2","year":"2011","author":"issariyakul","key":"ref21"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1198\/tech.2004.s242"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2527269.2527271"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICTEL.2010.5478798"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.1998.741493"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.12.003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2015,9,8]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301560.pdf?arnumber=7301560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T20:21:07Z","timestamp":1567282867000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301560\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301560","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}