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: 9783659946585
Price: 1571 CZK
Availability: InStock

Autor: Lucas Lima

Jazyk:

Vazba: Brožovaná

Vydavatel: LAP Lambert Academic Publishing

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 571 Kč

The increasing complexity of systems has led to increasing difficulty in design. For critical system...

Informace o knize

Autor

Lucas Lima

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2016

Stránek

320

EAN

9783659946585

Enbook ID

15200772

Vydavatel

LAP Lambert Academic Publishing

Hmotnost

495

Rozměry

150 x 220 x 19

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formalisation of SysML Models and Analysis based on Refinement

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také