menu
{ "item_title" : "Model Driven Engineering for Safety Relevant Embedded Systems", "item_author" : [" Wolfgang Roessler "], "item_description" : "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.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/83/649/415/3836494159_b.jpg", "price_data" : { "retail_price" : "63.72", "online_price" : "63.72", "our_price" : "63.72", "club_price" : "63.72", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Model Driven Engineering for Safety Relevant Embedded Systems|Wolfgang Roessler

Model Driven Engineering for Safety Relevant Embedded Systems

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

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.

This item is Non-Returnable

Details

  • ISBN-13: 9783836494151
  • ISBN-10: 3836494159
  • Publisher: VDM Verlag Dr. Mueller E.K.
  • Publish Date: April 2008
  • Dimensions: 9 x 6 x 0.26 inches
  • Shipping Weight: 0.39 pounds
  • Page Count: 124

Related Categories

You May Also Like...

    1

BAM Customer Reviews