Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Formalisation of SysML Models and Analysis based on Refinement

Name: Formalisation of SysML Models and Analysis based on Refinement
Brand: LAP Lambert Academic Publishing
SKU: 15200772
Price: 78.59 EUR
Availability: InStock
Author: Lucas Lima
ISBN: 9783659946585

Lucas Lima

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 15200772

Editores LAP Lambert Academic Publishing, noviembre 2015

The increasing complexity of systems has led to increasing difficulty in design. For critical system... Descripción completa

Código Libristo: 15200772

192 b

78.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Ekonomicheskaya Organizovannaya Prestupnost' V Rossii Anna Repetskaya

Tapa blanda

84.69 €

In Balance Thierry Ball

Tapa blanda

34.99 €

Proroctví Vladimír Chvátil

Juego

49.29 €

Initiales n° 09 - Initiales P.K. Klossowski

Tapa blanda

19.39 €

Antarktida Pokáč

CD de audio

14.19 €

MACHINE LEARNING CON PYTORCH Y SCIKIT LEARN RASCHKA

Libro

49.39 €

Agent 327. Band 12 Martin Lodewijk

Tapa dura

14.19 €

Magie na vzestupu Ilona Andrews

Tapa dura

13.79 €

The increasing complexity of systems has led to increasing difficulty in design. For critical systems, for which safety is a major concern, early verification and validation (V&V) is recognised as a valuable approach to promote dependability. We address these issues with a refinement technique for SysML supported by tools. In this work we describe our semantics for SysML, which is defined using a state-rich process algebra called CML and implemented in a tool for automatic generation of formal models. We also show how the semantics can be used for refinement-based analysis and development. Our case studies are a leadership-election protocol, a critical component of an industrial application, and a dwarf signal, a device used to control rail traffic. Our contributions are: a set of guidelines that provide meaning to the different modelling elements of SysML used during the design of systems; the individual formal semantics for SysML activities, blocks and interactions; an integrated semantics that combines these semantics with another defined for state machines; and a framework for reasoning using refinement about systems specified by collections of SysML diagrams.