By Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

This ebook presents a complete advent into the SPES XT modeling framework. in addition, it indicates the applicability of the framework for the advance of embedded platforms in several domain names and reviews at the classes realized. It additionally describes how the SPES XT modeling framework may be adapted to satisfy area and project-specific needs.

The ebook is based into 4 components:

Part I “Starting state of affairs” discusses the established order of the advance of embedded platforms with particular specialise in model-based engineering and summarizes key demanding situations rising from business practice.

Part II “Modeling concept” introduces the SPES XT modeling framework and explains the middle underlying rules.

Part III “Application of the SPES XT Framework” describes the appliance of the SPES XT modeling framework and the way it addresses significant commercial demanding situations.

Part IV “Evaluation and expertise move” investigate the impression of the SPES XT modeling framework and contains a variety of exemplary purposes from automation, automobile, and avionics.

total, the SPES XT modeling framework deals a unbroken model-based engineering strategy. It addresses center demanding situations confronted in the course of the engineering of embedded structures. between others, it deals aligned and built-in ideas for the early validation of engineering artefacts (including requisites and sensible and technical designs), the administration of product variations and their variability, modular safeguard coverage and deployment of embedded software.

Show description

Read Online or Download Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology PDF

Similar microprocessors & system design books

Everything You Can Do With Your Commodore 64

Publication by way of Peddicord, Richard G.

Robust Speech Recognition in Embedded Systems and PC Applications

Strong Speech reputation in Embedded structures and workstation purposes presents a hyperlink among the know-how and the appliance worlds. As speech popularity know-how is now more than enough for a couple of functions and the center expertise is easily confirmed round hidden Markov versions some of the changes among structures present in the sphere are concerning implementation versions.

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

Verification of real-time requisites in systems-on-chip turns into extra complicated as extra functions are built-in. Predictable and composable platforms can deal with the expanding complexity utilizing formal verification and simulation. This publication explains the techniques of predictability and composability and exhibits how you can observe them to the layout and research of a reminiscence controller, that is a key part in any real-time procedure.

Additional resources for Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Sample text

G. Safety Subsystem Sub-Subsystem Technical Logical Functional Viewpoints Requirements Perspectives Granularity Layers Marian Daun Bastian Tenbergen Jennifer Brings Thorsten Weyer ‰ ‰ ‰ Ó Springer International Publishing AG 2016 K. Pohl et al.

G. Safety Subsystem Sub-Subsystem Technical Logical Functional Viewpoints Requirements Perspectives Granularity Layers Marian Daun Bastian Tenbergen Jennifer Brings Thorsten Weyer ‰ ‰ ‰ Ó Springer International Publishing AG 2016 K. Pohl et al.

G. Safety Subsystem Sub-Subsystem Technical Logical Functional Viewpoints Requirements Perspectives Granularity Layers Marian Daun Bastian Tenbergen Jennifer Brings Thorsten Weyer ‰ ‰ ‰ Ó Springer International Publishing AG 2016 K. Pohl et al.

Download PDF sample

Rated 4.15 of 5 – based on 22 votes