Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

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: 72.83 EUR
Availability: InStock

Автор: Lucas Lima

Език:

Корици: С меки корици

Издател: LAP Lambert Academic Publishing

Наличност: Външен склад

Изпращаме след 5-8 дни

72.83 € 142.45 лв

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

Информация за книгата

Автор

Lucas Lima

Език

Английски език

Корици

Книга - С меки корици

Издадена

2016

страници

320

EAN

9783659946585

Enbook ID

15200772

Издател

LAP Lambert Academic Publishing

Теглоt

495

Размери

150 x 220 x 19

Пълно описание

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.