Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Front Cover
Springer Science & Business Media, Nov 16, 2010 - Computers - 248 pages
1 Review
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.
 

What people are saying - Write a review

User Review - Flag as inappropriate

This book looks at how architecture frameworks use SysML and UML 2.0. Techniques are classified as informal, static, dynamic or formal. These use inspection, testing, simulation, reference model equivalence checking and theorem proving. It proposes a unified approach to evaluate designs, including comparative metrics and procedures There is a case study of an ATM. Semantics, probabilistic behavior and performance analysis of activity diagrams are considered using the PRISM model. There are thirteen chapters. 

Contents

1 Introduction
1
2 Architecture Frameworks ModelDriven Architecture and Simulation
15
3 Unified Modeling Language
37
4 Systems Modeling Language
61
5 Verification Validation and Accreditation
75
6 Automatic Approach for Synergistic Verification and Validation
95
7 Software Engineering Metrics in the Context of Systems Engineering
107
8 Verification and Validation of UML Behavioral Diagrams
125
9 Probabilistic Model Checking of SysML Activity Diagrams
153
10 Performance Analysis of TimeConstrained SysML Activity Diagrams
167
11 Semantic Foundations of SysML Activity Diagrams
189
12 Soundness of the Translation Algorithm
205
13 Conclusion
223
References
227
Index
241
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information