{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T08:40:07Z","timestamp":1748767207696,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319295091"},{"type":"electronic","value":"9783319295107"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29510-7_4","type":"book-chapter","created":{"date-parts":[[2016,1,29]],"date-time":"2016-01-29T14:39:16Z","timestamp":1454078356000},"page":"69-84","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Compositional Predictability Analysis of Mixed Critical Real Time Systems"],"prefix":"10.1007","author":[{"given":"Abdeldjalil","family":"Boudjadar","sequence":"first","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]},{"given":"Boris","family":"Madzar","sequence":"additional","affiliation":[]},{"given":"Jin Hyun","family":"Kim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,30]]},"reference":[{"key":"4_CR1","unstructured":"ARINC 653. Website. https:\/\/www.arinc.com\/cf\/store\/documentlist.cfm"},{"key":"4_CR2","unstructured":"Aussagues, C., Chabrol, D., David, V., Roux, D., Willey, N., Tournadre, A., Graniou, M.: PharOS, a multicore OS ready for safety-related automotive systems:results and future prospects. In: ERTS2 2010, May 2010"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bondarev, E., Chaudron, M., de With, P.: Compositional performance analysis of component-based systems on heterogeneous multiprocessor platforms. In: SEAA 2006, pp. 81\u201391, August 2006","DOI":"10.1109\/EUROMICRO.2006.31"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-319-07602-7_6","volume-title":"Formal Aspects of Component Software","author":"A Boudjadar","year":"2014","unstructured":"Boudjadar, A., Nyman, U., Kim, J.H., Larsen, K.G., Miku\u010dionis, M., Skou, A., David, A.: Hierarchical scheduling framework based on compositional analysis using uppaal. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 61\u201378. Springer, Heidelberg (2014)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","first-page":"209","volume-title":"Formal Aspects of Component Software","author":"A Skou","year":"2015","unstructured":"Skou, A., Boudjadar, A., David, A., Larsen, K.G., Miku\u010dionis, M., Nyman, U., Kim, J.H.: Widening the schedulability of hierarchical scheduling systems. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 209\u2013227. Springer, Heidelberg (2015)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.scico.2015.10.003","volume":"113","author":"A Boudjadar","year":"2015","unstructured":"Boudjadar, A., David, A., Kim, J.H., Larsen, K.G., Mikucionis, M., Nyman, U., Skou, A.: A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. J. 113, 236\u2013260 (2015)","journal-title":"Sci. Comput. Program. J."},{"key":"4_CR8","unstructured":"Boudjadar, A., Kim, J.H., Larsen, K.G., Nyman, U.: Compositional schedulability analysis of an avionics system using Uppaal. In: Proceedings of the International Conference on Advanced Aspects of Software Engineering ICAASE, pp. 140\u2013147 (2014)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-44618-4_12","volume-title":"CONCUR 2000 - Concurrency Theory","author":"F Cassez","year":"2000","unstructured":"Cassez, F., Larsen, K.G.: The impressive power of stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 138\u2013152. Springer, Heidelberg (2000)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-34032-1_28","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"KG Larsen","year":"2012","unstructured":"Larsen, K.G., Miku\u010dionis, M., David, A., Legay, A.: Schedulability of herschel-planck revisited using statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 293\u2013307. Springer, Heidelberg (2012)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Deng, Z., Liu, J.W.S.: Scheduling real-time applications in an open environment. In: RTSS, pp. 308\u2013319 (1997)","DOI":"10.1109\/REAL.1997.641292"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Feiler, P., Lewis, B., Vestal, S.: Improving predictability in embedded real-timesystems. Technical Report CMU\/SEI-2000-SR-011, Carnegie Mellon University, December 2000","DOI":"10.21236\/ADA387086"},{"key":"4_CR13","unstructured":"Feng, X.A., Mok, A.K.: A model of hierarchical real-time virtual resources. In: RTSS 2002, pp. 26\u201335. IEEE Computer Society (2002)"},{"key":"4_CR14","unstructured":"Fredriksson, J.: Improving predictability and resource utilization in component-based embedded real-time systems. Ph.D. thesis, M\u00e4lardalen University (2008)"},{"key":"4_CR15","unstructured":"Garousi, V., Briand, L.C., Labiche, Y.: A unified approach for predictability analysis of real-time systems using UML-based control flow information (2005)"},{"issue":"1881","key":"4_CR16","doi-asserted-by":"publisher","first-page":"3727","DOI":"10.1098\/rsta.2008.0141","volume":"366","author":"TA Henzinger","year":"2008","unstructured":"Henzinger, T.A.: Two challenges in embedded systems design: predictability and robustness. Philos. Trans. R. Soc. London Math. Phy. Eng. Sci. 366(1881), 3727\u20133736 (2008)","journal-title":"Philos. Trans. R. Soc. London Math. Phy. Eng. Sci."},{"issue":"5","key":"4_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker spin. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54947-1","volume-title":"Specification and Compositional Verification of Real-Time Systems","author":"J Hooman","year":"1991","unstructured":"Hooman, J.: Specification and Compositional Verification of Real-Time Systems. LNCS. Springer, Heidelberg (1991)"},{"issue":"5","key":"4_CR19","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M Joseph","year":"1986","unstructured":"Joseph, M., Pandya, P.: Finding response times in a real-time system. Comput. J. 29(5), 390\u2013395 (1986)","journal-title":"Comput. J."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Locke, C., Vogel, D., Mesler, T.: Building a predictable avionics platform in ADA: a case study. In: Proceedings of RTSS, pp. 181\u2013189 (1991)","DOI":"10.1109\/REAL.1991.160372"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.jss.2014.05.076","volume":"96","author":"M Panunzio","year":"2014","unstructured":"Panunzio, M., Vardanega, T.: A component-based process with separation of concerns for the development of embedded real-time software systems. J. Syst. Softw. 96, 105\u2013121 (2014)","journal-title":"J. Syst. Softw."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Pellizzoni, R., Betti, E., Bak, S., Yao, G., Criswell, J., Caccamo, M., Kegley, R.: A predictable execution model for COTS-based embedded systems. In: RTAS 2011, pp. 269\u2013279, April 2011","DOI":"10.1109\/RTAS.2011.33"},{"key":"4_CR23","volume-title":"Software Engineering - Theory and Practice","author":"SL Pfleeger","year":"2009","unstructured":"Pfleeger, S.L., Atlee, J.M.: Software Engineering - Theory and Practice, 4th edn. Pearson Education, Upper Saddle River (2009)","edition":"4"},{"issue":"6","key":"4_CR24","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1109\/12.773795","volume":"48","author":"K Purna","year":"1999","unstructured":"Purna, K., Bhatia, D.: Temporal partitioning and scheduling data flow graphs for reconfigurable computers. IEEE Trans. Comput. 48(6), 579\u2013590 (1999)","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"4_CR25","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01995673","volume":"2","author":"J Stankovic","year":"1990","unstructured":"Stankovic, J., Ramamritham, K.: What is predictability for real-time systems? Real-Time Syst. 2(4), 247\u2013254 (1990)","journal-title":"Real-Time Syst."},{"key":"4_CR26","unstructured":"Volvo Trucks Great Britain and Ireland. Driver support systems: Keeping anextra eye on the road. http:\/\/www.volvotrucks.com\/trucks\/uk-market\/en-gb\/trucks\/volvo-fh-series\/key-features\/Pages\/driver-support-systems.aspx"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-36384-X_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F Wang","year":"2002","unstructured":"Wang, F.: Efficient verification of timed automata with BDD-like data-structures. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 189\u2013205. Springer, Heidelberg (2002)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Yau, S., Zhou, X.: Schedulability in model-based software development for distributed real-time systems. In: Proceedings of WORDS 2002, pp. 45\u201352 (2002)","DOI":"10.1109\/WORDS.2002.1000035"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29510-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T07:59:10Z","timestamp":1748764750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29510-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319295091","9783319295107"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29510-7_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"30 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}