Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
Liveness and Fairness in Duration Calculus
CONCUR '94 Proceedings of the Concurrency Theory
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris)
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Formal methods in industry: achievements, problems, future
Proceedings of the 28th international conference on Software engineering
From Language to Time: A Temporal Expression Anchorer
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
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
AceRules: executing rules in controlled natural language
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Applying restricted english grammar on automotive requirements: does it work? a case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
rt-inconsistency: a new property for real-time requirements
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
Vacuous real-time requirements
RE '11 Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference
| Hi-index | 0.00 |
In this paper, we evaluate a tool chain to algorithmically analyze real-time requirements. According to this tool chain, one formalizes the requirements in a natural-language pattern system. The requirements can then be automatically compiled into formulas in a real-time logic. The formulas can be checked automatically for properties whose violation indicates an error in the requirements specification (the properties considered are: consistency, rt-consistency, vacuity). We report on a feasibility study in the context of several automotive projects at Bosch. The results of the study indicate that the effort for the formalization of real-time requirements is acceptable; the analysis algorithms are computationally feasible; the benefit (the detection of specification errors resp. the formal guarantee of their absence) seems significant.