Artículos relacionados a Model Driven Engineering for Safety Relevant Embedded...

Model Driven Engineering for Safety Relevant Embedded Systems: Model Based Code Generation for Automation Systems - Tapa blanda

Roessler, Wolfgang

 
9783836494151: Model Driven Engineering for Safety Relevant Embedded Systems: Model Based Code Generation for Automation Systems
Tapa blanda
ISBN 10: 3836494159 ISBN 13: 9783836494151
Editorial: VDM Verlag Dr. Müller, 2008

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Biografía del autor

Wolfgang Rössler, Dipl.-Inf. (Univ): Computer science studies at University of Erlangen-Nuernberg. Software architect with Siemens AG - Software Factory, Erlangen. Focus on software architecture, modelling and model driven engineering.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
VDM Verlag Dr. Müller
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3836494159
ISBN 13 
9783836494151
Encuadernación
Tapa blanda
Número de páginas
124
Contacto del fabricante
no disponible
Persona responsable
no disponible