{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T22:10:06Z","timestamp":1750543806855,"version":"3.41.0"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319625683"},{"type":"electronic","value":"9783319625690"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62569-0_2","type":"book-chapter","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T10:05:37Z","timestamp":1499767537000},"page":"22-44","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A New Approach for Automatic Development of Reconfigurable Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Wafa","family":"Lakhdhar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rania","family":"Mzid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Treves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,12]]},"reference":[{"key":"2_CR1","volume-title":"Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX","author":"A Burns","year":"2009","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX, 4th edn. Addison-Wesley Educational Publishers Inc., USA (2009)","edition":"4"},{"key":"2_CR2","volume-title":"Systmes Temps R\u00e9el de Contr\u00f4le-Commande","author":"F Cottet","year":"2005","unstructured":"Cottet, F., Grolleau, E.: Systmes Temps R\u00e9el de Contr\u00f4le-Commande. Dunod, Paris (2005)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-73551-9_17","volume-title":"Component-Based Software Engineering","author":"J Polakovic","year":"2007","unstructured":"Polakovic, J., Mazare, S., Stefani, J.-B., David, P.-C.: Experience with safe dynamic reconfigurations in component-based embedded systems. In: Schmidt, H.W., Crnkovic, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 242\u2013257. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-73551-9_17"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1046191.1032298","volume":"XXIV","author":"F. Singhoff","year":"2004","unstructured":"Singhoff, F., Legrand, J., Nana, L., Marc\u00e9, L.: Cheddar: a flexible real time scheduling framework. In: Proceedings of the ACM SIGADA International Conference, Atlanta. ACM (2004)","journal-title":"ACM SIGAda Ada Letters"},{"key":"2_CR5","unstructured":"Baruah, S., Goossens, J.: Scheduling real-time tasks: Algorithms and complexity. Handb. Sched.: Algorithms Models Perform. Anal. 3 (2004)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Gharsellaoui, H., Gharbi, A., Khalgui, M., Ahmed, S.: Feasible automatic reconfigurations of real-time OS tasks. In: Handbook of Research on Industrial Informatics and Manufacturing Intelligence: Innovations and Solutions: Innovations and Solutions (2012)","DOI":"10.4018\/978-1-4666-0294-6.ch017"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C Liu","year":"1973","unstructured":"Liu, C., Layland, J.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20, 46\u201361 (1973)","journal-title":"J. ACM (JACM)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Bouaziz, R., Lemarchand, L., Singhoff, F., Zalila, B., Jmaiel, M.: Architecture exploration of real-time systems based on multi-objective optimization. In: Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS), Gold Coast, QLD, pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICECCS.2015.11"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/2499369.2465572","volume":"48","author":"A Mehiaoui","year":"2013","unstructured":"Mehiaoui, A., Wozniak, E., Tucci-Piergiovanni, S., Mraidha, C., Natale, M.D., Zeng, H., Babau, J., Lemarchand, L., Gerard, S.: A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. ACM SIGPLAN Not. 48, 121\u2013132 (2013)","journal-title":"ACM SIGPLAN Not."},{"key":"2_CR10","unstructured":"Wo\u017aniak, E.: Model-based synthesis of distributed real-time automotive architectures. Ph.D. thesis, Universit\u00e9 Paris Sud-Paris XI"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"1412","DOI":"10.1016\/j.comcom.2004.05.006","volume":"27","author":"D Marinca","year":"2004","unstructured":"Marinca, D., Minet, P., George, L.: Analysis of deadline assignment methods in distributed real-time systems. Comput. Commun. 27, 1412\u20131423 (2004)","journal-title":"Comput. Commun."},{"key":"2_CR12","unstructured":"Pillai, P., Shin, K.: Taste-an open-source tool-chain for embedded system and software development. In: Proceedings of the Embedded Real Time Software and Systems Conference (ERTS), Toulouse, France (2012)"},{"key":"2_CR13","volume-title":"POSIX programmers guide","author":"D Lewine","year":"1991","unstructured":"Lewine, D.: POSIX programmers guide. O\u2019Reilly Media Inc., USA (1991)"},{"key":"2_CR14","volume-title":"The Use of Posix in Real-time Systems, Assessing its Effectiveness and Performance","author":"KM Obenland","year":"2000","unstructured":"Obenland, K.M.: The Use of Posix in Real-time Systems, Assessing its Effectiveness and Performance. The MITRE Corporation, McLean (2000)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Lehoczky, J., Sha, L., Ding, Y.: The rate monotonic scheduling algorithm: exact characterization and average case behavior. In: Proceedings of the Real Time Systems Symposium, pp. 166\u2013171. IEEE (1989)","DOI":"10.1109\/REAL.1989.63567"},{"key":"2_CR16","unstructured":"Ltkebohle, I.: IBM CPLEX Optimizer - United States (2016). http:\/\/www-01.ibm.com\/software\/commerce\/optimization\/cplex-optimizer\/ . Accessed 10 Apr 2016"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"J Stankovic","year":"1988","unstructured":"Stankovic, J.: Misconceptions about real-time computing: a serious problem for next-generation systems. Computer 21, 10\u201319 (1988)","journal-title":"Computer"},{"key":"2_CR18","first-page":"535","volume-title":"Proceedings of Real-Time Analysis","author":"M Klein","year":"1993","unstructured":"Klein, M., Ralya, T., Pollak, B., Obenza, R., Harbour, M.G.: Analyzing complex systems. In: Klein, M., Ralya, T., Pollak, B., Obenza, R., Harbour, M.G. (eds.) Proceedings of Real-Time Analysis, pp. 535\u2013578. Springer, US (1993)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF00365326","volume":"2","author":"H Chetto","year":"1991","unstructured":"Chetto, H., Silly, M., Bouchentouf, T.: Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Syst. 2, 181\u2013194 (1991)","journal-title":"Real-Time Syst."},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1016\/S0016-0032(01)00021-7","volume":"338","author":"V Swaminathan","year":"2001","unstructured":"Swaminathan, V., Chakrabarty, K.: Real-time task scheduling for energy-aware embedded systems. J. Franklin Inst. 338, 729\u2013750 (2001)","journal-title":"J. Franklin Inst."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Gruian, F.: Hard real-time scheduling for low-energy using stochastic data and DVS processors. In: Proceedings of the 2001 international symposium on Low power electronics and design, pp. 46\u201351. ACM (2001)","DOI":"10.1145\/383082.383092"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"1586","DOI":"10.1109\/TC.2003.1252854","volume":"52","author":"CM Krishna","year":"2003","unstructured":"Krishna, C.M., Lee, Y.H.: Voltage-clock-scaling adaptive scheduling techniques for low power in hard real-time systems. IEEE Trans. Comput. 52, 1586\u20131593 (2003)","journal-title":"IEEE Trans. Comput."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Bini, E., Buttazzo, G.: A hyperbolic bound for the rate monotonic algorithm. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems, Delft, pp. 59\u201366. IEEE (2001)","DOI":"10.1109\/EMRTS.2001.934000"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Pillai, P., Shin, K.: Real-time dynamic voltage scaling for low-power embedded operating systems. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems, USA, pp. 59\u201366. ACM (2001)","DOI":"10.1145\/502043.502044"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Bertout, A., Forget, J., Olejnik, R.: Minimizing a real-time task set through task clustering. In: Proceedings of the 22nd International Conference on Real-Time Networks and Systems, p. 23, Versailles, France. ACM (2014)","DOI":"10.1145\/2659787.2659820"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Racu, R., Jersak, M., Ernst, R.: Applying sensitivity analysis in real-time distributed systems. In: 11th IEEE Real Time and Embedded Technology and Applications Symposium, pp. 160\u2013169. IEEE (2005)","DOI":"10.1109\/RTAS.2005.10"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Pop, T., Eles, P., Peng, Z.: Design optimization of mixed time\/event-triggered distributed embedded systems. In: Proceedings of the 1st IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, pp. 83\u201389. ACM (2003)","DOI":"10.1145\/944645.944672"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1109\/TSE.2012.64","volume":"39","author":"A Aleti","year":"2013","unstructured":"Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.: Software architecture optimization methods: a systematic literature review. IEEE Trans. Software Eng. 39, 658\u2013683 (2013)","journal-title":"IEEE Trans. Software Eng."},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921555","volume":"36","author":"C Mraidha","year":"2011","unstructured":"Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: a marte-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw. Eng. Notes 36, 1\u20138 (2011)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"2_CR30","first-page":"132","volume":"81","author":"P-E Hladik","year":"2008","unstructured":"Hladik, P.-E., Cambazard, H., D\u00e9planche, A.M., Jussien, N.: Solving a real-time allocation problem with constraint programming. Comput. Ind. Eng. 81, 132\u2013149 (2008)","journal-title":"Comput. Ind. Eng."},{"key":"2_CR31","unstructured":"Harbour, M.G.: Ordonnancement temps reel avec profilsvariables de consommation d\u2019energie. In: Embedded Systems (2004)"},{"key":"2_CR32","first-page":"263","volume":"9","author":"Y Xu","year":"2002","unstructured":"Xu, Y., Brennan, R.W., Zhang, X., Norrie, H.: A reconfigurable concurrent function block model and its implementation in real-time java. Discret. Event Dynamic Syst. 9, 263\u2013279 (2002)","journal-title":"Discret. Event Dynamic Syst."},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-74481-8_31","volume-title":"Holonic and Multi-Agent Systems for Manufacturing","author":"MN Rooker","year":"2007","unstructured":"Rooker, M.N., S\u00fcnder, C., Strasser, T., Zoitl, A., Hummer, O., Ebenhofer, G.: Zero downtime reconfiguration of distributed automation systems: the $$\\epsilon $$ CEDAC approach. In: Ma\u0159\u00edk, V., Vyatkin, V., Colombo, A.W. (eds.) HoloMAS 2007. LNCS, vol. 4659, pp. 326\u2013337. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74481-8_31"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Thramboulidis, K., Doukas, G., Frantzis, A.: Towards an implementation model for FB-based reconfigurable distributed control applications. In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 193\u2013200. IEEE (2007)","DOI":"10.1109\/ISORC.2004.1300345"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Krichen, F., Hamid, B., Zalila, B., Coulette, B.: Designing dynamic reconfiguration for distributed real time embedded systems. In: Proceedings of 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), Tozeur, Tunisia, pp. 249\u2013254. IEEE (2010)","DOI":"10.1109\/NOTERE.2010.5536671"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Guo, Y., Sierszecki, K., Angelov, C.A.: A reconfiguration mechanism for resource-constrained embedded systems, pp. 1315\u20131320. IEEE Computer Society, Washington, DC, USA (2008)","DOI":"10.1109\/COMPSAC.2008.282"},{"key":"2_CR37","unstructured":"B. Hamid, A. Lanusse, A.R., G\u00e9rard, S.: Designing reconfigurable component systems with a model based approach. In: ARTIST Workshop on Adaptive and Reconfigurable Embedded Systems, Saint Louis, MO, USA, pp. 69\u201373 (2008)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Barreto, R., Neves, M., Oliveira Jr., M., Maciel, P., Tavares, E., Lima, R.: A formal software synthesis approach for embedded hard real-time systems. In: Proceedings of the 17th symposium on Integrated circuits and system design, pp. 163\u2013168. ACM (2004)","DOI":"10.1145\/1016568.1016615"},{"key":"2_CR39","unstructured":"Tavares, E., Barreto, R., Junior, M.O., Maciel, P., Neves, M., Lima, R.: An approach for pre-runtime scheduling in embedded hard real-time systems with power constraints. In: 16th Symposium on Computer Architecture and High Performance Computing, 2004, SBAC-PAD 2004, pp. 188\u2013195. IEEE (2004)"},{"key":"2_CR40","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10626-011-0107-x","volume":"21","author":"C Pagetti","year":"2011","unstructured":"Pagetti, C., Forget, J., Boniol, F., Cordovilla, M., Lesens, D.: Multi-task implementation of multi-periodic synchronous programs. Discret. Event Dyn. Syst. 21, 307\u2013338 (2011)","journal-title":"Discret. Event Dyn. Syst."},{"key":"2_CR41","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2005.10.032","volume":"153","author":"W Binder","year":"2006","unstructured":"Binder, W., Hulaas, J.: Using bytecode instruction counting as portable cpu consumption metric. Electron. Notes Theoret. Comput. Sci. 153, 57\u201377 (2006)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"2_CR42","unstructured":"Harbour, M.G.: Real-time posix: an overview. In: VVConex 93 International Conference, Moscu. Citeseer (1993)"},{"key":"2_CR43","unstructured":"Brosse, E.: Marte-designer example-ccas - marte user manual (english) - modelio community forge (2011). https:\/\/forge.modelio.org\/projects\/marte-user-manual-english\/wiki\/marte-designer_example-CCAS . Accessed 1 Nov 2016"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62569-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T21:38:17Z","timestamp":1750541897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62569-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319625683","9783319625690"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62569-0_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"12 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOFT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoft2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoft.org\/?y=2016","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}