{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T17:30:51Z","timestamp":1767375051206},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/jproc.2009.2039631","type":"journal-article","created":{"date-parts":[[2010,3,24]],"date-time":"2010-03-24T18:40:25Z","timestamp":1269456025000},"page":"621-634","source":"Crossref","is-referenced-by-count":14,"title":["Challenges and Solutions for Embedded and Networked Aerospace Software Systems"],"prefix":"10.1109","volume":"98","author":[{"given":"D.C.","family":"Sharp","sequence":"first","affiliation":[]},{"given":"A.E.","family":"Bell","sequence":"additional","affiliation":[]},{"given":"J.J.","family":"Gold","sequence":"additional","affiliation":[]},{"given":"K.W.","family":"Gibbar","sequence":"additional","affiliation":[]},{"given":"D.W.","family":"Gvillo","sequence":"additional","affiliation":[]},{"given":"V.M.","family":"Knight","sequence":"additional","affiliation":[]},{"given":"K.P.","family":"Murphy","sequence":"additional","affiliation":[]},{"given":"W.C.","family":"Roll","sequence":"additional","affiliation":[]},{"given":"R.G.","family":"Sampigethaya","sequence":"additional","affiliation":[]},{"given":"V.","family":"Santhanam","sequence":"additional","affiliation":[]},{"given":"S.P.","family":"Weismuller","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2001.964252"},{"key":"ref38","article-title":"freeing product line architectures from execution dependencies","author":"doerr","year":"1999","journal-title":"Software Technology Conference"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-6557"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.2514\/6.2003-5320"},{"key":"ref31","article-title":"space shuttle","year":"2009","journal-title":"Wikipedia the Free Encyclopedia"},{"key":"ref30","article-title":"editor's note: software standard","author":"carey","year":"2008","journal-title":"Avionics Magazine"},{"key":"ref37","author":"northrop","year":"0","journal-title":"A Framework for Software Product Line Practice Version 5 0"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.1998.739846"},{"key":"ref35","first-page":"31 ff","author":"buschmann","year":"1996","journal-title":"Pattern-Oriented Software Architecture A System of Patterns"},{"key":"ref34","article-title":"object-oriented real-time computing for reusable avionics software","author":"sharp","year":"2001","journal-title":"Proc 7th Int Symp Object-Oriented Real Time Comput"},{"key":"ref10","article-title":"product focus: arinc 653 and rtos","author":"adams","year":"2004","journal-title":"Avionics Magazine"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2002.1067981"},{"key":"ref11","year":"2003","journal-title":"Addressing Cache in Airborne Systems and Equipment"},{"key":"ref12","author":"gautam","year":"0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2004.1390739"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.34"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.45"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","article-title":"applicability of modified condition\/decision coverage to software testing","volume":"9","author":"chilenski","year":"1994","journal-title":"Software Engineering Journal"},{"key":"ref17","author":"hayhurst","year":"0","journal-title":"A Practical Tutorial on Modified Condition\/Decision Coverage"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-79707-4_2","article-title":"synchronous design of embedded systems: the esterel\/scade approach","author":"berry","year":"2008","journal-title":"Formal Methods for Industrial Critical Systems 12th International Workshop FMICS 2007 Berlin Germany July 12 2007 Revised Selected Papers"},{"key":"ref19","author":"barnes","year":"2003","journal-title":"High Integrity Software Conf"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2008.2006123"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2005.1563466"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-75101-4_3","article-title":"electronic distribution of airplane software and the impact of information security on airplane safety","author":"robinson","year":"2007","journal-title":"Proc Int Conf Comput Safety Reliab Security (SAFECOMP)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2003.1199238"},{"key":"ref6","year":"0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_34"},{"key":"ref5","author":"kemp","year":"2007","journal-title":"Flight of the Titans"},{"key":"ref8","article-title":"integrated modular avionics: less is more","author":"ramsey","year":"2007","journal-title":"Avionics Magazine"},{"key":"ref7","year":"0"},{"key":"ref2","article-title":"the design of the tao real-time object request broker","volume":"21","author":"schmidt","year":"1998","journal-title":"Computer Communications Special Issue on Building Quality of Service Into Distributed Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/62.90950"},{"key":"ref1","year":"0","journal-title":"IEEE Standard for a Software Quality Metrics MethodologyDescription"},{"key":"ref20","volume":"4","year":"0","journal-title":"Boeing Frontiers"},{"key":"ref45","author":"northrop","year":"0"},{"key":"ref22","year":"1992","journal-title":"Software Considerations in Airborne Systems and Equipment Certification (RTCA\/DO-178B)"},{"key":"ref21","article-title":"use of integrated vehicle health management in the field of commercial aviation","author":"bird","year":"2005","journal-title":"Proc NASA ISHEM Forum"},{"key":"ref42","article-title":"a successful strategy for satellite development and testing","author":"tosney","year":"2005","journal-title":"Aerospace Corporation Crosslinks"},{"key":"ref24","article-title":"14 cfr part 25, special conditions: boeing model 787-8 airplane; systems and data networks security protection of airplane systems and data networks from unauthorized external access, [docket no. nm365 special conditions no. 250702sc]","volume":"72","year":"2007","journal-title":"Federal Register"},{"key":"ref41","doi-asserted-by":"crossref","DOI":"10.1109\/ISORC.2005.34","article-title":"model-based integration of reusable component-based avionics systemsa case study","author":"schulte","year":"2005","journal-title":"Proc 7th Int Symp Object-Oriented Real Time Comput"},{"key":"ref23","article-title":"14 cfr part 25, special conditions: boeing model 787-8 airplane; systems and data networks security isolation or protection from unauthorized passenger domain systems access, [docket no. nm364 special conditions no. 250701sc]","volume":"72","year":"2007","journal-title":"Federal Register"},{"key":"ref44","author":"corman","year":"0","journal-title":"Mixed Initiative Control of Automa-Teams Open Experimentation Platform"},{"key":"ref26","author":"pawlicki","year":"2006","journal-title":"Data and Communication Security Standards in Practice"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.27"},{"key":"ref25","year":"2006","journal-title":"Electronic Distribution of Software (ARINC 666)"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5\/5440047\/05437167.pdf?arnumber=5437167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:47:48Z","timestamp":1633913268000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5437167\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":45,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2009.2039631","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}