Advertisement

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

  • Nils Przigoda
  • Robert Wille
  • Judith Przigoda
  • Rolf Drechsler

Table of contents

  1. Front Matter
    Pages i-xii
  2. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 1-5
  3. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 7-23
  4. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 25-94
  5. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 95-123
  6. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 125-157
  7. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 159-181
  8. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 183-199
  9. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 201-233
  10. Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
    Pages 235-237
  11. Back Matter
    Pages 239-255

About this book

Introduction

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.  Additionally, the design flow described is applied to a broad variety of validation and verification tasks.  The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.


  • Provides a general flow and description for the validation and verification of UML/OCL models;
  • Demonstrates a detailed realization of the general flow using satisfiability solvers;
  • Includes a case study that presents the possibilities of the state-of-the-art approaches.

Keywords

Unified Modeling Language UML Object Constraint Language Automatic Verification in Electronic Systems Formal Specification

Authors and affiliations

  • Nils Przigoda
    • 1
  • Robert Wille
    • 2
  • Judith Przigoda
    • 3
  • Rolf Drechsler
    • 4
  1. 1.Mobility DivisionSiemens AGBraunschweigGermany
  2. 2.Johannes Kepler University LinzLinzAustria
  3. 3.University of BremenBremenGermany
  4. 4.AG RechnerarchitekturUniversity of BremenBremenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-72814-8
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-72813-1
  • Online ISBN 978-3-319-72814-8
  • Buy this book on publisher's site