{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:53Z","timestamp":1760061833100},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/emsoft.2015.7318261","type":"proceedings-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T17:52:50Z","timestamp":1447091570000},"page":"65-74","source":"Crossref","is-referenced-by-count":14,"title":["Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software"],"prefix":"10.1109","author":[{"given":"Antoine","family":"Min\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Delmas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Fan-C, a Frama-C plug-in for data flow verification","author":"cuoq","year":"2012","journal-title":"ERTS'12"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_27"},{"key":"ref12","article-title":"Formal verification workbench for airbus avionics software","author":"duprat","year":"2008","journal-title":"ERTS'08 SIA"},{"key":"ref13","first-page":"33","article-title":"Static analysis of digital filters","author":"feret","year":"2004","journal-title":"ESOP'04 volume 2986 of LNCS"},{"journal-title":"IEEE Computer Society and The Open Group POSIX API amendment 2 Threads extension Technical report ANSI\/IEEE Std 1003 1c-1995","year":"1995","key":"ref14"},{"journal-title":"Development Methods for Computer Programs including a Notion of Interference","year":"1981","author":"jones","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19718-5_21"},{"key":"ref18","first-page":"39","article-title":"Relational thread-modular static value analysis by abstract interpretation","author":"mine","year":"2014","journal-title":"VMCAI'14 volume 8318 of LNCS"},{"key":"ref19","first-page":"21","article-title":"Computing the worst case execution time of an avionics program by abstract interpretation","author":"souyris","year":"2005","journal-title":"WCET"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-3385"},{"key":"ref3","first-page":"59","article-title":"Towards formally verified optimizing compilation in flight control software","author":"bedin franca","year":"2011","journal-title":"PPES 2011 volume 18 of OASIcs"},{"key":"ref6","article-title":"Guidance for using formal methods in a certification context","author":"brown","year":"2012","journal-title":"ERTS'12"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/781151.781153"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref7","article-title":"From single-thread to multithreaded: An efficient static analysis algorithm","author":"carre","year":"2009","journal-title":"Technical Report arXiv 0910 5833v1 EADS"},{"journal-title":"653-1 Avionics Application Software Standard Interface","year":"2006","key":"ref2"},{"journal-title":"DO-178C Software Considerations in Airborne Systems and Equipment Certification","year":"2011","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.55"},{"key":"ref20","first-page":"532","article-title":"Formal verification of avionics software products","author":"souyris","year":"2009"},{"key":"ref22","article-title":"Goblint: path-sensitive data race analysis","author":"vojdani","year":"2007","journal-title":"SPLST'07"},{"key":"ref21","first-page":"171","article-title":"Software model checking of ARINC-653 flight code with MCP","author":"thompson","year":"2010","journal-title":"NASA Formal Methods"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391842"}],"event":{"name":"2015 International Conference on Embedded Software (EMSOFT)","start":{"date-parts":[[2015,10,4]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313572\/7318008\/07318261.pdf?arnumber=7318261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T20:22:17Z","timestamp":1490386937000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7318261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2015.7318261","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}