{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:56:18Z","timestamp":1747810578126,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/indin.2011.6035002","type":"proceedings-article","created":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T10:38:46Z","timestamp":1318415926000},"page":"841-847","source":"Crossref","is-referenced-by-count":7,"title":["Programming safety requirements in the REFLECT design flow"],"prefix":"10.1109","author":[{"given":"Zlatko","family":"Petrov","sequence":"first","affiliation":[]},{"given":"Kamil","family":"Kratky","sequence":"additional","affiliation":[]},{"given":"Joao M. P.","family":"Cardoso","sequence":"additional","affiliation":[]},{"given":"Pedro C.","family":"Diniz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"ARP 4754 Certification Considerations for Highly-Integrated or Complex Aircraft Systems","year":"1996","key":"ref10"},{"journal-title":"Software Fault Tolerance A Tutorial","year":"2000","author":"torres-pomales","key":"ref11"},{"journal-title":"Mastering AspectJ Aspect-Oriented Programming in Java","year":"2003","author":"gradecki","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1990.126315"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/3468.833100"},{"key":"ref15","article-title":"A Domain-Specific Aspect Language for Transforming MATLAB Programs","author":"cardoso","year":"2010","journal-title":"Domain-Specific Aspect Language Workshop (DSAL'2010)"},{"journal-title":"Device Reliability Report","year":"2009","key":"ref16"},{"journal-title":"SEU strategies for Virtex-5 devices","year":"2010","key":"ref17"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-540-75294-3_6","article-title":"Implementing Fault Tolerance Using Aspect Oriented Programming","volume":"4746","author":"alexandersson","year":"2007","journal-title":"Dependable Computing LNCS"},{"key":"ref19","first-page":"201","article-title":"Fault Tolerance as an Aspect Using Jreplica","author":"sanchez","year":"2001","journal-title":"Proc 8th IEEE Workshop Future Trends Distributed Computing Systems"},{"key":"ref4","article-title":"A New Approach to Control and Guide the Mapping of Computations to FPGAs","author":"cardoso","year":"2011","journal-title":"The International Conference Engineering of Reconfigurable Systems and Algorithms (ERSA'11)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0061-5_11"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242420"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0053381","article-title":"Aspect Oriented Programming","volume":"1241","author":"kiczales","year":"1997","journal-title":"Proc European Conference on Object-oriented Programming (ECOOP'97)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.104"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/356725.356729"},{"journal-title":"Reflection","year":"0","key":"ref2"},{"key":"ref1","first-page":"72","article-title":"Specifying and Composing Non-functional Requirements in Model-Based Development","volume":"5634","author":"jackson","year":"2009","journal-title":"LNCS"},{"journal-title":"ARP 4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","year":"1996","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15651-9_34"}],"event":{"name":"2011 9th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2011,7,26]]},"location":"Lisbon, Portugal","end":{"date-parts":[[2011,7,29]]}},"container-title":["2011 9th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6029399\/6034824\/06035002.pdf?arnumber=6035002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:49:12Z","timestamp":1497930552000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6035002\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/indin.2011.6035002","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}