Run-time analysis of time-critical systems

Authors:
Shikun Zhou;Hussein Zedan;Antonio Cau
Affiliations:
Electronic & Computer Engineering Department, Faculty of Technology, University of Portsmouth, Anglesea Road, Portsmouth P01 3DJ, United Kingdom;Software Technology Research Laboratory, School of Computing, Faculty of Computing Sciences & Engineering, De Montfort University, The Gateway House, The Gateway, Leicester LE1 9BH, United Kingdom;Software Technology Research Laboratory, School of Computing, Faculty of Computing Sciences & Engineering, De Montfort University, The Gateway House, The Gateway, Leicester LE1 9BH, United Kingdom
Venue:
Journal of Systems Architecture: the EUROMICRO Journal
Year:
2005

Citing 17
Cited 0

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
Please: a language combining imperative and logic programming

ACM SIGPLAN Notices
Design and validation of computer protocols

Design and validation of computer protocols
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Practical programming in Tcl and Tk (3rd ed.)

Practical programming in Tcl and Tk (3rd ed.)
An implementation of Anna

SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Exploring Expect

Exploring Expect
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX

Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hard Real-Time Systems

Hard Real-Time Systems
Automatic Symbolic Verification of Embedded Systems

IEEE Transactions on Software Engineering
The Temporal Rover and the ATG Rover

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Some Very Compositional Temporal Properties

PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Refining Interval Temporal Logic Specifications

ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
A Framework For Analysing The Effect Of "Change" In Legacy Code

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance

Quantified Score

Hi-index	0.00

Visualization

Abstract

AnaTempura is a tool based on Interval Temporal Logic (ITL). It is used to analyse time-critical systems at run-time. It validates code (implementation) against a formal specification. In this paper, we will describe a tool, AnaTempura and its supporting logic, ITL. A small but illustrative case study is presented.