Advanced Model-Based Engineering of Embedded Systems: - download pdf or read online

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

ISBN-10: 3319480022

ISBN-13: 9783319480022

ISBN-10: 3319480030

ISBN-13: 9783319480039

This publication presents a accomplished advent into the SPES XT modeling framework. furthermore, it exhibits the applicability of the framework for the improvement of embedded platforms in several domain names and studies at the classes realized. It additionally describes how the SPES XT modeling framework could be adapted to satisfy area and project-specific needs.

The e-book is based into 4 elements:

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

Part II “Modeling idea” introduces the SPES XT modeling framework and explains the center underlying ideas.

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” check the effect of the SPES XT modeling framework and comprises quite a few exemplary functions from automation, automobile, and avionics.

total, the SPES XT modeling framework bargains a unbroken model-based engineering process. It addresses middle demanding situations confronted through the engineering of embedded platforms. between others, it deals aligned and built-in strategies for the early validation of engineering artefacts (including specifications and sensible and technical designs), the administration of product versions and their variability, modular defense 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

Best microprocessors & system design books

Get Principles of the Spin Model Checker PDF

Ideas of Spin is an introductory ebook, the one requirement is a historical past in programming. Spin versions are written within the Promela language that is simply discovered through scholars and programmers. Spin is simple to put in and use. The Spin version checker is not just a standard expert software however it is usually an exceptional software for educating vital recommendations of computing device technological know-how reminiscent of verification, concurrency and nondeterminism.

Wolfgang Ecker, Wolfgang Müller, Rainer Dömer's Hardware-dependent Software: Principles and Practice PDF

Regardless of its value, the function of HdS is quite often underestimated and the subject isn't good represented in literature and schooling. to handle this, Hardware-dependent software program brings jointly specialists from assorted HdS parts. by means of offering a finished assessment of basic HdS ideas, instruments, and purposes, this e-book presents enough perception into the present know-how and upcoming advancements within the area of HdS.

New PDF release: Logic and Language Models for Computer Science

This article makes in-depth explorations of a huge variety of theoretical issues in computing device technological know-how. It plunges into the purposes of the summary ideas on the way to confront and handle the skepticism of readers, and instill in them an appreciation for the usefulness of conception. A two-part presentation integrates common sense and formal language—both with functions.

Download e-book for iPad: Smart Systems Integration and Simulation by Nicola Bombieri, Massimo Poncino, Graziano Pravadelli

This book-presents new tools and instruments for the combination and simulation of shrewdpermanent units. The layout strategy defined during this e-book explicitly debts for integration of clever structures elements and subsystems as a selected constraint. It comprises methodologies and EDA instruments to allow multi-disciplinary and multi-scale modeling and layout, simulation of multi-domain platforms, subsystems and elements in any respect degrees of abstraction, process integration and exploration for optimization of useful and non-functional metrics.

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

Sample text

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

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger


by Steven
4.3

Rated 4.49 of 5 – based on 19 votes