rt-inconsistency: a new property for real-time requirements

Authors:
Amalinda Post;Jochen Hoenicke;Andreas Podelski
Affiliations:
Robert Bosch GmbH, Stuttgart, Germany;University of Freiburg, Germany;University of Freiburg, Germany
Venue:
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Year:
2011

Citing 9
Cited 1

Completeness and consistency analysis of state-based requirements

Proceedings of the 17th international conference on Software engineering
Automated consistency checking of requirements specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
An Old-Fashioned Recipe for Real Time

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project

ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris)

Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris)
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems

TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Model checking Duration Calculus: a practical approach

Formal Aspects of Computing
A systematic literature review to identify and classify software requirement errors

Information and Software Technology
Combining symbolic representations for solving timed games

FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems

Formalization and analysis of real-time requirements: a feasibility study at BOSCH

VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce rt-inconsistency, a property of real-time requirements. The property reflects that the requirements specify apparently inconsistent timing constraints. We present an algorithm to check rt-inconsistency automatically. The algorithm works via a stepwise reduction to real-time model checking. We implement the algorithm using an existing module for the reduction and the UPPAAL tool for the realtime model checking. As a case study, we apply our prototype implementation to existing real-time requirements for automotive projects at BOSCH. The case study demonstrates the relevance of rt-inconsistency for detecting errors in industrial real-time requirements specifications.