{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T20:08:26Z","timestamp":1649102906758},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T00:00:00Z","timestamp":1314748800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s11334-011-0156-1","type":"journal-article","created":{"date-parts":[[2011,8,30]],"date-time":"2011-08-30T10:55:29Z","timestamp":1314701729000},"page":"79-92","source":"Crossref","is-referenced-by-count":0,"title":["Component-based analysis of embedded control applications"],"prefix":"10.1007","volume":"8","author":[{"given":"Christo","family":"Angelov","sequence":"first","affiliation":[]},{"given":"Wei","family":"Guan","sequence":"additional","affiliation":[]},{"given":"Nicolae","family":"Marian","sequence":"additional","affiliation":[]},{"given":"Feng","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Krzysztof","family":"Sierszecki","sequence":"additional","affiliation":[]},{"given":"S\u00f8ren","family":"Top","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,8,31]]},"reference":[{"key":"156_CR1","doi-asserted-by":"crossref","unstructured":"Bouyssounouse B, Sifakis J (eds) (2005) Embedded systems design. The ARTIST roadmap for research and development. LNCS, vol 3436","DOI":"10.1007\/b106761"},{"key":"156_CR2","doi-asserted-by":"crossref","unstructured":"Angelov C, Ke X, Sierszecki K (2006) A component-based framework for distributed control systems. In: Proceedings of the 32nd EUROMICRO conference on software engineering and advanced applications SEAA 2006, Cavtat, Dubrovnik, Croatia, pp 20\u201327","DOI":"10.1109\/EUROMICRO.2006.6"},{"key":"156_CR3","unstructured":"The MathWorks, Inc., SIMULINK User Manual. http:\/\/www.mathworks.com"},{"key":"156_CR4","doi-asserted-by":"crossref","unstructured":"Zhou F, Guan W, Sierszecki K, Angelov C (2009) Component-based design of software for embedded control systems: the medical ventilator case study. In: Proceedings of the international conference on embedded software and systems ICESS 2009, Hangzhou, China, pp 157\u2013163","DOI":"10.1109\/ICESS.2009.72"},{"key":"156_CR5","unstructured":"Angelov C, Sierszecki K, Guo Y (2009) Formal design models for distributed embedded control systems. In: Proceedings of the 2nd international workshop on model based architecting and construction of embedded systems ACES-MB 2009, Denver, Colorado, USA, pp 43\u201357"},{"key":"156_CR6","doi-asserted-by":"crossref","unstructured":"Guo Y, Guan W, Sierszecki K, Angelov C (2010) Building a software development environment for embedded systems. In: Proceedings of the 4th Asia-Pacific embedded systems education and research conference APESER 2010, Hangzhou, Zhejiang, China","DOI":"10.1109\/GreenCom-CPSCom.2010.118"},{"key":"156_CR7","unstructured":"Jantsch A (2003) Modeling embedded systems and SoCs. Concurrency and time in models of computation. Morgan Kaufmann, San Fransisco"},{"key":"156_CR8","doi-asserted-by":"crossref","unstructured":"Sierszecki K, Angelov C, Ke X (2008) A run-time environment supporting real-time execution of embedded control applications. In: Proceedings of the 14th international IEEE conference on embedded and real-time computing systems and applications RTCSA 2008, Kaohsiung, Taiwan","DOI":"10.1109\/RTCSA.2008.33"},{"key":"156_CR9","doi-asserted-by":"crossref","unstructured":"Guan W, Sierszecki K, Angelov C (2010) Developing a toolset supporting the construction of reusable components for embedded control systems. In: Proceedings of the 4th Asia-Pacific embedded systems education and research conference APESER 2010, Hangzhou, Zhejiang, China","DOI":"10.1109\/GreenCom-CPSCom.2010.113"},{"key":"156_CR10","unstructured":"The MathWorks, Inc., Writing S-Functions, version 6. http:\/\/www.mathworks.com"},{"key":"156_CR11","doi-asserted-by":"crossref","unstructured":"Pree W, Stieglbauer G, Templ J (2006) Simulink integration of Giotto\/TDL. In: Proceedings of ASWSD 2004, LNCS, vol 4147, pp 137\u2013154","DOI":"10.1007\/11823063_10"},{"key":"156_CR12","doi-asserted-by":"crossref","unstructured":"Liu J, Lee EA (2003) Timed multitasking for real-time embedded software. IEEE Control Syst Mag. 65\u201375. Special issue on advances in software enabled control","DOI":"10.1109\/MCS.2003.1172830"},{"key":"156_CR13","doi-asserted-by":"crossref","unstructured":"Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A (2003) Metropolis: an integrated electronic system design environment. IEEE Computer, pp 45\u201352","DOI":"10.1109\/MC.2003.1193228"},{"key":"156_CR14","unstructured":"Giannakopoulou D, Havelund K (2001) Runtime analysis of linear temporal logic specifications. Technical report, RIACS \u00a9 2001"},{"issue":"5","key":"156_CR15","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1049\/iet-sen:20060076","volume":"1","author":"C Watterson","year":"2007","unstructured":"Watterson C, Heffernan D (2007) Runtime verification and monitoring of embedded systems. IET Softw 1(5): 172\u2013179","journal-title":"IET Softw"},{"key":"156_CR16","doi-asserted-by":"crossref","unstructured":"Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, de Simone R (2003) The Synchronous languages 12\u00a0years later. In: Proceedings of the IEEE, vol 91(1), pp 64\u201383","DOI":"10.1109\/JPROC.2002.805826"},{"key":"156_CR17","unstructured":"Halbwachs N, Lagnie F, Raymond P (1993) Synchronous Observers and the Verification of Reactive systems. In: Nivat M, Rattray C, Rus T, Scollo G (eds) Proceedings of the 3rd international conference on algebraic methodology and software technology AMAST \u201993, Twente, The Netherlands, June 1993"},{"key":"156_CR18","unstructured":"Specification Patterns for Finite-State Verification, SAnToS Laboratory. http:\/\/patterns.projects.cis.ksu.edu\/"},{"key":"156_CR19","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Horowitz B, Kirsch CM (2003) GIOTTO: a time-triggered language for embedded programming. In: Proceedings of the IEEE, vol 91, pp 84\u201399","DOI":"10.1109\/JPROC.2002.805825"},{"key":"156_CR20","doi-asserted-by":"crossref","unstructured":"Ghosal A, Henzinger TA, Kirsch CM, Sanvido MA (2004) Event-driven programming with logical execution times. In: Proceeding of HSCC 2004. Lecture Notes in Computer Science, vol 2993, pp 357\u2013371","DOI":"10.1007\/978-3-540-24743-2_24"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0156-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0156-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0156-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T16:01:10Z","timestamp":1560528070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0156-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,31]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["156"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0156-1","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,31]]}}}