Michael von WencksternVerification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ISBN: | 978-3-8440-7239-6 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Reihe: | Aachener Informatik-Berichte, Software Engineering Herausgeber: Prof. Dr. rer. nat. Bernhard Rumpe Aachen | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Band: | 44 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Schlagwörter: | Model Based Systems Engineering; Component and Connector Models; Component and Connector Instance Structure; Logical Architecture Modeling Language; EmbeddedMontiArc; Extra-Functional Properties; Object Constraint Language; EmbeddedMontiView; Component an | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Publikationsart: | Dissertation | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sprache: | Englisch | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Seiten: | 470 Seiten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Abbildungen: | 245 Abbildungen | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Gewicht: | 701 g | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Format: | 24 x 17 cm | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Bindung: | Paperback | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Preis: | 39,80 € | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Erscheinungsdatum: | März 2020 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Kaufen: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Download: | Verfügbare Online-Dokumente zu diesem Titel: Sie benötigen den Adobe Reader, um diese Dateien ansehen zu können. Hier erhalten Sie eine kleine Hilfe und Informationen, zum Download der PDF-Dateien. Bitte beachten Sie, dass die Online-Dokumente nicht ausdruckbar und nicht editierbar sind.
Benutzereinstellungen für registrierte Online-Kunden Sie können hier Ihre Adressdaten ändern sowie bereits georderte Dokumente erneut aufrufen.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Weiterempfehlung: | Sie möchten diesen Titel weiterempfehlen? | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Rezensionsexemplar: | Hier können Sie ein Rezensionsexemplar bestellen. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Verlinken: | Sie möchten diese Seite verlinken? Hier klicken. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Export Zitat: |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Zusammenfassung: | The industry area of embedded and cyber-physical systems is one of the largest; examples are: automotive, avionics, robotics, railway, and production industry.
Model-based engineering, esp. component and connector (C&C) models to describe logical architectures, is a common approach to handle the large complexity of embedded systems. Components encapsulate software features; hierarchical decomposition of components enables formulating logical architectures in a top-down approach. Connectors in C&C models describe the information exchange via typed ports. Current development of complex C&C-based embedded systems in industry mostly involves the following steps: (1) formulating functional and extra-functional requirements as text; (2) creating SysML design models of the architecture; (3) developing complete logical model in Simulink; and (4) system implementation in C/C++ satisfying all extra-functional properties. This current development process has the following disadvantages: (a) SysML models are not formalized; (b) check between informal SysML architecture design against the Simulink model is done manually, and thus, error-prone and time-consuming; (c) refactoring of Simulink models needs manual effort in updating the design model; and (d) in most tools extra-functional properties are modeled as comments, and thus, consistencies between them are checked manually. This thesis aims to improve the software development process of large and complex C&C models for embedded systems by providing model-based methodologies to develop, understand, validate and maintain these C&C models. Prototype implementations and an industrial case study show promising results in improving the model-based development process of embedded systems in industry. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
» Weitere Titel von Michael von Wenckstern. |