Stock Image

Effective Correctness Criteria for Real-time Requirements

Amalinda Christina Post

Published by Shaker Verlag Apr 2012, 2012
ISBN 10: 3844009108 / ISBN 13: 9783844009101
New / Buch / Quantity Available: 2
From Agrios-Buch (Bergisch Gladbach, Germany)
Available From More Booksellers
View all  copies of this book
Add to basket
Price: £ 41.54
Convert Currency
Shipping: £ 8.71
From Germany to United Kingdom
Destination, Rates & Speeds

Save for Later

About the Book

Bibliographic Details

Title: Effective Correctness Criteria for Real-time...

Publisher: Shaker Verlag Apr 2012

Publication Date: 2012

Binding: Buch

Book Condition: Neu


Neuware - In this thesis, we develop a method to automatically analyze automotive real-time requirements for errors. In practice, automotive requirements are mostly analyzed via manual reviews and inspections. However, manual reviews generate high effort, the results are subjective, and although a review can find errors it can never prove their absence. An automatic analysis reduces the effort spent on reviews and assures the quality of the requirements according to objective measures. To allow an automatic analysis, requirements have to be formalized first-however, formal languages are seldom accessible to stakeholders. To avoid that problem we use an input-language that mimics the syntax of natural language, but has still the mathematical rigor to be interpretable by a tool. We developed three meta-properties of requirements, namely consistency, non-vacuity and rt-consistency, and developed algorithms to check these properties. We evaluated the method in a case study on 16 sets of requirements for components taken from automotive projects at BOSCH. The results indicate that the effort for the formalization is acceptable, that the algorithms are feasible in principle, and that the benefit is high. Even though the requirements had passed a thorough review, our method detected errors in 8 of 16 sets of requirements. For 6 components the method could prove consistency, rt-consistency and non-vacuity. 126 pp. Englisch. Bookseller Inventory # 9783844009101

Bookseller & Payment Information

Payment Methods

This bookseller accepts the following methods of payment:

  • American Express
  • Bank/Wire Transfer
  • Check
  • Invoice
  • MasterCard
  • PayPal
  • Visa

[Search this Seller's Books]

[List this Seller's Books]

[Ask Bookseller a Question]

Bookseller: Agrios-Buch
Address: Bergisch Gladbach, Germany

AbeBooks Bookseller Since: 11 January 2012
Bookseller Rating: 5-star rating

Terms of Sale:

Allgemeine Geschäftsbedingungen (

der Firma Agrios Buch- und Medienversand UG e.K. ,Geschäftsführer Ludwig Meier, De-Gasperi-Str. 8, 51469 Bergisch Gladbach nachstehend als Verkäufer bezeichnet.

§ 1 Allgemeines, Begriffsbestimmungen

(1) Der Verkäufer bietet unter dem Nutzernamen Agrios Buch unter der Plattform insbesondere Bücher an. Die folgenden Allgemeinen Geschäftsbedingungen (AGB) gelten für die Geschäftsbeziehung zwischen dem Verkäufer und dem Kunden in ihrer zum Ze...

[More Information]

Shipping Terms:

Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach Österreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!

Detailed Seller Information