{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:31:52Z","timestamp":1725460312884},"publisher-location":"Boston","reference-count":26,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8149-9_17","type":"book-chapter","created":{"date-parts":[[2006,2,22]],"date-time":"2006-02-22T14:53:33Z","timestamp":1140620013000},"page":"167-176","source":"Crossref","is-referenced-by-count":0,"title":["Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions"],"prefix":"10.1007","author":[{"given":"David","family":"Doose","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoubir","family":"Mammeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"A. Bondavalli, A. Fantechi, D. Latella, and L. Simoncini. Design validation of embedded dependable systems. IEEE Micro, 21:52\u201362, September\/October 2001.","DOI":"10.1109\/40.958699"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Peter van der Stok and Paul T.A. Thijssen. Prevention of replication induced failures in the context of integrated modular avionics. In Embedded System Applications, pages 153\u2013170. Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-1-4757-2574-2_11"},{"key":"17_CR3","unstructured":"P. Conmy and J. McDermid. High level failure analysis for integrated modular avionics. In 6th Australian Workshop on Safety Critical Systems and Software, volume 3, 2001."},{"key":"17_CR4","unstructured":"Ben L. Di Vito. A model of cooperative noninterference for integrated modular avionics. In Dependable Computing for Critical Applications (DCCA-7), 1999."},{"key":"17_CR5","unstructured":"M. Nicholson, P. Conmy, I. Bate, and J. McDermid. Generating and maintaining a safety argument for integrated modular systems. In 5th Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Melbourne, Australia, November 2000."},{"key":"17_CR6","series-title":"Technical report","volume-title":"Partitioning in avionics architectures: Requirements, mechanisms, and assurance","author":"J. Rushby","year":"1999","unstructured":"J. Rushby. Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Technical report, SRI International, Menlo Park USA, March 1999."},{"key":"17_CR7","unstructured":"B. L. Di Vito. A formal model of partitionning for integrated modular avionics. Technical report, NASA Langley Research Center, August 1998."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"B. Andersson and J. Jonsson. Fixed-priority preemptive multiprocessor scheduling: To partition or not to partition. In Proceedings of the Int\u2019l Conf. on Real-Time Computing and Applications, pages 337\u2013346, Cheju Island, Korea, December 2000. IEEE Computer Society Press.","DOI":"10.1109\/RTCSA.2000.896409"},{"key":"17_CR9","unstructured":"Airlines Electronic Engineering Committee. Arinc specification 653, January 1997."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"B. Ford and S. Susarla. Cpu inheritance scheduling. In Usenix Association Second Symposium on Operating Systems Design and Implementation (OSDI), pages 91\u2013105, 1996.","DOI":"10.1145\/238721.238765"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"P. Goyal, X. Guo, and H.M. Vin. A hierarchical CPU scheduler for multimedia operating systems. In Usenix Association Second Symposium on Operating Systems Design and Implementation (OSDI), pages 107\u2013121, 1996.","DOI":"10.1145\/238721.238766"},{"key":"17_CR12","unstructured":"John Regehr, Jack Stankovic, and Marty Humphrey. The case for hierarchical schedulers with performance guarantees. Technical Report CS-2000-07, Department of Computer Science, University of Virginia, march 2000."},{"key":"17_CR13","unstructured":"M. Nicholson and P. Hollow. Approaches to certification of reconfigurable ima systems, 2000."},{"key":"17_CR14","unstructured":"M.D. Bennett and N.C. Audsley. Developing a real-time micro kernel design process. In 22nd IEEE Real-Time Systems Symposium, London, UK, December 2001. IEEE Computer Society Press."},{"key":"17_CR15","series-title":"Technical report","volume-title":"Developing an ima kernel based on 14 for avionic systems","author":"M. Bennett","year":"2002","unstructured":"Michael Bennett and Neil Audsley. Developing an ima kernel based on 14 for avionic systems. Technical report, Dependable Computer Systems Centre, Dept. of Computer Science, University of York, UK, 2002."},{"key":"17_CR16","unstructured":"M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-time Systems. Software Engineering Institute, 1999."},{"key":"17_CR17","first-page":"40","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"C.L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in hard real-time environment. Association for Computing Machinery (ACM), 20:40\u201361, January 1973.","journal-title":"Association for Computing Machinery (ACM)"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"J.P. Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In IEEE Real-Time Systems Symposium, pages 166\u2013171, Los Alamitos, CA, 1989. IEEE Computer Society Press.","DOI":"10.1109\/REAL.1989.63567"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"A.K. Mok and D. Chen. A multiframe model for real-time tasks. In 17th IEEE Real-Time Systems Symposium (RTSS\u2019 96), page p.22. IEEE Computer Society, December 1997.","DOI":"10.1109\/32.637146"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"S.K. Baruah, D. Chen, S. Gorinsky, and A. K. Mok. Generalized multiframe tasks. In Real-Time Systems, volume 17, pages 5\u201322, July 1999.","DOI":"10.1023\/A:1008030427220"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"A.K. Mok, A.X. Feng, and D. Chen. Resource partition for real-time systems. In Seventh Real-Time Technology and Applications Symposium (RTAS\u2019 01), pages 75\u201384, Taipei, Taiwan, May\u2013June 2001. IEEE Computer Society.","DOI":"10.1109\/RTTAS.2001.929867"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"A.K. Mok and A.X. Feng. Towards compositionality in real-time resource partitioning based on regularity bounds. In 22nd IEEE Real-Time Systems Symposium (RTSS\u201901), page 129, London, England, December 03\u201306 2001. IEEE Computer Society.","DOI":"10.1109\/REAL.2001.990604"},{"key":"17_CR23","unstructured":"A.X. Fen and A.K. Mok. A model of hierarchical real-time virtual resources. In Real Time System Symposium, pages 26\u201335, Austin, December 2002. IEEE Computer Society."},{"key":"17_CR24","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"L. Sha, R. Rajkumar, and J.P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39:1175\u20131185, September 1990.","journal-title":"IEEE Transactions on Computers"},{"key":"17_CR25","unstructured":"David Doose and Zoubir Mammeri. Analyse de bornes d\u2019utilisation pour la validation de syst\u00e8mes temps r\u00e9el partitionn\u00e9s. In RTS 2004, 2004."},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"T. P. Baker. A stack-based resource allocation policy for realtime. In Real-Time Systems Symposium, pages 191\u2013200. IEEE Computer Society Press, 1990.","DOI":"10.1109\/REAL.1990.128747"}],"container-title":["IFIP International Federation for Information Processing","Design Methods and Applications for Distributed Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8149-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:35Z","timestamp":1619555315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8149-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081480"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8149-9_17","relation":{},"subject":[]}}