Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Lucas Lima is a lecturer at Departamento de Estatística e Informática of Universidade Federal Rural de Pernambuco. He holds a Ph.D. from Universidade Federal de Pernambuco. His interests are in providing formal semantics for graphical modelling languages and developing formal verification methods for model-based designs using automated techniques.
"About this title" may belong to another edition of this title.
Search results for Formalisation of SysML Models and Analysis based on...
Seller Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing Sep 2016, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 320 pp. Englisch. Seller Inventory # 9783659946585
Buy New
US$ 96.41
US$ 26.94 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 158963895
Buy New
US$ 77.33
US$ 57.39 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404375775
Stock Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 409859840
Buy New
US$ 140.19
US$ 8.80 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formalisation of SysML Models and Analysis based on Refinement | Lucas Lima | Taschenbuch | 320 S. | Englisch | 2016 | LAP LAMBERT Academic Publishing | EAN 9783659946585 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu Print on Demand. Seller Inventory # 102872142
Buy New
US$ 80.25
US$ 82.00 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Stock Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18404375765
Buy New
US$ 151.60
US$ 11.66 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing Sep 2016, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 320 pp. Englisch. Seller Inventory # 9783659946585
Buy New
US$ 96.41
US$ 70.29 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 320 pages. 8.66x5.91x0.73 inches. In Stock. Seller Inventory # 3659946583
Buy New
US$ 151.96
US$ 16.92 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Formalisation of SysML Models and Analysis based on Refinement
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3659946583
ISBN 13: 9783659946585
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783659946585
Buy New
US$ 96.41
US$ 73.19 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available