Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 07066069
Price: 23567 HUF
Availability: InStock
Author: Wolfgang Roessler
ISBN: 9783836494151

Model Based Code Generation for Automation Systems

Wolfgang Roessler

Language

English

Book Paperback

Libristo code: 07066069

Publishers VDM Verlag Dr. Mueller E.K., April 2008

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

Libristo code: 07066069

161 b

23 567 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Mikroprozessor 68000 James Coffron

Paperback

20 447 Ft

Zukunft Israels bei Lukas Christoph Schaefer

Hardback

85 167 Ft

La Romania en interacción : entre historia, contacto y política : ensayos en homenaje a Klaus Zimmermann

Paperback

39 512 Ft

Mwen Renmen Pataje Shelley Admont

Adobe ePub DRM

1 904 Ft

Avec ou sans masque Zaharia

Paperback

6 022 Ft

Marque-pages Disney Grands classiques

Stationery items

3 721 Ft

L'évolution du Liban Kefala

Paperback

10 774 Ft

Tractatus de Officio Pastorali E Codice Vindobonensi... John Wycliffe

Paperback

5 218 Ft

AMOR ES CUANDO CESA LA LLUVIA JUN MAYUZUKI

Hardback

3 841 Ft

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.