{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:36:41Z","timestamp":1740721001844,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642172441"},{"type":"electronic","value":"9783642172458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17245-8_6","type":"book-chapter","created":{"date-parts":[[2010,11,13]],"date-time":"2010-11-13T02:48:20Z","timestamp":1289616500000},"page":"123-145","source":"Crossref","is-referenced-by-count":2,"title":["A Framework for Flexible and Dependable Service-Oriented Embedded Systems"],"prefix":"10.1007","author":[{"given":"Shane","family":"Brennan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serena","family":"Fritsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashley","family":"Sterritt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Fox","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9amonn","family":"Linehan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cormac","family":"Driver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Meier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vinny","family":"Cahill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siobh\u00e1n","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"aiT. AbsInt: aiT tool homepage (2010), http:\/\/www.absint.com\/ait\/"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, p. 21. Springer, Heidelberg (1998)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Assaf, A., Noy\u00e9, J.: Dynamic AspectJ. In: Proceedings of the 2008 symposium on Dynamic Languages (DLS 2008), pp. 1\u201312 (2008)","DOI":"10.1145\/1408681.1408689"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/1075405.1075410","volume-title":"Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems, WOSS 2004","author":"J. Bisbal","year":"2004","unstructured":"Bisbal, J., Cheng, B.H.C.: Resource-based approach to feature interaction in adaptive software. In. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems, WOSS 2004, pp. 23\u201327. ACM, New York (2004)"},{"key":"6_CR5","unstructured":"Tidorum, B.-T.: Bound-T tool homepage (2009), http:\/\/www.tidorum.fi\/bound-t"},{"key":"6_CR6","unstructured":"Brennan, S., Cahill, V., Clarke, S.: Applying non-constant volatility analysis methods to software timeliness. In: Proceedings of the 12th Euromicro Conference on Real-Time Systems, Work-in-progress Session (2009)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Brinkschulte, U., Schneider, E., Picioroaga, F.: Dynamic real-time reconfiguration in distributed systems: Timing issues and solutions. In: ISORC 2005: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005 (2005)","DOI":"10.1109\/ISORC.2005.25"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45139-0_9","volume-title":"Model Checking Software","author":"M. Calder","year":"2001","unstructured":"Calder, M., Miller, A.: Using SPIN for feature interaction analysis - A case study. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 143\u2013162. Springer, Heidelberg (2001)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Carton, A., Driver, C., Jackson, A., Clarke, S.: Model-driven Theme\/UML. Transactions on Aspect-Oriented Software Development, 428\u2013432 (2009)","DOI":"10.1007\/978-3-642-03764-1_7"},{"key":"6_CR10","unstructured":"Cottenier, T.: The motorola weavr: Model weaving in a large industrial context. In: Proceedings of the International Conference on Aspect Oriented Software Development, Industry Track (2006)"},{"key":"6_CR11","unstructured":"Didonet Del Fabro, M., B\u00e9zivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a generic model weaver. Journ\u00e9es sur l\u2019Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les (IDM 2005), 105\u2013114 (2005), 2-7261-1284-6"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Driver, C., Reilly, S., Linehan, E., Cahill, V., Clarke, S.: Managing embedded systems complexity with aspect-oriented model-driven engineering. ACM Transactions on Embedded Computing Systems (TECS) (to appear, 2010)","DOI":"10.1145\/1880050.1880057"},{"key":"6_CR13","unstructured":"Edgar, S.: Estimation of worst-case execution time using statistical analysis, PhD thesis. PhD thesis, Department of Computer Science, University of York (2002)"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/839268.839270","volume":"12","author":"A.P. Felty","year":"2003","unstructured":"Felty, A.P., Namjoshi, K.S.: Feature specification and automated conflict detection. ACM Transactions on Software Engineering and Methodology\u00a012(1), 3\u201327 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1109\/EDOC.2007.55","volume-title":"Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007","author":"R. France","year":"2007","unstructured":"France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing support for model composition in metamodels. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, Washington, DC, USA, p. 253. IEEE Computer Society, Los Alamitos (2007)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Galpin, D., Driver, C., Clarke, S.: Modelling hardware verification concerns specified in the e language: An experience report. In: Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD), Industry Track, pp. 207\u2013212 (2009)","DOI":"10.1145\/1509239.1509267"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1229375.1229381","volume-title":"Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, AOM 2007","author":"I. Groher","year":"2007","unstructured":"Groher, I., Voelter, M.: XWeave: models and aspects in concert. In: Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, AOM 2007, pp. 35\u201340. ACM Press, New York (2007)"},{"key":"6_CR18","unstructured":"Hansen, J., Hissam, S., Moreno, G.: Statistical-Based WCET Estimation and Validation. In: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), pp. 123\u2013133 (2009)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Hissam, S., Ivers, J.: Prediction-Enabled Component Technology (PECT) Infrastructure: A Rough Sketch. Technical Report CMU\/SEI-2002-TN-033, Software Engineering Institute, Carnegie-Mellon University (2002)","DOI":"10.21236\/ADA413548"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11796435_7","volume-title":"Embedded Computer Systems: Architectures, Modeling, and Simulation","author":"A. Hovsepyan","year":"2006","unstructured":"Hovsepyan, A., Baelen, S.V., Vanhooff, B., Joosen, W., Berbers, Y.: Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development. In: Vassiliadis, S., Wong, S., H\u00e4m\u00e4l\u00e4inen, T.D. (eds.) SAMOS 2006. LNCS, vol.\u00a04017, pp. 49\u201358. Springer, Heidelberg (2006)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-75209-7_11","volume-title":"Model Driven Engineering Languages and Systems","author":"P.K. Jayaraman","year":"2007","unstructured":"Jayaraman, P.K., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model composition in product lines and feature interaction detection using critical pair analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 151\u2013165. Springer, Heidelberg (2007)"},{"key":"6_CR22","unstructured":"Kim, H.-C., Choi, H.-J., Ko, I.-Y.: An Architectural Model to Support Adaptive Software Systems for Sensor Networks. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), pp. 670\u2013677 (2004)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-75162-5_7","volume-title":"Transactions on Aspect-Oriented Software Development III","author":"J. Klein","year":"2007","unstructured":"Klein, J., Fleurey, F., J\u00e9z\u00e9quel, J.M.: Weaving multiple aspects in sequence diagrams. In: Rashid, A., Aksit, M. (eds.) Transactions on AOSD III. LNCS, vol.\u00a04620, pp. 167\u2013199. Springer, Heidelberg (2007)"},{"key":"6_CR24","first-page":"21","volume-title":"International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE 2007","author":"H. Klus","year":"2007","unstructured":"Klus, H., Niebuhr, D., Rausch, A.: A component model for dynamic adaptive systems. In: International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE 2007, pp. 21\u201328. ACM, New York (2007)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I., Mathew, R.: Systematic development and exploration of service-oriented software architectures. In: Proceedings of Fourth Working IEEE\/IFIP Conference on Software Architecture, WICSA 2004. (June 12-15), pp. 177\u2013187 (2004)","DOI":"10.1109\/WICSA.2004.1310701"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Kumar, T., Cledat, R., Sreeram, J., Pande, S.: Statistically Analyzing Execution Variance for Soft Real-Time Applications. In: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium (ESEC\/FSE 2007), pp. 529\u2013532 (2007)","DOI":"10.1145\/1295014.1295033"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Lampert, A., Koenig, S.: Configuration management in a heterogeneous target environment. In: Proceedings of Third Israel Conference on Computer Systems and Software Engineering, June 6-7, pp. 148\u2013158 (1988)","DOI":"10.1109\/ICCSSE.1988.72255"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Linehan, E., Clarke, S.: Managing hardware verification complexity with aspect-oriented model-driven engineering. In: Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED), pp. 54\u201360 (2010)","DOI":"10.1145\/1880050.1880057"},{"key":"6_CR29","first-page":"1","volume":"11","author":"Y. Liu","year":"2008","unstructured":"Liu, Y., Meier, R.: Feature Interaction in Pervasive Computing Systems. Electronic Communications of the EASST Journal\u00a011, 1\u20137 (2008)","journal-title":"Electronic Communications of the EASST Journal"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1109\/ICAS.2009.24","volume-title":"Proceedings of the 2009 Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009","author":"Y. Liu","year":"2009","unstructured":"Liu, Y., Meier, R.: Resource-aware contracts for addressing feature interaction in dynamic adaptive systems. In: Proceedings of the 2009 Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009, Washington, DC, USA, pp. 346\u2013350. IEEE Computer Society, Los Alamitos (2009)"},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/319195.319202","volume-title":"Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, EW 1998","author":"S. Mitchell","year":"1998","unstructured":"Mitchell, S., Naguib, H., Coulouris, G., Kindberg, T.: Dynamically reconfiguring multimedia components: a model-based approach. In: Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, EW 1998, pp. 40\u201347. ACM, New York (1998)"},{"key":"6_CR32","unstructured":"I.Object Management\u00a0Group. Marte specification beta 2 2008), http:\/\/www.omgmarte.org\/Documents\/Specifications\/08-06-09.pdf"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Rasche, A., Polze, A.: Dynamic reconfiguration of component-based real-time software. In: Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 (2005)","DOI":"10.1109\/WORDS.2005.31"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Reddy, Y.R., Ghosh, S., France, R.B., Straw, G., Bieman, J.M., McEachen, N., Song, E., Georg, G.: Directives for Composing Aspect-Oriented Design Class Models. pp. 75\u2013105 (2006)","DOI":"10.1007\/11687061_3"},{"key":"6_CR35","unstructured":"Reiff-Marganiec, S.: Runtime Resolution of Feature Interactions in Evolving Telecommunications Systems. PhD thesis, University of Glasgow (2002)"},{"key":"6_CR36","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/1028480.1028488","volume-title":"Proceedings of the 1st International Doctoral Symposium on Middleware, DSM 2004","author":"E. Schneider","year":"2004","unstructured":"Schneider, E., Picioroag\u01ce, F., Brinkschulte, U.: Dynamic reconfiguration through osa+, a real-time middleware. In: Proceedings of the 1st International Doctoral Symposium on Middleware, DSM 2004, pp. 319\u2013323. ACM, New York (2004)"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Sharma, P.K., Loyall, J.P., Heineman, G.T., Schantz, R.E., Shapiro, R., Duzan, G.: Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems. In: International Symposium on Distributed Objects and Applications, DOA (2004)","DOI":"10.1007\/978-3-540-30469-2_26"},{"key":"6_CR38","unstructured":"Souyris, J., Pavec, E.L., Himbert, G., J\u00e9gu, V., Borios, G.: Computing the worst case execution time of an avionics program by abstract interpretation. In: Proceedings of the 5th Intl Workshop on Worst-Case Execution Time Analysis (WCET 2005), pp. 21\u201324 (2005)"},{"issue":"12","key":"6_CR39","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1109\/32.637390","volume":"23","author":"D. Stewart","year":"1997","unstructured":"Stewart, D., Volpe, R., Khosla, P.: Design of dynamically reconfigurable real-time software using port-based objects. IEEE Trans. Softw. Eng.\u00a023(12), 759\u2013776 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR40","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MS.2002.1020289","volume":"19","author":"S. Thiel","year":"2002","unstructured":"Thiel, S., Hein, A.: Modeling and using product line variability in automotive systems. IEEE Software\u00a019, 66\u201372 (2002)","journal-title":"IEEE Software"},{"key":"6_CR41","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/ISORC.2007.17","volume-title":"Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing SORC 007","author":"M.A. Wehrmeister","year":"2007","unstructured":"Wehrmeister, M.A., Freitas, E.P., Pereira, C.E., Wagner, F.R.: An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing SORC 007, Washington, DC, USA, pp. 428\u2013432. IEEE Computer Society, Los Alamitos (2007)"},{"key":"6_CR42","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/PDSE.1997.596843","volume-title":"Proceedings of the Second International Workshop on Software Engineering for Parallel and Distributed Systems","author":"M. Wermelinger","year":"1997","unstructured":"Wermelinger, M.: A hierarchic architecture model for dynamic reconfiguration. In: Proceedings of the Second International Workshop on Software Engineering for Parallel and Distributed Systems, pp. 243\u2013254. IEEE Computer Society, Los Alamitos (1997)"},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"Zhao, Z., Li, W.: Influence control for dynamic reconfiguration. In: Australian Software Engineering Conference, pp. 59\u201370 (2007)","DOI":"10.1109\/ASWEC.2007.26"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17245-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T20:35:35Z","timestamp":1740688535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17245-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642172441","9783642172458"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17245-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}