Scenario-based Verification and Validation of Dynamic UML Specifications

منو

" Scenario-based Verification and Validation of Dynamic UML Specifications "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	151133
Doc. No	:	ET22925
Main Entry	:	Alaa E. Ibrahim
Title Proper	:	Scenario-based Verification and Validation of Dynamic UML Specifications
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	The Unified Modeling Language (UML) is the result of the unification process of earlier objectoriented models and notations. Verification and validation (V&V) tasks, as applied to UMLspecifications, enable early detection of analysis and design flaws prior to implementation. In thiswork, we address four V&V analysis methods for UML dynamic specifications, namely: Timinganalysis and automatic V&V of timing constraints, automated Architectural-level Riskassessment, Performance Modeling and Fault Injection analysis. For each we present: approaches,methods and/or automated techniques. We use two case studies: a Cardiac Pacemaker and asimplified Automatic Teller Machine (ATM) banking subsystem, for illustrating the developedtechniques...,....-...,..tested for theQ1 PC1 bus cardBoth these projects mere sofixare des elopment efforts tonards contributing to dlfferentaspects of Roboucs and lZ1echatronics projects m the Controls and Roboucs Group..
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL46153.pdf
Title and statement of responsibility and	:	Scenario-based Verification and Validation of Dynamic UML Specifications [Thesis]