Publications
Details for HMSN10
| Title: Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie |
| Booktitle: Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium) |
| Written by: J. Meyer, J. Holtmann, W. Schäfer, U. Nickel: |
| in: 2010 |
| Volume: 160 Number: |
| on pages: |
| Chapter: |
| Editor: Gregor Engels; Markus Luckey; Alexander Pretschner; Ralf Reussner |
| Publisher: Bonner Köllen Verlag |
| Series: GI-Edition - Lecture Notes in Informatics (LNI) |
| Address: |
| Edition: |
| ISBN: 9783885792543 |
| how published: |
| Organization: |
| School: |
| Institution: |
| ISSN: 16175468 |
| Doi: |
| File: HMSN10.pdf |
| URL: |
Note:
Abstract: Heutige Transportsysteme, wie z.B. Automobile sind gekennzeichnet durch eine Vielzahl von Funktionalität, die sehr häufig durch Software realisiert wird. Hiermit ist eine Zunahme der Komplexität festzustellen. Zur Beherrschung dieser Komplexität und damit einhergehend die Aufteilung des Systems in verschiedene Komponenten, ist eine Gesamtmodellierung des Systems inklusive des Verhaltens unerlässlich. Ein besonderer Augenmerk liegt auf Grund der Echtzeitsysteme in dieser Domäne dabei auf der Modellierung von Zeiten auf Systemebene. Die derzeitigen Modellierungskonzepte, wie beispielsweise die Systems Modeling Language (SysML), sind dafür aber noch nicht ausreichend. In dem hier vorgestellten Ansatz wird eine erweiterte Systemmodellierung vorgestellt, die zusätzlich eine formale Spezifizierung von Zeiten erlaubt. Durch diese Modellierung sind weitere Analysemethoden, wie z.B. Simulationen oder Verifikationen möglich, die zum einen die sicherheitsrelevante Funktionalität sicherstellen und zum anderen die Qualität der Software steigern.
Eintrag als Bibtex exportieren