Muutke küpsiste eelistusi

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

, , , ,
  • Formaat: PDF+DRM
  • Ilmumisaeg: 16-Nov-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642152283
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 135,23 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Verification and Validation in Systems Engineering: Assessing UML/SysML Design ModelsSuurem pilt
  • Formaat: PDF+DRM
  • Ilmumisaeg: 16-Nov-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642152283
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.

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.

Arvustused

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)

1 Introduction
1(14)
1.1 Verification and Validation Problem Statement
2(1)
1.2 Systems Engineering
3(2)
1.3 Systems Engineering Standards
5(1)
1.4 Systems Engineering Modeling Languages
6(2)
1.5 Systems Engineering Modeling Languages
8(3)
1.5.1 UML 2.x: Unified Modeling Language
8(1)
1.5.2 SysML: Systems Modeling Language
9(1)
1.5.3 IDEF: Integration Definition Methods
10(1)
1.6 Outline
11(4)
2 Architecture Frameworks, Model-Driven Architecture, and Simulation
15(22)
2.1 Architecture Frameworks
16(10)
2.1.1 Zachman Framework
16(1)
2.1.2 Open Group Architecture Framework
17(1)
2.1.3 DoD Architecture Framework
18(7)
2.1.4 UK Ministry of Defence Architecture Framework
25(1)
2.1.5 UML Profile for DoDAF/MODAF
25(1)
2.2 AP233 Standard for Data Exchange
26(1)
2.3 Executable Architectures of from Design to Simulation
26(5)
2.3.1 Why Executable Architectures?
27(1)
2.3.2 Modeling and Simulation as an Enabler for Executable Architectures
28(3)
2.4 DoDAF in Relation to SE and SysML
31(4)
2.5 Conclusion
35(2)
3 Unified Modeling Language
37(24)
3.1 UML History
37(1)
3.2 UML Diagrams
38(20)
3.2.1 Class Diagram
39(1)
3.2.2 Component Diagram
40(1)
3.2.3 Composite Structure Diagram
41(1)
3.2.4 Deployment Diagram
42(1)
3.2.5 Object Diagram
43(1)
3.2.6 Package Diagram
43(1)
3.2.7 Activity Diagram
44(3)
3.2.8 Activity Diagram Execution
47(1)
3.2.9 Use Case Diagram
48(1)
3.2.10 State Machine Diagram
49(4)
3.2.11 Sequence Diagram
53(2)
3.2.12 Communication Diagram
55(1)
3.2.13 Interaction Overview Diagram
56(1)
3.2.14 Timing Diagram
57(1)
3.3 UML Profiling Mechanisms
58(1)
3.4 Conclusion
59(2)
4 Systems Modeling Language
61(14)
4.1 SysML History
61(1)
4.2 UML and SysML Relationships
62(1)
4.3 SysML Diagrams
63(10)
4.3.1 Block Definition Diagram
64(1)
4.3.2 Internal Block Diagram
65(1)
4.3.3 Package Diagram
66(1)
4.3.4 Parametric Diagram
66(1)
4.3.5 Requirement Diagram
67(2)
4.3.6 Activity Diagram
69(2)
4.3.7 State Machine Diagram
71(1)
4.3.8 Use Case Diagram
72(1)
4.3.9 Sequence Diagram
72(1)
4.4 Conclusion
73(2)
5 Verification, Validation, and Accreditation
75(20)
5.1 V&V Techniques Overview
76(3)
5.1.1 Inspection
77(1)
5.1.2 Testing
77(1)
5.1.3 Simulation
78(1)
5.1.4 Reference Model Equivalence Checking
79(1)
5.1.5 Theorem Proving
79(1)
5.2 Verification Techniques for Object-Oriented Design
79(4)
5.2.1 Design Perspectives
80(1)
5.2.2 Software Engineering Techniques
80(1)
5.2.3 Formal Verification Techniques
81(1)
5.2.4 Program Analysts Techniques
82(1)
5.3 V&V of Systems Engineering Design Models
83(5)
5.4 Tool Support
88(4)
5.4.1 Formal Verification Environments
88(2)
5.4.2 Static Analyzers
90(2)
5.5 Conclusion
92(3)
6 Automatic Approach for Synergistic Verification and Validation
95(12)
6.1 Synergistic Verification and Validation Methodology
96(3)
6.2 Dedicated V&V Approach for Systems Engineering
99(2)
6.2.1 Automatic Formal Verification of System Design Models
99(1)
6.2.2 Program Analysis of Behavioral Design Models
100(1)
6.2.3 Software Engineering Quantitative Techniques
101(1)
6.3 Probabilistic Behavior Assessment
101(1)
6.4 Established Results
102(1)
6.5 Verification and Validation Tool
103(2)
6.6 Conclusion
105(2)
7 Software Engineering Metrics in the Context of Systems Engineering
107(18)
7.1 Metrics Suites Overview
107(4)
7.1.1 Chidamber and Kemerer Metrics
107(1)
7.1.2 MOOD Metrics
108(1)
7.1.3 Li and Henry's Metrics
109(1)
7.1.4 Lorenz and Kidd's Metrics
109(1)
7.1.5 Robert Martin Metrics
109(1)
7.1.6 Bansiya and Davis Metrics
110(1)
7.1.7 Briand et al. Metrics
110(1)
7.2 Quality Attributes
111(1)
7.3 Software Metrics Computation
111(9)
7.3.1 Abstractness (A)
112(1)
7.3.2 Instability (I)
112(1)
7.3.3 Distance from the Main Sequence (DMS)
113(1)
7.3.4 Class Responsibility (CR)
113(1)
7.3.5 Class Category Relational Cohesion (CCRC)
114(1)
7.3.6 Depth of Inheritance Tree (DIT)
114(1)
7.3.7 Number of Children (NOC)
114(1)
7.3.8 Coupling Between Object Classes (CBO)
115(1)
7.3.9 Number of Methods (NOM)
116(1)
7.3.10 Number of Attributes (NOA)
117(1)
7.3.11 Number of Methods Added (NMA)
117(1)
7.3.12 Number of Methods Overridden (NMO)
118(1)
7.3.13 Number of Methods Inherited (NMI)
118(1)
7.3.14 Specialization Index (SIX)
119(1)
7.3.15 Public Methods Ratio (PMR)
119(1)
7.4 Case Study
120(3)
7.5 Conclusion
123(2)
8 Verification and Validation of UML Behavioral Diagrams
125(28)
8.1 Configuration Transition System
125(2)
8.2 Model Checking of Configuration Transition Systems
127(2)
8.3 Property Specification Using CTL
129(1)
8.4 Program Analysis of Configuration Transition Systems
130(1)
8.5 V&V of UML State Machine Diagram
131(10)
8.5.1 Semantic Model Derivation
132(2)
8.5.2 Case Study
134(4)
8.5.3 Application of Program Analysis
138(3)
8.6 V&V of UML Sequence Diagram
141(4)
8.6.1 Semantic Model Derivation
141(1)
8.6.2 Sequence Diagram Case Study
142(3)
8.7 V&V of UML Activity Diagram
145(7)
8.7.1 Semantic Model Derivation
145(1)
8.7.2 Activity Diagram Case Study
145(7)
8.8 Conclusion
152(1)
9 Probabilistic Model Checking of SysML Activity Diagrams
153(14)
9.1 Probabilistic Verification Approach
153(2)
9.2 Translation into PRISM
155(5)
9.3 PCTL Property Specification
160(1)
9.4 Case Study
161(5)
9.5 Conclusion
166(1)
10 Performance Analysis of Time-Constrained SysML Activity Diagrams
167(22)
10.1 Time Annotation
167(2)
10.2 Derivation of the Semantic Model
169(1)
10.3 Model-Checking Time-Constrained Activity Diagrams
170(6)
10.3.1 Discrete-Time Markov Chain
172(1)
10.3.2 PRISM Input Language
172(1)
10.3.3 Mapping SysML Activity Diagrams into DTMC
173(1)
10.3.4 Threads Identification
173(3)
10.4 Performance Analysis Case Study
176(5)
10.5 Scalability
181(6)
10.6 Conclusion
187(2)
11 Semantic Foundations of SysML Activity Diagrams
189(16)
11.1 Activity Calculus
189(11)
11.1.1 Syntax
190(4)
11.1.2 Operational Semantics
194(6)
11.2 Case Study
200(3)
11.3 Markov Decision Process
203(1)
11.4 Conclusion
203(2)
12 Soundness of the Translation Algorithm
205(18)
12.1 Notation
205(1)
12.2 Methodology
206(1)
12.3 Formalization of the PRISM Input Language
206(4)
12.3.1 Syntax
207(1)
12.3.2 Operational Semantics
208(2)
12.4 Formal Translation
210(3)
12.5 Case Study
213(2)
12.6 Simulation Preorder for Markov Decision Processes
215(2)
12.7 Soundness of the Translation Algorithm
217(5)
12.8 Conclusion
222(1)
13 Conclusion
223(4)
References 227(14)
Index 241
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836421522832e.html
Märksõnad: