{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:14:58Z","timestamp":1729660498703,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/wfcs.2015.7160545","type":"proceedings-article","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T22:03:38Z","timestamp":1437084218000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Minimizing revalidation and recertification in evolutionary embedded systems"],"prefix":"10.1109","author":[{"given":"W.","family":"Al-Makhawi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Obermaisser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.935551"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086235"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.1999.777460"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.56"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"874","DOI":"10.1145\/1629911.1630133","article-title":"scheduling the flexray bus using optimization techniques","author":"haibo zeng","year":"2009","journal-title":"2009 46th ACM\/IEEE Design Automation Conference dac"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/0470121173"},{"journal-title":"Search Methodologies Introductory Tutorials in Optimization and Decision Support Technologies","year":"2005","author":"burke","key":"ref16"},{"journal-title":"GENESYS A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems2009 Suedwestdeutscher Verlag fuer Hochschulschriften","year":"2009","author":"obermaisser","key":"ref17"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1109\/ICVD.1999.745170","article-title":"Formal system design based on the synchrony hypothesis, functional models, and skeletons","author":"sander","year":"1999","journal-title":"VLSI Design 1999 Proceedings Twelfth International Conference On"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/3-540-47884-1_16","article-title":"Model driven engineering","author":"kent","year":"2002","journal-title":"Proceedings of the Third International Conference on Integrated Formal Methods Ser IFM '02"},{"article-title":"Artific l r reluoe ce 189 strips: A new approach to the application of.theorem proving to problem solving’","year":"1971","author":"fikes","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/WoWMoM.2013.6583386"},{"key":"ref6","article-title":"Streamlining software aspects of certification: Report on the SSAC survey","author":"hayhurst","year":"1999","journal-title":"NASA Technical Memorandum 1999-209519 Technical report"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-27578-9"},{"article-title":"Time-triggered communication, ser. Embedded systems","year":"2012","author":"obermaisser","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/2.947086"},{"key":"ref2","article-title":"The ARTEMIS strategic research agenda","volume":"25 2006","year":"2006","journal-title":"Artemis"},{"key":"ref9","article-title":"Design optimization of timeand cost-constrained fault-tolerant embedded systems with checkpointing and replication","author":"pop","year":"2009","journal-title":"IEEE Trans"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.118"},{"article-title":"Static task scheduling and grain packing in parallel processing systems","year":"1987","author":"kruatrachue","key":"ref20"},{"key":"ref22","article-title":"OMG Unified Modeling Language (OMG UML), Infrastructure, V2.1.2","author":"group","year":"2007","journal-title":"Tech Rep"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/344588.344618"},{"article-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","year":"1997","author":"kopetz","key":"ref24"},{"journal-title":"OMG","article-title":"Uml profile for marte: Modeling and analysis of real-time embedded systems","year":"2011","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1316550.1316558"},{"journal-title":"ILOG Inc","article-title":"Ibm ilog cplex optimizer","year":"0","key":"ref25"}],"event":{"name":"2015 IEEE World Conference on Factory Communication Systems (WFCS)","start":{"date-parts":[[2015,5,27]]},"location":"Palma de Mallorca, Spain","end":{"date-parts":[[2015,5,29]]}},"container-title":["2015 IEEE World Conference on Factory Communication Systems (WFCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7140198\/7160536\/07160545.pdf?arnumber=7160545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T15:50:44Z","timestamp":1498233044000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7160545\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/wfcs.2015.7160545","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}