{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:19:44Z","timestamp":1737436784333,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749639"},{"type":"electronic","value":"9783540749646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74964-6_1","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T12:59:44Z","timestamp":1188305984000},"page":"1-50","source":"Crossref","is-referenced-by-count":0,"title":["Delivering Real-Time Behaviour"],"prefix":"10.1007","author":[{"given":"Alan","family":"Burns","sequence":"first","affiliation":[]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"Allen, J.: Towards a general theory of actions and time. Artificial Intelligence\u00a023, 123\u2013154 (1984)","journal-title":"Artificial Intelligence"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Amin, M.: Toward self-healing infrastructure systems. Computer, 44\u201352 (August 2000)","DOI":"10.1109\/2.863967"},{"key":"1_CR3","first-page":"172","volume-title":"Proceedings 15th IEEE Real Time Systems Symposium","author":"R. Arnold","year":"1994","unstructured":"Arnold, R., Mueller, F., Whalley, D.: Bounding worst-case instruction cache performance. In: Proceedings 15th IEEE Real Time Systems Symposium, pp. 172\u2013181. IEEE Computer Society Press, Los Alamitos (1994)"},{"issue":"5","key":"1_CR4","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 preemptive scheduling. Software Engineering Journal\u00a08(5), 284\u2013292 (1993)","journal-title":"Software Engineering Journal"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/EMWRT.1993.639042","volume-title":"Proceedings of the Fifth Euromicro Workshop on Real-Time Systems","author":"N.C. Audsley","year":"1993","unstructured":"Audsley, N.C., Tindell, K., Burns, A.: The end of the line for static cyclic scheduling? In: Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, Oulu, Finland, pp. 36\u201341. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/REAL.1990.128747","volume-title":"Proceedings 11th IEEE Real-Time Systems Symposium","author":"T.P. Baker","year":"1990","unstructured":"Baker, T.P.: A stack-based resource allocation policy for realtime processes. In: Proceedings 11th IEEE Real-Time Systems Symposium, pp. 191\u2013200. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Baker, T.P.: Stack-based scheduling of realtime processes. Real-Time Systems\u00a03(1) (March 1991)","DOI":"10.1007\/BF00365393"},{"key":"1_CR8","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, pp. 279\u2013288 (2002)","DOI":"10.1109\/REAL.2002.1181582"},{"issue":"2","key":"1_CR9","first-page":"179","volume":"1","author":"G. Bernat","year":"2005","unstructured":"Bernat, G., Newby, M., Burns, A.: Probabilistic timing analysis, an approach using Copulas. Journal of Embbedded Computing\u00a01(2), 179\u2013194 (2005)","journal-title":"Journal of Embbedded Computing"},{"key":"1_CR10","first-page":"74","volume-title":"Structure for Dependability","author":"A. Burns","year":"2006","unstructured":"Burns, A., Baxter, G.D.: Time bands in systems structure. In: Structure for Dependability, pp. 74\u201390. Springer, Heidelberg (2006)"},{"key":"1_CR11","unstructured":"Burns, A., Hayes, I.J., Baxter, G., Fidge, C.J.: Modelling temporal behaviour in complex socio-technical systems. Computer Science Technical Report YCS 390, University of York (2005)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-44947-7_5","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"A. Burns","year":"2003","unstructured":"Burns, A., Lin, T.-M.: Adding temporal annotations and associated verification to Ravenscar profile. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 80\u201391. Springer, Heidelberg (2003)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s00165-006-0021-4","volume":"19","author":"A. Burns","year":"2007","unstructured":"Burns, A., Lin, T.-M.: An engineering process for the verification of real-time systems. Formal Aspects of Computing\u00a019, 111\u2013136 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"1_CR14","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, Redwood City, CA, USA (2001)","edition":"3"},{"key":"1_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-27578-9","volume-title":"Hard Real-Time Computing Systems","author":"G.C. Buttazzo","year":"2005","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems. Springer, Heidelberg (2005)"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0167-6423(93)90025-K","volume":"20","author":"E. Ciapessoni","year":"1993","unstructured":"Ciapessoni, E., Corsetti, E., Montanari, A., San Pietro, P.: Embedding time granularity in a logical specification language for synchronous real-time systems. Science of Computer Programming\u00a020, 141\u2013171 (1993)","journal-title":"Science of Computer Programming"},{"key":"1_CR17","volume-title":"Proceedings 24th IEEE Real-Time Systems Symposium","author":"A. Colin","year":"2003","unstructured":"Colin, A., Petters, S.M.: Experimental evaluation of code properties for WCET analysis. In: Proceedings 24th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Colin, A., Petters, S.M.: Experimental evaluation of code properties for WCET analysis. In: Proceedings of the 24rd Real-Time Systems Symposium, pp. 190\u2013199 (2003)","DOI":"10.1109\/REAL.2003.1253266"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Conn, A.P.: Time affordances: the time factor in diagnostic usability heuristics. In: Proceedings of the SIGCHI conference on Human factors in computing systems, pp. 186\u2013193 (1995)","DOI":"10.1145\/223904.223928"},{"key":"1_CR20","first-page":"33","volume-title":"Proceedings of the International Workshop on Real Time Ada Issues, ACM Ada Letters","author":"D. Cornhill","year":"1987","unstructured":"Cornhill, D., Sha, L., Lehoczky, J.P., Rajkumar, R., Tokuda, H.: Limitations of Ada for real-time scheduling. In: Proceedings of the International Workshop on Real Time Ada Issues, ACM Ada Letters, pp. 33\u201339. ACM Press, New York (1987)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Corsetti, E., Montanari, A., Ratto, E.: Dealing with different time granularities in formal specifications of real-time systems. Journal of Real-Time Systems\u00a03(2) (1991)","DOI":"10.1007\/BF00365335"},{"key":"1_CR22","first-page":"389","volume-title":"IEEE Real-Time Systems Symposium","author":"R. Davis","year":"2005","unstructured":"Davis, R., Burns, A.: Hierarchical fixed priority preemptive scheduling. In: IEEE Real-Time Systems Symposium, pp. 389\u2013398. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/REAL.1995.495200","volume-title":"Proceedings 16th IEEE Real-Time Systems Symposium","author":"R.I. Davis","year":"1995","unstructured":"Davis, R.I., Wellings, A.J.: Dual priority scheduling. In: Proceedings 16th IEEE Real-Time Systems Symposium, pp. 100\u2013109. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"1_CR24","volume-title":"Proceedings 22nd IEEE Real-Time Systems Symposium","author":"S. Edgar","year":"2001","unstructured":"Edgar, S., Burns, A.: Statistical analysis of WCET for scheduling. In: Proceedings 22nd IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"2","key":"1_CR25","first-page":"104","volume":"146","author":"C.J. Fidge","year":"1999","unstructured":"Fidge, C.J., Hayes, I.J., Watson, G.: The deadline command. IEEE Software \u2014 Special Issue on Real-Time Systems\u00a0146(2), 104\u2013111 (1999)","journal-title":"IEEE Software \u2014 Special Issue on Real-Time Systems"},{"key":"1_CR26","unstructured":"Finnie, G.: SPARK - the SPADE Ada kernel, Ed 3.3. Technical report, Praxis Plc (1997)"},{"key":"1_CR27","unstructured":"Fraisse, P.: The psychology of time. Harper and Row, New York (1963)"},{"key":"1_CR28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1050.001.0001","volume-title":"About time: Inventing the fourth dimension","author":"W. Friedman","year":"1990","unstructured":"Friedman, W.: About time: Inventing the fourth dimension. MIT Press, Cambridge, MA (1990)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Ghosal, A., Henzinger, T.A., Iercan, D., Kirsch, C.M., Sangiovanni-Vincentelli, A.: A hierarchical coordination language for interacting real-time tasks. In: EMSOFT. Proceedings of the 6th International Embedded Software Conference (2006)","DOI":"10.1145\/1176887.1176907"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Healy, C.A., Whalley, D.B.: Integrating the timing analysis of pipelining and instruction caching. In: Proceedings Real Time Systems Symposium, pp. 288\u2013297 (1995)","DOI":"10.1109\/REAL.1995.495218"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Heckmann, R., Langenbach, M., Thesing, S., Wilhelm, R.: IEEE Proceedings on Real-Time Systems, vol.\u00a091, pp. 1038\u20131054 (2003)","DOI":"10.1109\/JPROC.2003.814618"},{"key":"1_CR32","volume-title":"Human Reliability Analysis: Context and Control","author":"E. Hollnagel","year":"1993","unstructured":"Hollnagel, E.: Human Reliability Analysis: Context and Control. Academic Press, London (1993)"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Hutchesson, S.G., Hayes, N.: Technology transfer and certification issues in safety critical real-time systems. In: Digest of the IEE Colloquium on Real-Time Systems, vol.\u00a098\/306 (April 1998)","DOI":"10.1049\/ic:19980523"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0024634","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"C.B. Jones","year":"1993","unstructured":"Jones, C.B.: Reasoning about interference in an object-based design method. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 1\u201318. Springer, Heidelberg (1993)"},{"issue":"5","key":"1_CR35","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_CR36","first-page":"174","volume-title":"Proceedings of the 4th International Conference on Software Engineering","author":"H. Lauer","year":"1979","unstructured":"Lauer, H., Satterwaite, E.: The impact of Mesa on system design. In: Proceedings of the 4th International Conference on Software Engineering, pp. 174\u2013182. IEEE, Los Alamitos (1979)"},{"key":"1_CR37","first-page":"261","volume-title":"Proceedings 8th IEEE Real-Time Systems Symposium","author":"J.P. Lehoczky","year":"1987","unstructured":"Lehoczky, J.P., Sha, L., Strosnider, J.K.: Enhanced aperiodic responsiveness in a hard real-time environment. In: Proceedings 8th IEEE Real-Time Systems Symposium, pp. 261\u2013270. IEEE Computer Society Press, Los Alamitos (1987)"},{"issue":"4","key":"1_CR38","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_CR39","volume-title":"A geography of time","author":"R. Levine","year":"1997","unstructured":"Levine, R.: A geography of time. Guilford Press, New York (1997)"},{"issue":"1","key":"1_CR40","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_CR41","doi-asserted-by":"crossref","unstructured":"Liu, J.-C., Lee, H.-J.: Deterministic upperbounds of the worst-case execution times of caches programs. In: Proceedings Real Time Systems Symposium, pp. 182\u2013191 (1994)","DOI":"10.1109\/REAL.1994.342717"},{"key":"1_CR42","volume-title":"Real-Time Systems","author":"J.W.S. Liu","year":"2000","unstructured":"Liu, J.W.S.: Real-Time Systems. Prentice-Hall, Englewood Cliffs (2000)"},{"key":"1_CR43","volume-title":"Unified theories of cognition","author":"A. Newell","year":"1990","unstructured":"Newell, A.: Unified theories of cognition. Harvard University Press, Cambridge, MA (1990)"},{"issue":"3","key":"1_CR44","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/1080334.1080335","volume":"10","author":"J.M. Paul","year":"2005","unstructured":"Paul, J.M., Thomas, D.E., Cassidy, A.S.: High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors. ACM Transactions on Design Automation of Electronic Systems\u00a010(3), 431\u2013461 (2005)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"Puschner, P., Koza, C.: Calculating the maximum execution time of real-time programs. The Journal of Real-Time Systems\u00a01, 159\u2013176 (1989)","journal-title":"The Journal of Real-Time Systems"},{"issue":"1","key":"1_CR46","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1023\/A:1007905003094","volume":"13","author":"P.P. Puschner","year":"1997","unstructured":"Puschner, P.P., Schedl, A.V.: Computing maximum task execution times - a graph-based approach. Real-Time Systems\u00a013(1), 67\u201391 (1997)","journal-title":"Real-Time Systems"},{"key":"1_CR47","doi-asserted-by":"crossref","DOI":"10.5040\/9798400630002","volume-title":"The concept of time in psychology: A resource book and annotated bibliography","author":"J.E. Roeckelein","year":"2000","unstructured":"Roeckelein, J.E.: The concept of time in psychology: A resource book and annotated bibliography. Greenwood Press, CT (2000)"},{"issue":"9","key":"1_CR48","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 synchronisation. IEEE Transactions on Computers\u00a039(9), 1175\u20131185 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR49","unstructured":"Spuri, M.: Analysis of deadline scheduled real-time systems. Technical Report RR-2772, INRIA (1996)"},{"issue":"2","key":"1_CR50","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF01088593","volume":"6","author":"K. Tindell","year":"1994","unstructured":"Tindell, K., Burns, A., Wellings, A.J.: An extendible approach for analysing fixed priority hard real-time tasks. Real-Time Systems\u00a06(2), 133\u2013151 (1994)","journal-title":"Real-Time Systems"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Whysall, P.J.: Object Oriented Specification and Refinement. PhD thesis, Department of Computer Science, The University of York (1991)","DOI":"10.1007\/978-1-4471-3756-6_9"},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puant, I., Puschner, P., Staschulat, J., Stenstrom, P.: The worst case execution time problem - overview of methods and survey of tools. ACMTransactions on Embedded Systems (to appear)","DOI":"10.1145\/1347375.1347389"},{"issue":"4","key":"1_CR53","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF01088834","volume":"5","author":"N. Zhang","year":"1993","unstructured":"Zhang, N., Burns, A., Nicholson, M.: Pipelined processors and worst case execution time. Real-Time Systems\u00a05(4), 319\u2013343 (1993)","journal-title":"Real-Time Systems"}],"container-title":["Lecture Notes in Computer Science","Domain Modeling and the Duration Calculus"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74964-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:05:12Z","timestamp":1737396312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74964-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749639","9783540749646"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74964-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}