{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:36:19Z","timestamp":1742402179752,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213373"},{"type":"electronic","value":"9783642213380"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21338-0_9","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T19:42:21Z","timestamp":1309290141000},"page":"118-131","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Pinzuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"ARINC Specification 653-2: Avionics Application Software Standard Interface: Part 1 - Required Services. Technical report, Avionics Electronic Engineering Committee (ARINC) (March 2006)"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/1289927.1289970","volume-title":"Proc. of the ACM & IEEE Int. Conf. on Embedded SW","author":"M. Behnam","year":"2007","unstructured":"Behnam, M., Shin, I., Nolte, T., Nolin, M.: SIRAP: A Synchronization Protocol for Hierarchical Resource Sharing in Real-Time Operating Systems. In: Proc. of the ACM & IEEE Int. Conf. on Embedded SW, pp. 279\u2013288. ACM, New York (2007)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. on SW Eng.\u00a017(3) (March 1991)","DOI":"10.1109\/32.75415"},{"issue":"2","key":"9_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/TSE.2004.1265815","volume":"30","author":"G. Bucci","year":"2004","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Timed State Space Analysis of Real Time Preemptive Systems. IEEE Trans. on SW Eng.\u00a030(2), 97\u2013111 (2004)","journal-title":"IEEE Trans. on SW Eng."},{"issue":"11","key":"9_CR5","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TSE.2005.122","volume":"31","author":"G. Bucci","year":"2005","unstructured":"Bucci, G., Sassoli, L., Vicario, E.: Correctness verification and performance analysis of real time systems using stochastic preemptive Time Petri Nets. IEEE Trans. on SW Eng.\u00a031(11), 913\u2013927 (2005)","journal-title":"IEEE Trans. on SW Eng."},{"issue":"12","key":"9_CR6","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1109\/32.489073","volume":"21","author":"G. Bucci","year":"1995","unstructured":"Bucci, G., Vicario, E.: Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Trans. on SW Eng.\u00a021(12), 969\u2013992 (1995)","journal-title":"IEEE Trans. on SW Eng."},{"key":"9_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-27578-9","volume-title":"Hard Real-Time Computing Systems","author":"G. Buttazzo","year":"2005","unstructured":"Buttazzo, G.: Hard Real-Time Computing Systems. Springer, Heidelberg (2005)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: Putting preemptive Time Petri Nets to work in a V-Model SW life cycle. IEEE Trans. on SW Eng. (accepted for publication)","DOI":"10.1109\/TSE.2011.4"},{"key":"9_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.\u00a01877, p. 138. Springer, Heidelberg (2000)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Dill, D.: Timing Assumptions and Verification of Finite-State Concurrent Systems. In: Proc. Workshop on Computer Aided Verification Methods for Finite State Systems (1989)","DOI":"10.1007\/3-540-52148-8_17"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Burns, A.: Hierarchical Fixed Priority Pre-Emptive Scheduling. In: Proc. of the IEEE Int. Real-Time Systems Symp., pp. 389\u2013398 (2005)","DOI":"10.1109\/RTSS.2005.25"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Burns, A.: Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. In: Proc. IEEE Int. Real-Time Sys. Symp., pp. 257\u2013270 (2006)","DOI":"10.1109\/RTSS.2006.42"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Deng, Z., Liu, J.W.-S.: Scheduling real-time applications in an open environment. In: Proc. of the IEEE Real-Time Systems Symp., pp. 308\u2013319 (1997)","DOI":"10.1109\/REAL.1997.641292"},{"key":"9_CR14","unstructured":"Dept. of Aerospace Engineering - Polytechnic of Milan. RTAI: Real Time Application Interface for Linux, https:\/\/www.rtai.org"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Easwaran, A., Lee, I., Shin, I., Sokolsky, O.: Compositional Schedulability Analysis of Hierarchical Real-Time Systems. In: Proc. of the IEEE Int. Symp. on Object and Component-Oriented Real-Time Distributed Comp., pp. 274\u2013281 (2007)","DOI":"10.1109\/ISORC.2007.25"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Easwaran, A., Lee, I., Sokolsky, O., Vestal, S.: A Compositional Scheduling Framework for Digital Avionics Systems. In: Proc. of the Int. Workshop on Real-Time Computing Systems and Applications, vol.\u00a00, pp. 371\u2013380 (2009)","DOI":"10.1109\/RTCSA.2009.46"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Proctor, F.M., Shackleford, W.P.: Real-time operating system timing jitter and its impact on motor control. In: Proc. of SPIE, Sensors and Controls for Intelligent Manufacturing II, December 10-16, vol.\u00a04563 (2001)","DOI":"10.1117\/12.452653"},{"issue":"5","key":"9_CR18","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10009-010-0156-8","volume":"12","author":"G. Bucci","year":"2010","unstructured":"Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems. International Journal of Software Tools for Technology Transfer\u00a012(5), 391\u2013403 (2010)","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"9_CR19","unstructured":"Kuo, T.-W., Li, C.-H.: A Fixed-Priority-Driven Open Environment for Real-Time Applications. In: Proc. IEEE Real-Time Sys. Symp., pp. 256\u2013267 (1999)"},{"issue":"2","key":"9_CR20","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.conengprac.2006.05.014","volume":"15","author":"L. Dozio","year":"2007","unstructured":"Dozio, L., Mantegazza, P.: General-purpose processors for active vibro-acoustic control: Discussion and experiences. Control Engineering Practice\u00a015(2), 163\u2013176 (2007)","journal-title":"Control Engineering Practice"},{"issue":"2","key":"9_CR21","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/s11241-008-9059-0","volume":"41","author":"D. Lime","year":"2009","unstructured":"Lime, D., Roux, O.H.: Formal verification of real-time systems with preemptive scheduling. Real-Time Syst.\u00a041(2), 118\u2013151 (2009)","journal-title":"Real-Time Syst."},{"issue":"2","key":"9_CR22","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/EMC-2005-00019","volume":"1","author":"B.-E. Lipari","year":"2005","unstructured":"Lipari, B.-E., Giuseppe: A methodology for designing hierarchical scheduling systems. Journal of Embedded Computing\u00a01(2), 257\u2013269 (2005)","journal-title":"Journal of Embedded Computing"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Lipari, G., Baruah, S.K.: Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems. In: IEEE Real Time Tech. and Appl. Symp., p. 166 (2000)","DOI":"10.1109\/RTTAS.2000.852461"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Lipari, G., Bini, E.: Resource Partitioning among Real-Time Applications. In: Proc. of the Euromicro Conf. on Real-Time Sys., pp. 151\u2013158 (2003)","DOI":"10.1109\/EMRTS.2003.1212738"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Merlin, P., Farber, D.: Recoverability of Communication Protocols. IEEE Trans. on Communications 24(9) (1976)","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Mok, A.K., Feng, A.X., Chen, D.: Resource Partition for Real-Time Systems. In: IEEE Real Time Technology and Applications Symposium, pp. 75\u201384 (2001)","DOI":"10.1109\/RTTAS.2001.929867"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-540-27793-4_21","volume-title":"Applications and Theory of Petri Nets 2004","author":"O.H. Roux","year":"2004","unstructured":"Roux, O.H., Lime, D.: Time petri nets with inhibitor hyperarcs. Formal semantics and state space computation. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 371\u2013390. Springer, Heidelberg (2004)"},{"issue":"9","key":"9_CR28","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Trans. Comput.\u00a039(9), 1175\u20131185 (1990)","journal-title":"IEEE Trans. Comput."},{"key":"9_CR29","unstructured":"Shin, I., Lee, I.: Periodic Resource Model for Compositional Real-Time Guarantees. In: Proc. of the IEEE Int. Real-Time Systems Symp., pp. 2\u201313 (2003)"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00360340","volume":"10","author":"M. Spuri","year":"1996","unstructured":"Spuri, M., Buttazzo, G.: Scheduling Aperiodic Tasks in Dynamic Priority Systems. Real-Time Systems\u00a010, 179\u2013210 (1996)","journal-title":"Real-Time Systems"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Vicario, E.: Static Analysis and Dynamic Steering of Time Dependent Systems Using Time Petri Nets. IEEE Trans. on SW Eng. (August 2001)","DOI":"10.1109\/32.940727"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21338-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T20:08:33Z","timestamp":1741291713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21338-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213373","9783642213380"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21338-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}