Verification and Validation in Systems Engineering

Assessing UML/SysML Design Models

  • Mourad Debbabi
  • Fawzi Hassaïne
  • Yosr Jarraya
  • Andrei Soeanu
  • Luay Alawneh

Table of contents

  1. Front Matter
    Pages i-xxvi
  2. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 1-13
  3. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 15-35
  4. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 37-59
  5. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 61-73
  6. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 75-93
  7. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 95-105
  8. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 107-124
  9. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 125-152
  10. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 153-166
  11. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 167-188
  12. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 189-203
  13. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 205-222
  14. Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
    Pages 223-226
  15. Back Matter
    Pages 227-248

About this book

Introduction

Verification and validation represents an important process used for the quality assessment of engineered systems and their compliance with the requirements established at the beginning of or during the development cycle.

Debbabi and his coauthors investigate methodologies and techniques that can be employed for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Their presentation includes a bird’s eye view of the most prominent modeling languages for software and systems engineering, namely the Unified Modeling Language (UML) and the more recent Systems Modeling Language (SysML). Moreover, it elaborates on a number of quantitative and qualitative techniques that synergistically combine automatic verification techniques, program analysis, and software engineering quantitative methods applicable to design models described in these modeling languages. Each of these techniques is additionally explained using a case study highlighting the process, its results, and resulting changes in the system design.

Researchers in academia and industry as well as students specializing in software and systems engineering will find here an overview of state-of-the-art validation and verification techniques. Due to their close association with the UML standard, the presented approaches are also applicable to industrial software development.

Keywords

Model Checking Performance Performance Analysis Program Analysis Software Engineering Software Metrics Software Validation Software Verification SysML System Text UML algorithms

Authors and affiliations

  • Mourad Debbabi
    • 1
  • Fawzi Hassaïne
    • 2
  • Yosr Jarraya
    • 3
  • Andrei Soeanu
    • 4
  • Luay Alawneh
    • 5
  1. 1.Concordia Institute for Information, Systems Engeering (CIISE)Concordia UniversityMontrealCanada
  2. 2.Canada - Ottawa, Capabilities for Asymmetric andDefence Research and DevelopmentOttawaCanada
  3. 3.Concordia Institute for Information, Systems Engineering (CIISE)Concordia UniversityMontrealCanada
  4. 4.Concordia Insitute for Information, Sytems Engineering (CIISE)Concordia UniversityMontrealCanada
  5. 5.Faculty of Engineering and Comp. Sc., Dept. of ElectricalConcordia UniversityMontrealCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15228-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15227-6
  • Online ISBN 978-3-642-15228-3
  • About this book