{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:25:08Z","timestamp":1725884708386},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57666-4_1","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T08:18:42Z","timestamp":1491985122000},"page":"3-9","source":"Crossref","is-referenced-by-count":3,"title":["Formal Models and Analysis for Self-adaptive Cyber-physical Systems"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"1_CR1","unstructured":"Achatz, R.E.: Keynote: optimizing the software development in industry (exemplified for Siemens). In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering 2005, March 8-11, 2005 in Essen. LNI 64 GI (2005). (German)"},{"key":"1_CR2","unstructured":"Brooks, C., Cheng, C., Feng, T.H., Lee, E.A., von Hanxleden, R.: Model engineering using multimodeling. In: 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM 2008), September 2008"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-34059-8_1","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"M Broy","year":"2012","unstructured":"Broy, M., Cengarle, M.V., Geisberger, E.: Cyber-physical systems: imminent challenges. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 1\u201328. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34059-8_1"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proceedings of the 28th International Conference on Software Engineering (ICSE), Shanghai, China. ACM Press (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H.: On safe service-oriented real-time coordination for autonomous vehicles. In: Proceedings of 11th International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC), pp. 203\u2013210. IEEE Computer Society Press, 5\u20137 May 2008","DOI":"10.1109\/ISORC.2008.13"},{"key":"1_CR6","unstructured":"Becker, B., Giese, H.: Cyber-physical systems with dynamic structure: towards modeling and verification of inductive invariants. Technical report, 64, Hasso Plattner Institute at the University of Potsdam, Germany (2012)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s10009-008-0067-0","volume":"10","author":"S Burmester","year":"2008","unstructured":"Burmester, S., Giese, H., M\u00fcnch, E., Oberschelp, O., Klein, F., Scheideler, P.: Tool support for the design of self-optimizing mechatronic multi-agent systems. Int. J. Softw. Tools Technol. Transf. (STTT) 10(3), 207\u2013222 (2008). Springer Verlag","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02161-9_1"},{"issue":"9","key":"1_CR9","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1177\/0037549710366824","volume":"87","author":"H Giese","year":"2011","unstructured":"Giese, H., Henkler, S., Hirsch, M.: A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Trans. Soc. Model. Simul. Int. SIMULATION 87(9), 775\u2013808 (2011)","journal-title":"Trans. Soc. Model. Simul. Int. SIMULATION"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-24644-4_1","volume-title":"Fundamentals of Software Engineering","author":"H Giese","year":"2015","unstructured":"Giese, H., Vogel, T., W\u00e4tzoldt, S.: Towards smart systems of systems. In: Dastani, M., Sirjani, M. (eds.) FSEN 2015. LNCS, vol. 9392, pp. 1\u201329. Springer, Cham (2015). doi: 10.1007\/978-3-319-24644-4_1"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-36249-1_6","volume-title":"Assurances for Self-Adaptive Systems","author":"H Giese","year":"2013","unstructured":"Giese, H., Sch\u00e4fer, W.: Model-driven development of safe self-optimizing mechatronic systems with MechatronicUML. In: C\u00e1mara, J., Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol. 7740, pp. 152\u2013186. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36249-1_6"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-33654-6_21","volume-title":"Graph Transformations","author":"C Krause","year":"2012","unstructured":"Krause, C., Giese, H.: Probabilistic graph transformation systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 311\u2013325. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33654-6_21"},{"issue":"4","key":"1_CR13","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. 1(4), 267\u2013284 (1998). John Wiley - Sons Inc","journal-title":"Syst. Eng."},{"key":"1_CR14","first-page":"65","volume":"12","author":"PJ Mosterman","year":"2000","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling in control system design. IEEE Trans. Control Syst. Technol. 12, 65\u201370 (2000)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"1_CR15","volume-title":"Ultra-Large-Scale Systems: The Software Challenge of the Future","author":"L Northrop","year":"2006","unstructured":"Northrop, L., et al.: Ultra-Large-Scale Systems: The Software Challenge of the Future. Software Engineering Institute, Carnegie Mellon University, Pittsburgh (2006)"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-47474-8_1","volume-title":"Self-Aware Computing Systems","author":"S Kounev","year":"2017","unstructured":"Kounev, S., et al.: The notion of self-aware computing. In: Kounev, S., Kephart, J.O., Milenkoski, A., Zhu, X. (eds.) Self-Aware Computing Systems, pp. 3\u201316. Springer, Cham (2017). doi: 10.1007\/978-3-319-47474-8_1"},{"key":"1_CR17","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, River Edge (1997)"},{"key":"1_CR18","unstructured":"Scharnhorst, T., Heinecke, H., Schnelle, K.-P., Fennel, H., Bortolazzi, J., Lundh, L., Heitk\u00e4mper, P., Leflour, J., Mat\u00e9, J.-L., Nishikawa, K.: AUTOSAR - challenges and achievements 2005. In: Proceedings of the 12th International Conference Electronics Systems for Vehicles, pp. 395\u2013408, Baden-Baden, Germany, October 2005"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21437-0_1","volume-title":"FM 2011: Formal Methods","author":"J Sztipanovits","year":"2011","unstructured":"Sztipanovits, J.: Model integration and cyber physical systems: a semantics perspective. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 1\u20131. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21437-0_1"},{"issue":"1","key":"1_CR20","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","volume":"100","author":"J Sztipanovits","year":"2012","unstructured":"Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J., Wang, S.: Toward a science of cyber-physical system integration. Proc. IEEE 100(1), 29\u201344 (2012)","journal-title":"Proc. IEEE"},{"issue":"1\u20132","key":"1_CR21","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1504\/IJSSE.2008.018137","volume":"1","author":"R Valerdi","year":"2008","unstructured":"Valerdi, R., Axelband, E., Baehren, T., Boehm, B., Dorenbos, D., Jackson, S., Madni, A., Nadler, G., Robitaille, P., Settles, S.: A research agenda for systems of systems architecting. Int. J. Syst. Syst. Eng. 1(1\u20132), 171\u2013188 (2008)","journal-title":"Int. J. Syst. Syst. Eng."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Model-driven architectural monitoring and adaptation for autonomic systems. In: Proceedings of the 6th International Conference on Autonomic Computing and Communications (ICAC 2009), Barcelona, Spain. ACM, 15\u201319 June 2009","DOI":"10.1145\/1555228.1555249"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-12261-3_13","volume-title":"Models in Software Engineering","author":"T Vogel","year":"2010","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental model synchronization for efficient run-time monitoring. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 124\u2013139. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12261-3_13"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: A language for feedback loops in self-adaptive systems: executable runtime megamodels. In: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pp. 129\u2013138. IEEE Computer Society, June 2012","DOI":"10.1109\/SEAMS.2012.6224399"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T10:43:38Z","timestamp":1498387418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}