{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:36:19Z","timestamp":1725543379890},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356288"},{"type":"electronic","value":"9783540356295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11783565_15","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T12:08:03Z","timestamp":1150891683000},"page":"206-221","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Component Framework for Distributed Embedded Systems"],"prefix":"10.1007","author":[{"given":"Christo","family":"Angelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Sierszecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolae","family":"Marian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinpeng","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"ARTIST Project IST-2001-34820: Selected Topics in Embedded Systems Design: Roadmaps for Research. Project report (2004)"},{"key":"15_CR2","unstructured":"European Research Consortium for Informatics and Mathematics: ERCIM News, N 52, Special Issue on Embedded Systems (2003)"},{"key":"15_CR3","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullegson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Chichester (1994)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_16","volume-title":"Embedded Software","author":"E.A. Lee","year":"2001","unstructured":"Lee, E.A., Xiong, Y.: System-Level Types for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211. Springer, Heidelberg (2001)"},{"key":"15_CR5","unstructured":"Software Technologies, Embedded systems and Distributed systems in FP6. Workshop on Software Technologies, Embedded Systems and Distributed Systems in the 6th Framework Programme for EU Research, Brussels, Belgium (2002)"},{"key":"15_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07847-1","volume-title":"IEC 61131-3: Programming Industrial Automation Systems","author":"K.H. John","year":"2001","unstructured":"John, K.H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems. Springer, Heidelberg (2001)"},{"key":"15_CR7","unstructured":"Lewis, R.: Modeling Control Systems Using IEC 61499. Institution of Electrical Engineers (2001)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31869-9_1","volume-title":"Scientific Engineering of Distributed Java Applications","author":"C. Angelov","year":"2005","unstructured":"Angelov, C., Sierszecki, K., Marian, N.: Component-Based Design of Embedded Software: an Analysis of Design Issues. In: Guelfi, N., Reggio, G., Romanovsky, A. (eds.) FIDJI 2004. LNCS, vol.\u00a03409, pp. 1\u201311. Springer, Heidelberg (2005)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Angelov, C., Sierszecki, K.: A Software Framework for Component-Based Embedded Applications. In: Proc. of the Asia-Pacific Software Engineering Conference APSEC 2004, Busan, Korea (2004)","DOI":"10.1109\/APSEC.2004.9"},{"key":"15_CR10","unstructured":"Angelov, C., Berthing, J., Sierszecki, K., Marian, N.: Function Unit Specification in a Timed Multitasking Environment. In: Proc. of the 17th International Conference on Software and Systems Engineering and Their Applications ICSSEA 2004, Paris, France (2004)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/11596356_18","volume-title":"Embedded and Ubiquitous Computing \u2013 EUC 2005","author":"C. Angelov","year":"2005","unstructured":"Angelov, C., Sierszecki, K., Marian, N.: Design Models for Reusable and Reconfigurable State Machines. In: Yang, L.T., Amamiya, M., Liu, Z., Guo, M., Rammig, F.J. (eds.) EUC 2005. LNCS, vol.\u00a03824, pp. 152\u2013163. Springer, Heidelberg (2005)"},{"issue":"4","key":"15_CR12","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/TRA.2002.802235","volume":"18","author":"S. Wang","year":"2002","unstructured":"Wang, S., Shin, K.G.: Constructing Reconfigurable Software for Machine Control Systems. IEEE Trans. on Robotics and Automation\u00a018(4), 475\u2013486 (2002)","journal-title":"IEEE Trans. on Robotics and Automation"},{"issue":"6","key":"15_CR13","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/32.508311","volume":"22","author":"M.P.E. Heimdahl","year":"1996","unstructured":"Heimdahl, M.P.E., Leveson, N.G.: Completeness and Consistency Analysis of State-Based Requirements. IEEE Transactions on Software Engineering, TSE\u00a022(6), 363\u2013377 (1996)","journal-title":"IEEE Transactions on Software Engineering, TSE"},{"key":"15_CR14","volume-title":"Real-Time Systems, Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"15_CR15","unstructured":"Maraninchi, F., Remond, Y.: Applying Formal Methods to Industrial Cases: the Language Approach (The Production-Cell and Mode-Automata). In: Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems, Berlin (2000)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Liu, J., Lee, E.A.: Timed Multitasking for Real-Time Embedded Software. IEEE Control Systems Magazine: Advances in Software Enabled Control, 65\u201375 (2003)","DOI":"10.1109\/MCS.2003.1172830"},{"issue":"12","key":"15_CR17","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1109\/32.637390","volume":"23","author":"D.B. Stewart","year":"1997","unstructured":"Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. IEEE Trans. on Soft. Eng., TSE\u00a023(12), 759\u2013776 (1997)","journal-title":"IEEE Trans. on Soft. Eng., TSE"},{"key":"15_CR18","unstructured":"Isovic, D., Norstr\u00f6m, C.: Components in Real-Time Systems. In: Proc. of the 8th Int. Conf. on Real-Time Comp. Systems and Applications RTCSA 2002, Tokyo Japan (2002)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11783565_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:18:10Z","timestamp":1619507890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11783565_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356288","9783540356295"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11783565_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}