×

A timeband framework for modelling real-time systems. (English) Zbl 1197.68032

Summary: Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures. New scientific foundations are required for specifying, designing and implementing these systems. One key challenge is to cope with the wide range of time scales and dynamics inherent in such systems. To exploit the unique properties of time, with the aim of producing more dependable computer-based systems, it is desirable to explicitly identify distinct time bands in which the system is situated. Such a framework enables the temporal properties and associated dynamic behaviour of existing systems to be described and the requirements for new or modified systems to be specified. A system model based on a finite set of distinct time bands is motivated and developed in this paper.

MSC:

68M99 Computer system organization

Software:

ProofPower; Z; Circus
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Allen J (1984) Towards a general theory of actions and time. Artif Intell 23:123–154 · Zbl 0567.68025 · doi:10.1016/0004-3702(84)90008-0
[2] Baxter G, Burns A, Tan K (2007) Evaluating timebands as a tool for structuring the design of socio-technical systems. In: Bust P (ed) Contemporary ergonomics 2007. Taylor & Francis, London, pp 55–60
[3] Bergadaà M (2007) Temporal frameworks and individual cultural activities: four typical profiles. Time Soc 16(2/3):387–408 · doi:10.1177/0961463X07080274
[4] Bettini C, Dyreson CE, Evans WS, Snodgrass RT, Wang XS (1997) A glossary of time granularity concepts. In: Temporal databases, Dagstuhl, pp 406–413
[5] Blount S, Walker MJ, Leroy S (2007) Coping with temporal uncertainty: when rigid ambitious deadlines don’t make sense. In: Organization at the limit. Springer, Berlin, pp 122–134
[6] Broy M (2008) Relating time and causality in interactive distributed systems. IOS Press, Amsterdam, pp 75–130
[7] Burns A, Baxter GD (2006) Time bands in systems structure. In: Structure for dependability. Springer, Berlin, pp 74–90
[8] Burns A, Lister AM (1991) A framework for building dependable systems. Comput J 34(2):173–181 · doi:10.1093/comjnl/34.2.173
[9] Burns A, Hayes IJ, Baxter G, Fidge CJ (2005) Modelling temporal behaviour in complex socio-technical systems. Computer Science Technical Report YCS 390, University of York
[10] Cavalcanti A, Sampaio A, Woodcock J (2003) A refinement strategy for circus. Form Asp Comput 15(2–3):146–181 · Zbl 1093.68555 · doi:10.1007/s00165-003-0006-5
[11] Chaochen Z, Hansen MR (1996) Chopping a point. In: BCS-FACS 7th refinement workshop. Electronic workshops in computing. Springer, Berlin
[12] Chaochen Z, Hoare CAR, Ravn AP (1991) A calculus of duration. Inf Process Lett 40:269–276 · Zbl 0743.68097 · doi:10.1016/0020-0190(91)90122-X
[13] Ciapessoni E, Corsetti E, Montanari A, San Pietro P (1993a) Embedding time granularity in a logical specification language for synchronous real-time systems. Sci Comput Program 20:141–171 · Zbl 0781.68083 · doi:10.1016/0167-6423(93)90025-K
[14] Ciapessoni E, Corsetti E, Montanari A, San Pietro P (1993b) Embedding time granularity in a logical specification language for synchronous real-time systems. In: 6IWSSD: selected papers of the sixth international workshop on software specification and design. Elsevier, Amsterdam, pp 141–171 · Zbl 0781.68083
[15] Clifford J, Rao A (1987) A simple, general structure for temporal domains. In: Temporal aspects in information systems. AFCET, pp 23–30
[16] Combi C, Franceschet M, Peron A (2004) Representing and reasoning about temporal granularities. J Log Comput 14(1):51–77 · Zbl 1085.68087 · doi:10.1093/logcom/14.1.51
[17] Corsetti E, Montanari A, Ratto E (1991a) Dealing with different time granularities in formal specifications of real-time systems. J Real-Time Syst 3(2):191–215 · doi:10.1007/BF00365335
[18] Corsetti E, Montanari A, Ratto E (1991b) Time granularity in logical specifications. In: Proceedings of the 6th Italian conference on logic programming, Pisa, Italy
[19] Fraisse P (1963) The psychology of time. Harper and Row, New York
[20] Franceschet M, Montanari A (2004) Temporalized logics and automata for time granularity. Theory Pract Log Program 4(5–6):621–658 · Zbl 1088.68105 · doi:10.1017/S147106840400208X
[21] Freitas A, Cavalcanti A (2006) Automatic translation from circus to java. In: Misra J, Nipkow T, Sekerinski E (eds) FM. Lecture notes in computer science, vol 4085. Springer, Berlin, pp 115–130
[22] Friedman W (1990) About time: inventing the fourth dimension. MIT Press, Cambridge
[23] Furia CA, Mandrioli D, Morzenti A, Rossi M (2010) Modeling time in computing: a taxonomy and a comparative survey. ACM Comput Surv 42(6):1–59 · doi:10.1145/1667062.1667063
[24] Halpern JY, Manna Z, Moszkowski BC (1983) A hardware semantics based on temporal intervals. In: Díaz J (ed) ICALP. Lecture notes in computer science, vol 154. Springer, Berlin, pp 278–291 · Zbl 0534.68025
[25] Hayes IJ (ed) (1987) Specification case studies. Prentice-Hall, New York
[26] Hobbs J (1985) Granularity. In: Proceedings of the ninth international joint conference on artificial intelligence, Los Angeles, California, pp 432–435
[27] Hollnagel E (1993) Human reliability analysis: context and control. Academic Press, New York
[28] Hughes GE, Cresswell MJ (1968) An introduction to modal logic. University Paperbacks, Routledge · Zbl 0205.00503
[29] Hutchesson SG, Hayes N (1998) Technology transfer and certification issues in safety critical real-time systems. In: Digest of the IEE colloquium on real-time systems, vol 98/306, April 1998
[30] Jahanian F, Mok AK (1986) Safety analysis of timing properties in real-time systems. Trans Softw Eng SE-12(9)
[31] Jones CB, Hayes IJ, Jackson MA (2007) Deriving specifications for systems that are connected to the physical world. In: Cliff JB, Liu Z, Woodcock J (eds) Formal methods and hybrid real-time systems. Lecture notes in computer science, vol 4700. Springer, Berlin, pp 364–390
[32] Joseph M (ed) (1996) Real-time systems: specification, verification and analysis. Prentice-Hall, New York · Zbl 0909.68001
[33] Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558–565 · Zbl 0378.68027 · doi:10.1145/359545.359563
[34] Levine R (1997) A geography of time. Guilford Press, New York
[35] Mahony B, Hayes IJ (1992) A case_study in timed refinement: a mine pump. IEEE Trans Softw Eng SE-18(9):817–826 · Zbl 05114394 · doi:10.1109/32.159841
[36] Montanari A, Ratto E, Corsetti E, Morzenti A (1991) Embedding time granularity in logical specifications of real-time systems. In: Proceedings of the third euromicro workshop on real-time systems, Paris, France
[37] Moszkowski B (1983) Reasoning about digital circuits. PhD thesis, Department of Computer Science, Stanford University (Available as technical report STAN-CS-83-970)
[38] Moszkowski B (1986) Executing temporal logic programs. Cambridge University Press, Cambridge · Zbl 0565.68003
[39] Newell A (1990) Unified theories of cognition. Harvard University Press, Cambridge
[40] Nilsson NJ (1994) Teleo-reactive programs for agent control. J Artif Intell Res 1:139–158
[41] Nilsson NJ (2001) Teleo-reactive programs and the triple-tower architecture. Electron Trans Artif Intell 5:99–110
[42] Oliveira M, Cavalcanti A, Woodcock J (2009) A UTP semantics for ircus. Form Asp Comput 21(1–2):3–32 · Zbl 1165.68048 · doi:10.1007/s00165-007-0052-5
[43] Oliveira MVM, Cavalcanti A, Woodcock J (2007) Unifying theories in ProofPowerZ. Form Asp Comput. doi: 10.1007/s00165-007-0044-5
[44] Roeckelein JE (2000) The concept of time in psychology: a resource book and annotated bibliography. Greenwood Press, Westport
[45] Schneider W (1985) Training high-performance skills: fallacies and guidelines. Hum Factors 27(3):285–300
[46] Sherif A, He J (2002) Towards a time model for circus. In: George C, Miao H (eds) ICFEM. Lecture notes in computer science, vol 2495. Springer, Berlin, pp 613–624 · Zbl 1015.68815
[47] Simon HA (1996) The science of the artificial, 3rd edn. MIT Press, Cambridge
[48] Spivey JM (1992) The Z notation: a reference manual, 2nd edn. Prentice Hall International, Englewood Cliffs
[49] Welch PH (2000) Process oriented design for Java: concurrency for all. In: Arabnia HR (ed) PDPTA. CSREA Press, Las Vegas
[50] White R (2010) Capturing the temporal properties of complex systems: an evaluation of the timebands approach. PhD thesis, University of York, Computer Science, York, UK
[51] Woodcock J, Cavalcanti A (2002) The semantics of circus. In: Bert D, Bowen JP, Henson MC, Robinson K (eds) ZB. Lecture notes in computer science, vol 2272. Springer, Berlin, pp 184–203 · Zbl 1044.68560
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.