Catalogus : Details

Amalinda Christina Post

Effective Correctness Criteria for Real-time Requirements

ISBN:

978-3-8440-0910-1

Reeks:

Informatik

Trefwoorden:

requirements; real-time systems; automotive; automatic requirements analysis

Soort publicatie:

Dissertatie

Taal:

Engels

Pagina's:

126 pagina's

Gewicht:

186 g

Formaat:

21 x 14,8 cm

Prijs:

45,80 € / 91,60 SFr

Verschijningsdatum:

April 2012

Kopen:

Download:

Beschikbare online documenten voor deze titel:

U heeft Adobe Reader, nodig, om deze bestanden te kunnen bekijken. Hier vindt u ondersteuning en informatie, bij het downloaden van PDF-bestanden.

Let u er a.u.b. op dat de online-bestanden niet drukbaar zijn.


	Document		Samenvatting
	Soort bestand		PDF
	Kosten		gratis
	Acties		Het bestand tonen - 49 kB (49927 Byte)
	Acties		downloaden van het bestand - 49 kB (49927 Byte)


	Document		Document
	Soort bestand		PDF
	Kosten		11,45 EUR
	Acties		Tonen en kopen van het bestand - 865 kB (885317 Byte)
	Acties		Kopen en downloaden van het bestand - 865 kB (885317 Byte)


	Document		Inhoudsopgave
	Soort bestand		PDF
	Kosten		gratis
	Acties		Het bestand tonen - 103 kB (105103 Byte)
	Acties		downloaden van het bestand - 103 kB (105103 Byte)

Gebruikersinstellingen voor geregistreerde online-bezoekers

Hier kunt u uw adresgegevens aanpassen en uw documenten inzien.

Gebruiker:	niet aangemeld
Acties:	aanmelden/registreren Paswoord vergeten?

Aanbevelen:

Wilt u dit boek aanbevelen?

Recensie-exemplaar

Bestelling van een recensie-exemplaar.

Verlinking

Wilt u een link hebben van uw publicatie met onze online catalogus? Klik hier.

Samenvatting

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.