{"product_id":"formalisation-of-sysml-models-and-analysis-based-on-refinement-von-lucas-lima","title":"Formalisation of SysML Models and Analysis based on Refinement","description":"\u003cp\u003eThe 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\u0026amp;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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659946585\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783659946585","offer_id":39450843971677,"sku":"9783659946585","price":79.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/47926b84-2b58-43ba-8d9f-320ba5a66f48.jpg?v=1772775534","url":"https:\/\/shop.autorenwelt.de\/products\/formalisation-of-sysml-models-and-analysis-based-on-refinement-von-lucas-lima","provider":"Autorenwelt Shop","version":"1.0","type":"link"}