Model Driven Engineering for Safety Relevant Embedded Systems

Name: Model Driven Engineering for Safety Relevant Embedded Systems
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 9783836494151
Price: 1377 CZK
Availability: InStock

Model Based Code Generation for Automation Systems

Autor: Wolfgang Roessler

Jazyk:

Vazba: Brožovaná

Vydavatel: VDM Verlag Dr. Mueller E.K.

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

1 377 Kč

The increasing complexity of control systems in automation and the verification of compliance with s...

Informace o knize

Autor

Wolfgang Roessler

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2008

Stránek

124

EAN

9783836494151

ISBN

3836494159

Enbook ID

07066069

Vydavatel

VDM Verlag Dr. Mueller E.K.

Hmotnost

196

Rozměry

229 x 154 x 16

Kompletní popis

The increasing complexity of control systems in automation and the verification of compliance with safety standards, require system wide, device spanning modeling of functions. Such models can be expressed with the help of UML in the form of component and class diagrams as well as state charts. In this book an UML Profile is defined, which both restricts and extends UML to model function in the rolling stock domain appropriately. In addition, concepts to describe the quality of service aspects like time constraints and fault tolerance are added to the Profile (based on the UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, defined by the OMG). A generator is realized for the defined language, which is able to check UML models for conformance to the Profile and to map conforming models to the target language "Structured Text". Mechanisms which allow traceability of single code fragments into the model are used during the generation.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Model Driven Engineering for Safety Relevant Embedded Systems

Model Based Code Generation for Automation Systems

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také