Towards a general theory of action and time
Artificial Intelligence
Executing temporal logic programs
Executing temporal logic programs
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Unified theories of cognition
Specification case studies
A framework for building dependable systems
The Computer Journal - Special issue on methodologies (systems and software)
The Z notation: a reference manual
The Z notation: a reference manual
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Embedding time granularity in a logical specification language for synchronous real-time systems
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A Hardware Semantics Based on Temporal Intervals
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Towards a Time Model for Circus
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Reasoning about digital circuits
Reasoning about digital circuits
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
Representing and Reasoning about Temporal Granularities
Journal of Logic and Computation
Formal Aspects of Computing
Teleo-reactive programs for agent control
Journal of Artificial Intelligence Research
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Automatic translation from Circus to Java
FM'06 Proceedings of the 14th international conference on Formal Methods
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Rely/Guarantee reasoning for teleo-reactive programs over multiple time bands
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Deriving real-time action systems controllers from multiscale system specifications
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Towards an algebra for real-time programs
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Deriving real-time action systems in a sampling logic
Science of Computer Programming
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.00 |
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.