Verification and Validation in Systems Engineering

1. Front Matter

   Pages i-xxvi

   PDF

2. Introduction

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

   Pages 1-13

3. Architecture Frameworks, Model-Driven Architecture, and Simulation

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

   Pages 15-35

4. Unified Modeling Language

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

   Pages 37-59

5. Systems Modeling Language

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

   Pages 61-73

6. Verification, Validation, and Accreditation

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

   Pages 75-93

7. Automatic Approach for Synergistic Verification and Validation

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

   Pages 95-105

8. Software Engineering Metrics in the Context of Systems Engineering

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

   Pages 107-124

9. Verification and Validation of UML Behavioral Diagrams

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

   Pages 125-152

10. Probabilistic Model Checking of SysML Activity Diagrams

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

    Pages 153-166

11. Performance Analysis of Time-Constrained SysML Activity Diagrams

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

    Pages 167-188

12. Semantic Foundations of SysML Activity Diagrams

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

    Pages 189-203

13. Soundness of the Translation Algorithm

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

    Pages 205-222

14. Conclusion

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

    Pages 223-226

15. Back Matter

    Pages 227-248

    PDF

At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually pervading almost every aspect of modern socio-economical interactions. Consequently, the potential for realizing a signi?cantly greater number of technology-mediated activities has emerged. Indeed, many of our modern activity ?elds are heavily dependant upon various underlying systems and software-intensive platforms. Such technologies are commonly used in everyday activities such as commuting, traf?c control and m- agement, mobile computing, navigation, mobile communication. Thus, the correct function of the forenamed computing systems becomes a major concern. This is all the more important since, in spite of the numerous updates, patches and ?rmware revisions being constantly issued, newly discovered logical bugs in a wide range of modern software platforms (e. g. , operating systems) and software-intensive systems (e. g. , embedded systems) are just as frequently being reported. In addition, many of today’s products and services are presently being deployed in a highly competitive environment wherein a product or service is succeeding in most of the cases thanks to its quality to price ratio for a given set of features. Accordingly, a number of critical aspects have to be considered, such as the ab- ity to pack as many features as needed in a given product or service while c- currently maintaining high quality, reasonable price, and short time -to- market.

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

From the reviews:

“The five authors of this book tackle a very difficult subject, and must be commended for doing so. The result is a welcome addition to the body of professional literature. … It is a highly technical … book on one of the most critical subjects that we have, as professionals. … The book is exceedingly well illustrated. … a professional involved in systems engineering, and particularly in systems quality, verification, systems verification, or other related activities, would find this book useful.” (Mordechai Ben-Menachem, ACM Computing Reviews, May, 2011)

• Concordia Institute for Information, Systems Engeering (CIISE), Concordia University, Montreal, Canada

  Mourad Debbabi

• Canada - Ottawa, Capabilities for Asymmetric and, Defence Research and Development, Ottawa, Canada

  Fawzi Hassaïne

• Concordia Institute for Information, Systems Engineering (CIISE), Concordia University, Montreal, Canada

  Yosr Jarraya

• Concordia Insitute for Information, Sytems Engineering (CIISE), Concordia University, Montreal, Canada

  Andrei Soeanu

• Faculty of Engineering and Comp. Sc., Dept. of Electrical, Concordia University, Montreal, Canada

  Luay Alawneh

Policies and ethics