Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 1620 CZK
Availability: InStock
Author: Lucas Lima
ISBN: 9783659946585

Lucas Lima

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 15200772

Nakladatelství LAP Lambert Academic Publishing, listopad 2015

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

Libristo kód: 15200772

162 b

1 620 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Ekonomicheskaya Organizovannaya Prestupnost' V Rossii Anna Repetskaya

Brožovaná

1 934 Kč

In Balance Thierry Ball

Brožovaná

773 Kč

Proroctví Vladimír Chvátil

Hra

922 Kč

Initiales n° 09 - Initiales P.K. Klossowski

Brožovaná

473 Kč

Antarktida Pokáč

Audio CD

292 Kč

MACHINE LEARNING CON PYTORCH Y SCIKIT LEARN RASCHKA

Kniha

1 246 Kč

Agent 327. Band 12 Martin Lodewijk

Pevná

289 Kč

Magie na vzestupu Ilona Andrews

Pevná

284 Kč

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.