{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:20:46Z","timestamp":1780356046771,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540202233","type":"print"},{"value":"9783540452126","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45212-6_1","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T16:42:51Z","timestamp":1277829771000},"page":"1-15","source":"Crossref","is-referenced-by-count":24,"title":["A Probabilistic Framework for Schedulability Analysis"],"prefix":"10.1007","author":[{"given":"Alan","family":"Burns","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillem","family":"Bernat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ian","family":"Broster","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/REAL.1998.739737","volume-title":"Proceedings of the 19th IEEE Real-Time Systems Symposium","author":"A.K. Atlas","year":"1998","unstructured":"Atlas, A.K., Bestavros, A.: Statistical rate monotonic scheduling. In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, pp. 123\u2013132. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"5","key":"1_CR2","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N.C. Audsley","year":"1993","unstructured":"Audsley, N.C., Burns, A., Richardson, M., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal\u00a08(5), 284\u2013292 (1993)","journal-title":"Software Engineering Journal"},{"key":"1_CR3","unstructured":"Bernat, G., Burns, A.: New results on fixed priority a periodic servers. In: 20th IEEE Real-Time Systems Symposium, Phoenix, USA (December 1999)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bernat, G., Colin, A., Petters, S.M.: WCET analysis of probabilistic hard real\u2013time systems. In: Proceedings of the 23rd Real-Time Systems Symposium RTSS 2002, Austin, Texas, USA, pp. 279\u2013288 (2002)","DOI":"10.1109\/REAL.2002.1181582"},{"key":"1_CR5","unstructured":"Bernat, G., Newby, M.: Probabilistic WCETanalysis, an approach using copulas. Technical report, Department of Computer Science University of York, Technical Report (2003)"},{"key":"1_CR6","unstructured":"Broster, I., Burns, A., Rodr\u00edguez-Navas, G.: Probabilistic analysis of CAN with faults. In: Proceedings of the 23rd Real-time Systems Symposium (December 2002)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Burns, A., Davis, R.I., Punnekkat, S.: Feasibility analysis of fault-tolerant real-time task sets. In: Euromicro Real-Time Systems Workshop, June 1996, pp. 29\u201333 (1996)","DOI":"10.1109\/EMWRTS.1996.557785"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Burns, A., Edgar, S.: Predicting computation time for advanced processor architectures. In: Proceedings 12th EUROMICRO conference on Real-time Systems (2000)","DOI":"10.1109\/EMRTS.2000.853996"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Burns, A., Punnekkat, S., Strigini, L., Wright, D.R.: Probabilistic scheduling guarantees for fault-tolerant real-time systems. In: Proceedings of the 7th International Working Conference on Dependable Computing for Critical Applications, San Jose, California, pp. 339\u2013356 (1999)","DOI":"10.1109\/DCFTS.1999.814306"},{"issue":"7","key":"1_CR10","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1002\/spe.4380250702","volume":"25","author":"A. Burns","year":"1995","unstructured":"Burns, A., Wellings, A.J.: Engineering a hard real-time system: From theory to practice. Software-Practice and Experience\u00a025(7), 705\u2013726 (1995)","journal-title":"Software-Practice and Experience"},{"key":"1_CR11","volume-title":"Real-Time Systems and Programming Languages","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley Longman, Amsterdam (2001)","edition":"3"},{"issue":"6","key":"1_CR12","doi-asserted-by":"publisher","first-page":"1828","DOI":"10.1109\/23.211373","volume":"39","author":"A. Campbell","year":"1992","unstructured":"Campbell, A., McDonald, P., Ray, K.: Single event upset rates in space. IEEE Transactions on Nuclear Science\u00a039(6), 1828\u20131835 (1992)","journal-title":"IEEE Transactions on Nuclear Science"},{"issue":"7","key":"1_CR13","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1109\/TC.1982.1676063","volume":"31","author":"X. Castillo","year":"1982","unstructured":"Castillo, X., McConnel, S.P., Siewiorek, D.P.: Derivation and Calibration of a Transient Error Reliability Model. IEEE Transactions on Computers\u00a031(7), 658\u2013671 (1982)","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR14","unstructured":"Cossette, H., Denuit, M., Marceau, E.: Distributional bounds for functions of dependent risks. Technical report, Bulletin suisse des actuaires (2001)"},{"key":"1_CR15","unstructured":"Diaz, J.L., Garc\u00eda, D.F., Kim, K., Lee, C.-G., Bello, L.L., Lopez, J.M., Min, S.L., Mirabella, O.: Stochastic analysis of periodic real-time systems. In: 22nd IEEE Real-Time Systems Symposium, Austin, TX., USA (2002)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Edgar, S., Burns, A.: Statistical analysis of WCET for scheduling. In: Proceedings IEEE Real-Time Systems Symposium (2001)","DOI":"10.1109\/REAL.2001.990614"},{"key":"1_CR17","unstructured":"Gardner, M.K.: Probabilstic Analysis and Scheduling of Critical Soft Real-time Systems. PhD thesis, University of Illinois, Computer Science, Urbana, Illinois (1999)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Gardner, M.K., Lui, J.W.: Analysing stochastic fixed-priority real-time systems. In: Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (1999)","DOI":"10.1007\/3-540-49059-0_4"},{"issue":"12","key":"1_CR19","doi-asserted-by":"publisher","first-page":"1338","DOI":"10.1109\/12.641934","volume":"46","author":"C.-J. Hou","year":"1997","unstructured":"Hou, C.-J., Shin, K.G.: Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systems. IEEE Transactions on Computers\u00a046(12), 1338\u20131356 (1997)","journal-title":"IEEE Transactions on Computers"},{"issue":"5","key":"1_CR20","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. BCS Computer Journal\u00a029(5), 390\u2013395 (1986)","journal-title":"BCS Computer Journal"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Katcher, D.I., Arakawa, H., Strosnider, J.K.: Engineering and analysis of fixed priority schedulers. IEEE Trans. Softw. Eng. 19 (1993)","DOI":"10.1109\/32.241774"},{"key":"1_CR22","first-page":"304","volume-title":"Proceedings 28th Int. Symp. on Fault-Tolerant Computing (FTCS-28)","author":"H. Kim","year":"1998","unstructured":"Kim, H., White, A.L., Shin, K.G.: Reliability modeling of hard real-time systems. In: Proceedings 28th Int. Symp. on Fault-Tolerant Computing (FTCS-28), pp. 304\u2013313. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"1_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2796-1","volume-title":"A Practitioner\u2019s Handbook for Real-Time Analysis: A Guide to Rate Monotonic Analysis for Real-Time Systems","author":"M.H. Klein","year":"1993","unstructured":"Klein, M.H., Ralya, T.A., Pollak, B., Obenza, R., Harbour, M.G.: A Practitioner\u2019s Handbook for Real-Time Analysis: A Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"1_CR24","unstructured":"Lehoczky, J.P., Sha, L., Ding, V.: The rate monotonic scheduling algorithm: Exact characterization and average case behavior. Tech report, Department of Statistics, Carnegie-Mellon (1987)"},{"key":"1_CR25","unstructured":"Leulseged, A., Nissanke, N.: Stochastic analysis of periodic real-time systems. In: 9th Intl. Conf. on Real-Time and Embeded Computing Systems and applications (RTCSA 2003), Taiwan (2003)"},{"issue":"4","key":"1_CR26","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(82)90024-4","volume":"2","author":"J.Y.T. Leung","year":"1982","unstructured":"Leung, J.Y.T., Whitehead, J.: On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation (Netherlands)\u00a02(4), 237\u2013250 (1982)","journal-title":"Performance Evaluation (Netherlands)"},{"key":"1_CR27","unstructured":"Lima, G., Burns, A.: An optimal fixed-priority assignment algorithm for supporting faulttolerant hard real-time systems. IEEE Transactions on Computer Systems (2003) (to appear)"},{"issue":"1","key":"1_CR28","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard real-time environment. JACM\u00a020(1), 46\u201361 (1973)","journal-title":"JACM"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1137\/1126086","volume":"26","author":"G.D. Makarov","year":"1981","unstructured":"Makarov, G.D.: Estimates for the distribution function of a sum of two random variales when the marginal distributions are fixed. Theory Probab. Appli.\u00a026, 803\u2013806 (1981)","journal-title":"Theory Probab. Appli."},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Manolache, S., Eles, P., Peng, Z.: Memory and time efficient schedulability analysis of task sets with stochastic execution time. In: Proceedings 13th EUROMICRO conference on Real-time Systems (2001)","DOI":"10.1109\/EMRTS.2001.933991"},{"issue":"1","key":"1_CR31","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/S1383-7621(99)00016-8","volume":"46","author":"N. Navet","year":"2000","unstructured":"Navet, N., Song, Y.-Q., Simonot, F.: Worst-case deadline failure probability in real-time applications distributed over controller area network. Journal of Systems Architecture\u00a046(1), 607\u2013617 (2000)","journal-title":"Journal of Systems Architecture"},{"key":"1_CR32","volume-title":"An introduction to Copulas","author":"R.B. Nelsen","year":"1998","unstructured":"Nelsen, R.B.: An introduction to Copulas. Springer, Heidelberg (1998)"},{"key":"1_CR33","unstructured":"Punnekkat, S.: Schedulability Analysis for Fault Tolerant Real-time Systems. PhD thesis, Dept. Computer Science, University ofYork (1997)"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-63875-X_44","volume-title":"Advances in Computing Science - ASIAN\u201997","author":"S. Punnekkat","year":"1997","unstructured":"Punnekkat, S., Davis, R., Burns, A.: Sensitivity analysis of real-time task sets. In: Shyamasundar, R.K. (ed.) ASIAN 1997. LNCS, vol.\u00a01345, pp. 72\u201382. Springer, Heidelberg (1997)"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Ramos-Thuel, S., Lehoczky, J.P.: On-line scheduling of hard deadline aperiodic tasks in fixed-priority systems. In: Proceedings of 14th IEEE Real-Time Systems Symposium, December 1993, pp. 160\u2013171 (1993)","DOI":"10.1109\/REAL.1993.393504"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1109\/TAC.1985.1103952","volume":"30","author":"K.G. Shin","year":"1985","unstructured":"Shin, K.G., Krishna, M., Lee, Y.H.: A unified method for evaluating real-time computer controllers its application. IEEE Transactions on Automatic Control\u00a030, 357\u2013366 (1985)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Silly, M., Chetto, H., Elyounsi, N.: An optimal algorithm for guaranteeing sporadic tasks in hard real-time systems. In: Proceedings 2nd IEEE Symposium on Parallel and Distributed Systems, pp. 578\u2013585 (1990)","DOI":"10.1109\/SPDP.1990.143607"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Tia, T.S., Deng, Z., Shankar, M., Storch, M., Sun, J., Wu, L.C., Liu, J.S.: Probabilisitc performance guenrantee for real-time tasks with varying computation times. In: Proceedings of the Real-Time Technology and Applications Symposium, pp. 164\u2013173 (1995)","DOI":"10.1109\/RTTAS.1995.516213"},{"issue":"4","key":"1_CR39","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/32.277577","volume":"20","author":"S. Vestal","year":"1994","unstructured":"Vestal, S.: Fixed Priority Sensitivity Analysis for Linear Compute Time Models. IEEE Transactions on Software Engineering\u00a020(4), 308\u2013317 (1994)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45212-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T11:04:55Z","timestamp":1559214295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45212-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202233","9783540452126"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45212-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}