Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

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: 61.56 EUR
Availability: InStock
Author: Wolfgang Roessler
ISBN: 9783836494151

Model Based Code Generation for Automation Systems

Wolfgang Roessler

Langue

Anglais

Livre Livre de poche

Code Libristo: 07066069

Éditeurs VDM Verlag Dr. Mueller E.K., avril 2008

The increasing complexity of control systems in automation and the verification of compliance with s... Description détaillée

Code Libristo: 07066069

149 b

61.56 €

Stockage externe Expédition sous 14-21 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Mikroprozessor 68000 James Coffron

Livre de poche

52.98 €

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

Livre de poche

13.31 €

L'évolution du Liban Kefala

Livre de poche

27.75 €

Marque-pages Disney Grands classiques

Articles de papeterie

10.49 €

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

Livre de poche

111.11 €

Avec ou sans masque Zaharia

Livre de poche

15.43 €

AMOR ES CUANDO CESA LA LLUVIA JUN MAYUZUKI

Livre relié

10.79 €

Mwen Renmen Pataje Shelley Admont

Adobe ePub DRM

5.44 €

Zukunft Israels bei Lukas Christoph Schaefer

Livre relié

239.59 €

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.