Paper Info
Title
Formalization and analysis of real-time requirements: a feasibility study at BOSCH
Abstract
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.
Year
DOI
Venue
2012
10.1007/978-3-642-27705-4_18
VSTTE
Keywords
Field
DocType
real-time requirement,formal guarantee,analysis algorithm,tool chain,requirements specification,automotive project,real-time logic,natural-language pattern system,specification errors resp,feasibility study
Computation tree logic,Programming language,Computer science,System requirements specification,Software requirements specification,Duration calculus,Automotive industry
Conference
Volume
ISSN
Citations 
7152
0302-9743
9
PageRank 
References 
Authors
0.55
16
2
Name
Order
Citations
PageRank
Amalinda Post1494.00
Jochen Hoenicke229220.43