Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich [German]

by Andreas Fleischmann

Doktorarbeit / Dissertation aus dem Jahr 2008 im Fachbereich Informatik - Angewandte Informatik, Note: Magna Cum Laude, Technische Universit t M nchen (Fakult t f r Informatik), Sprache: Deutsch, Abstract: Anforderungen sind ein zentrales Arbeitsprodukt im Entwicklungsprozess, mit dem Stakeholder mit sehr unterschiedlichen Bed rfnissen arbeiten m ssen. Hierbei kann man vereinfachend unterscheiden zwischen eher informell denkenden und arbeitenden Stakeholdern (beispielsweise Kunden, Marketing, Schulungspersonal), die Anforderungen meist nat rlichsprachig formulieren, weil dies die gemeinsame Sprache ist, die alle beteiligten Stakeholder gleicherma en souver n verstehen und benutzen k nnen, und eher formal geschulten und arbeitenden Stakeholdern, die Anforderungen gerne in einer formal modellierten Form bekommen w rden, die sich m glichst nahtlos in ihre Design- oder Testmodelle bertragen l sst. In der Praxis ist es schwer, eine Darstellungsform f r Anforderungen zu finden, die den Bed rfnissen beider Gruppen gleicherma en gerecht wird: Entweder werden Anforderungen informell notiert, sind dadurch inh rent missverst ndlich, eine systematische Qualit tssicherung ist schwierig und der bergang zum Design fehleranf llig; oder die Anforderungen werden formal notiert, wodurch eine Validierung durch viele Stakeholder unm glich wird. In dieser Arbeit wurde daher ein Ansatz zur Formalisierung von Anforderungen entwickelt, der sich dadurch auszeichnet, dass er einerseits informell formulierte Anforderungen schrittweise in eine formalere Form bringt (so dass Anforderungen pr ziser formuliert sind und Konsistenzsicherung und Vervollst ndigung leichter ausgef hrt werden k nnen) und andererseits die Verst ndlichkeit der Anforderungen erh lt (so dass die Anforderungen weiterhin von informell denkenden Stakeholder verstanden und validiert werden k nnen). Dazu wurde f r eine geeignete Teilmenge der Anforderungen f r in Fahrzeuge eingebettete Softwaresysteme (n mlich funktionale Nutz

• Format: Paperback
• Language: German
• ISBN: 3640174968
• ISBN13: 9783640174966
• Release Date: October 2008
• Publisher: Grin Verlag
• Length: 214 Pages
• Weight: 1.16 lbs.
• Dimensions: 0.5" x 8.3" x 11.7"