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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Series: | Aachener Informatik-Berichte, Software Engineering Herausgeber: Prof. Dr. rer. nat. Bernhard Rumpe Aachen | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Volume: | 44 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Keywords: | 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Type of publication: | Thesis | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Language: | English | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Pages: | 470 pages | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Figures: | 245 figures | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Weight: | 701 g | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Format: | 24 x 17 cm | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Binding: | Paperback | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Price: | 39,80 € / 49,80 SFr | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Published: | March 2020 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Buy: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Download: | Available PDF-Files for this title: You need the Adobe Reader, to open the files. Here you get help and information, for the download. These files are not printable.
User settings for registered users You can change your address here or download your paid documents again.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Recommendation: | You want to recommend this title? | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Review copy: | Here you can order a review copy. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Link: | You want to link this page? Click here. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Export citations: |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Abstract: | 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. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
» more titles from Michael von Wenckstern |