NDLI: Real-time interval logic for reasoning about executions of real-time programs

Please wait, while we are loading the content...

Validating programs without specifications

Real-time interval logic for reasoning about executions of real-time programs

Verified compilation in micro-Gypsy

Theoretical comparison of testing methods

Some observations on partition testing

Reducing the effects of infeasible paths in branch testing

PMothra: scheduling mutants for execution on a hypercube

Cesar: a static sequencing constraint analyzer

Automating software analysis and testing using a program transformation system

Approaches to specification-based testing

Module test case generation

A practical approach to semantic configuration management

The logic of propagation in the inscape environment

Experiments in automated analysis of concurrent software systems

The coupling effect: fact or fiction

Experimental comparison of three system test strategies preliminary report

Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems

Interprocedual data flow testing

The implications of program dependencies for software testing, debugging, and maintenance

Estimating the number of test cases required to satisfy the all-du-paths testing criterion

Testing the correctness of tasking supervisors with TSL specifications

Integrated concurrency analysis in a software development enviornment

Automatic generation of test scripts from formal test specifications

Integrating testing techniques through process programming

Real-time interval logic for reasoning about executions of real-time programs

Content Provider	ACM Digital Library
Author	Gorlick, M. Razouk, R.
Abstract	Research on the testing and debugging of distributed real-time programs now focuses on more formal approaches to specification and testing. Temporal logic is a natural candidate for this since it can specify properties of event and state sequences. However, the absence of any concept of real-time limits the application of temporal logic to non real-time behavior. This paper presents an extension of the interval logic of Schwartz et al. [SMSVP83], by increasing the expressive power of the logic (with respect to real time) while retaining its intuitive appeal and understandability. The extensions are added in a “layer” that can be stripped away if formal verification is the goal, or retained if timing behavior must be tested. The extensions include: the ability to deal with real time (as in [JM86b, JM86a, OW87, NA88]); more powerful interval specification mechanisms; a limited form of quantification; and the direct expression of event predicates (as in [LeD86]). Since our work is intended to yield practical tools for software testers, we emphasize the ease of expressing the complex timing properties of real-time software (e.g. periodic behavior, performance constraints), and we demonstrate the use of the interval logic on some real-time examples that represent a test of the expressiveness and understandability of the notation.
Starting Page	10
Ending Page	19
Page Count	10
File Format	PDF
ISBN	0897913426
DOI	10.1145/75308.75311
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1989-11-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Real-time interval logic for reasoning about executions of real-time programs

The temporal logic of programs

Towards reasoning about teleo-reactive programs for robust real-time systems

A temporal logic for reasoning about timed concurrent constraint programs

Reasoning about agent deliberation

Reasoning about goal-directed real-time teleo-reactive programs

Reasoning About Real-Time Teleo-Reactive Programs (2010)

Towards Reasoning About Teleo-reactive Programs for Robust Real-time Systems (2008)

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Real-time interval logic for reasoning about executions of real-time programs

Similar Documents

Real-time interval logic for reasoning about executions of real-time programs

The temporal logic of programs

Towards reasoning about teleo-reactive programs for robust real-time systems

A temporal logic for reasoning about timed concurrent constraint programs

Reasoning about agent deliberation

Reasoning about goal-directed real-time teleo-reactive programs

Reasoning About Real-Time Teleo-Reactive Programs (2010)

Towards Reasoning About Teleo-reactive Programs for Robust Real-time Systems (2008)

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Real-time interval logic for reasoning about executions of real-time programs