{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T22:05:17Z","timestamp":1740175517911,"version":"3.37.3"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2015,11,17]],"date-time":"2015-11-17T00:00:00Z","timestamp":1447718400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Reliable Intell Environ"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s40860-015-0013-3","type":"journal-article","created":{"date-parts":[[2015,11,17]],"date-time":"2015-11-17T14:52:42Z","timestamp":1447771962000},"page":"101-121","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Antifragility: systems engineering at its best"],"prefix":"10.1007","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2629-1339","authenticated-orcid":false,"given":"Eric","family":"Verhulst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Sputh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Van Schaik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,17]]},"reference":[{"key":"13_CR1","unstructured":"Ledinot E, Astruc JM, Blanquart JP, Baufreton P, Boulanger JL, Delseny H, Gassino J, Ladier G, Leeman M, Machrouh J, Qur P, Ricque B (2012) A cross-domain comparison of software development assurance standards. In: ERTS $$^{2}$$ 2 2012. http:\/\/web1.see.asso.fr\/erts2012\/Site\/0P2RUC89\/1A-3.pdf"},{"key":"13_CR2","unstructured":"Functional Safety and IEC 61508. http:\/\/www.iec.ch\/functionalsafety\/"},{"key":"13_CR3","unstructured":"Automotive safety integrity level. http:\/\/www.flandersdrive.be\/sites\/default\/files\/publicaties\/ASIL%20-%20Public%20Results.pdf"},{"key":"13_CR4","unstructured":"Trustworthy systems engineering with goedelworks. http:\/\/www.altreonic.com\/sites\/default\/files\/SE%20with%20GoedelWorks%203_0.pdf"},{"key":"13_CR5","unstructured":"Open platform for evolutionary certification of safety-critical systems. http:\/\/www.opencoss-project.eu\/"},{"key":"13_CR6","unstructured":"Gsn (goal structuring notation). http:\/\/www.goalstructuringnotation.info\/"},{"key":"13_CR7","unstructured":"Taleb NN (2012) Antifragile. Random house, things that gain from disorder"},{"key":"13_CR8","unstructured":"ISO, Road vehicles\u2014Functional safety, ISO 26262, part 1\u201310, International standard under publication, Geneva, 2011"},{"key":"13_CR9","unstructured":"CENELEC, EN50128\u2014Railway applications-Communication Signaling and Processing Systems-Software for Railway Control and Protection Systems, European standard under publication, Brussels, 2011"},{"key":"13_CR10","unstructured":"Special C. of RTCA, DO-178C Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"13_CR11","unstructured":"Aircraft crashes record office (acro). http:\/\/www.baaa-acro.com\/"},{"key":"13_CR12","unstructured":"Global status report onroad safety (2013) Supporting a decade of action. Tech rep, World Health Organisation. http:\/\/www.who.int\/iris\/bitstream\/10665\/78256\/1\/9789241564564_eng.pdf"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Goel L, Tyagi VK (1993) A two unit series system with correlated failures and repairs. Microelectron Reliab 33(14):2165\u20132169. doi: 10.1016\/0026-2714(93)90010-V . http:\/\/www.sciencedirect.com\/science\/article\/pii\/002627149390010V","DOI":"10.1016\/0026-2714(93)90010-V"},{"key":"13_CR14","unstructured":"Wikipedia: Boeing 787 dreamliner battery problems\u2014wikipedia, the free encyclopedia (2015). https:\/\/en.wikipedia.org\/w\/index.php?title=Boeing_787_Dreamliner_battery_problems&oldid=672415823 . Accessed 28 July 2015"},{"key":"13_CR15","unstructured":"RTCA (2005) DO-297 integrated modular avionics (IMA) development guidance and certification considerations"},{"issue":"3","key":"13_CR16","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1504\/IJBIDM.2008.022138","volume":"3","author":"VD Florio","year":"2008","unstructured":"Florio VD, Blondia C (2008) On the requirements of new software development. Int J Bus Intell Data Min 3(3):330\u2013349. doi: 10.1504\/IJBIDM.2008.022138","journal-title":"Int J Bus Intell Data Min"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Leveson NG (2012) Engineering a safer world. MIT Press","DOI":"10.7551\/mitpress\/8179.001.0001"},{"issue":"1","key":"13_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s40860-015-0002-6","volume":"1","author":"V Florio De","year":"2015","unstructured":"De Florio V (2015) On resilient behaviors in computational systems and environments. J Reliab Intell Environ 1(1):33\u201346. doi: 10.1007\/s40860-015-0002-6","journal-title":"J Reliab Intell Environ"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"De Florio V (2010) Software assumptions failure tolerance: role, strategies, and visions. In: Casimiro A, de\u00a0Lemos R, Gacek C (eds) Architecting dependable systems VII. Lecture notes in computer science, vol. 6420. Springer, Berlin Heidelberg, pp 249\u2013272. doi: 10.1007\/978-3-642-17245-8_11","DOI":"10.1007\/978-3-642-17245-8_11"},{"key":"13_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-9736-4","volume-title":"Formal development of a network-centric RTOS","author":"E Verhulst","year":"2011","unstructured":"Verhulst E, Boute R, Faria J, Sputh B, Mezhuyev V (2011) Formal development of a network-centric RTOS. Springer, New York"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Rushby J (2012) Composing safe systems. In: Arbab F, lveczky P (eds) Formal aspects of component software. Lecture notes in computer science, vol 7253. Springer, Berlin Heidelberg, pp 3\u201311. doi: 10.1007\/978-3-642-35743-5_2","DOI":"10.1007\/978-3-642-35743-5_2"},{"key":"13_CR22","unstructured":"Texas instruments (2013) RM42x 16\/32-Bit RISC flash microcontroller technical reference manual. http:\/\/www.ti.com\/lit\/ug\/spnu516a\/spnu516a.pdf"},{"key":"13_CR23","unstructured":"From safety integrity level to assured reliability and resilience level for compositional safety critical systems. http:\/\/www.altreonic.com\/sites\/default\/files\/Altreonic_ARRL_DRAFT_WIP011113.pdf"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Verhulst E, Sputh B (2013) ARRL: a criterion for compositional safety and systems engineering. A normative approach to specifying components. In: 2013 IEEE international symposium on software reliability engineering workshops (ISSREW), pp 37\u201344. doi: 10.1109\/ISSREW.2013.6688861","DOI":"10.1109\/ISSREW.2013.6688861"},{"key":"13_CR25","unstructured":"Verhulst E, de\u00a0la Vara JL, Sputh B, de\u00a0Florio V (2013) ARRL: a novel criterion for composable safety and systems engineering. In: SafeComp\/SASSUR workshop. Toulouse"},{"key":"13_CR26","unstructured":"Verhulst E, de\u00a0la Vara JL, Sputh B, de\u00a0Florio V (2013) From safety integrity level to assured reliability and resilience level for composable safety critical systems. In: ICSSEA\u201913 (2013)"},{"key":"13_CR27","unstructured":"European Commission, Statistics\u2014accidents data. http:\/\/ec.europa.eu\/transport\/road_safety\/specialist\/statistics\/index_en.htm"}],"container-title":["Journal of Reliable Intelligent Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-015-0013-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40860-015-0013-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-015-0013-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T12:44:00Z","timestamp":1567341840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40860-015-0013-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,17]]},"references-count":27,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["13"],"URL":"https:\/\/doi.org\/10.1007\/s40860-015-0013-3","relation":{},"ISSN":["2199-4668","2199-4676"],"issn-type":[{"type":"print","value":"2199-4668"},{"type":"electronic","value":"2199-4676"}],"subject":[],"published":{"date-parts":[[2015,11,17]]}}}