Zeitschriftenartikel
Erstellung vollständiger Systemspezifikationen im Embedded Computing
Lade...
Volltext URI
Dokumententyp
Text/Journal Article
Dateien
Zusatzinformation
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Geselllschaft für Informatik e.V.
Zusammenfassung
Im Bereich der Entwicklung eingebetteter Systeme sind formale und semiformale Ansätze zur Spezifikation seit langem gang und gäbe. Mit Blick auf die Produktion elektronischer Steuergeräte im Automobilbereich wird ein praktikables Verfahren vorgestellt, welches die Prozesse des Lieferanten (hier konkret der Automobilzulieferer) solcher Systeme möglichst gut unterstützt. Besonderen Wert wurde dabei auf die methodische Unterstützung der konkreten Tätigkeit des Spezifizierens gelegt. Ergänzende Hinweise betreffen die Realisierung eines entsprechenden Workflows mithilfe gängiger Tools.