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

ISBN-13: 9783640174966 / Niemiecki / Miękka / 2008 / 214 str.

Andreas Fleischmann

Opis

Doktorarbeit / Dissertation aus dem Jahr 2008 im Fachbereich Informatik - Angewandte Informatik, Note: Magna Cum Laude, Technische Universitat Munchen (Fakultat fur Informatik), 103 Quellen im Literaturverzeichnis, Sprache: Deutsch, Anmerkungen: Dissertation am Lehrstuhl fur Software and Systems Engineering der Technischen Universitat Munchen, Abstract: Anforderungen sind ein zentrales Arbeitsprodukt im Entwicklungsprozess, mit dem Stakeholder mit sehr unterschiedlichen Bedurfnissen arbeiten mussen. Hierbei kann man vereinfachend unterscheiden zwischen eher informell denkenden und arbeitenden Stakeholdern (beispielsweise Kunden, Marketing, Schulungspersonal), die Anforderungen meist naturlichsprachig formulieren, weil dies die gemeinsame Sprache ist, die alle beteiligten Stakeholder gleichermaen souveran verstehen und benutzen konnen, und eher formal geschulten und arbeitenden Stakeholdern, die Anforderungen gerne in einer formal modellierten Form bekommen wurden, die sich moglichst nahtlos in ihre Design- oder Testmodelle ubertragen lasst. In der Praxis ist es schwer, eine Darstellungsform fur Anforderungen zu finden, die den Bedurfnissen beider Gruppen gleichermaen gerecht wird: Entweder werden Anforderungen informell notiert, sind dadurch inharent missverstandlich, eine systematische Qualitatssicherung ist schwierig und der Ubergang zum Design fehleranfallig; oder die Anforderungen werden formal notiert, wodurch eine Validierung durch viele Stakeholder unmoglich 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 praziser formuliert sind und Konsistenzsicherung und Vervollstandigung leichter ausgefuhrt werden konnen) und andererseits die Verstandlichkeit der Anforderungen erhalt (so dass die Anforderungen weiterhin von informell denkenden Stakeholder verstanden und vali