Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

Model Based Code Generation for Automation Systems

Wolfgang Roessler

Lingua

Inglese

Libro In brossura

Codice Libristo: 07066069

Casa editrice VDM Verlag Dr. Mueller E.K., aprile 2008

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

Codice Libristo: 07066069

156 b

63.89 €

Magazzino esterno Inviamo tra 9-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Mikroprozessor 68000 James Coffron

In brossura

62.79 €

Zukunft Israels bei Lukas Christoph Schaefer

Rigido

248.69 €

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

In brossura

110.19 €

Mwen Renmen Pataje Shelley Admont

Adobe ePub DRM

5.59 €

Avec ou sans masque Zaharia

In brossura

16.19 €

Marque-pages Disney Grands classiques

Articoli di cancelleria

10.79 €

L'évolution du Liban Kefala

In brossura

39.19 €

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

In brossura

14.09 €

AMOR ES CUANDO CESA LA LLUVIA JUN MAYUZUKI

Rigido

10.69 €

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.