Advanced Model-Based Engineering of Embedded Systems: by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald

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

This booklet presents a complete advent into the SPES XT modeling framework. additionally, it exhibits the applicability of the framework for the improvement of embedded structures in numerous domain names and experiences at the classes realized. It additionally describes how the SPES XT modeling framework may be adapted to satisfy area and project-specific needs.

The booklet is dependent into 4 elements:

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

Part II “Modeling conception” 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 business demanding situations.

Part IV “Evaluation and expertise move” determine the effect of the SPES XT modeling framework and contains numerous exemplary purposes from automation, car, and avionics.

total, the SPES XT modeling framework bargains a continuing model-based engineering technique. It addresses middle demanding situations confronted in the course of the engineering of embedded structures. between others, it bargains aligned and built-in recommendations for the early validation of engineering artefacts (including requisites and useful and technical designs), the administration of product variations and their variability, modular safeguard insurance and deployment of embedded software.

Show description

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

Similar microprocessors & system design books

Theory of Computation: An Introduction (Jones and Bartlett Books in Computer Science)

This article deals scholars a delicately constructed and entire advent to the formal good judgment utilized in common sense programming languages and computerized reasoning platforms. the writer contains many illustrative examples to support scholars grab innovations. huge workout units stick with each part to instantly toughen strategies because the scholar is brought to them.

Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems

Till the overdue Nineteen Eighties, details processing was once linked to huge mainframe desktops and large tape drives. throughout the Nineties, this development shifted towards details processing with own desktops, or desktops. the rage towards miniaturization maintains and sooner or later the vast majority of details processing structures could be small cellular desktops, a lot of to be able to be embedded into higher items and interfaced to the actual setting.

Pro Windows Embedded Compact 7: Producing Device Drivers

Home windows Embedded Compact 7 is the typical selection for constructing refined, small-footprint units for either shoppers and the company. For this most modern model, a few major improvements were made, so much particularly the facility to run multi-core processors and handle greater than the 512 MB of reminiscence constraint in past models.

Embedded Sensor Systems

This inspiring textbook offers a necessary creation to instant applied sciences for sensors, explores the aptitude use of sensors for varied purposes, and makes use of chance concept and mathematical tools as a method of embedding sensors in approach layout. The publication discusses the necessity for synchronization and underlying obstacles, the interrelation among given insurance and connectivity to the variety of sensors wanted, and using geometrical distance to figure out the site of the bottom station for info assortment, whereas additionally exploring using anchor nodes to figure out the relative positions of sensors.

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

Example 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.

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.26 of 5 – based on 43 votes