Query Based UML ModelingValidation and Verification of the System Model and Behavior for a Hydraulic CraneDenny MathewENPM 643Instructor: Dr. Mark AustinSystems Engineering Process for a Hydraulic Crane- Link Belt ATC 3200- Requirements- Systems Structure- System Behavior- Constraints- System Allocation- VerificationUML Query Tool- Validation- Query ModelingFive Operational Phases of a Crane- Pre-Start Initiation- Handling and Attaching the Load- Lifting the Load- Maneuvering the Load- Ending LiftingNominal and Off-Nominal Use Cases in UML *- Nominal: positive use cases- Of-Nominal: negative use cases* Reference – Uchitel Implied-ScenarioConstraints and Assumptions- Crane Type: Only all-terrain mobile cranes are considered for this report. - Risk: Only safety-related risks are evaluated and analyzed for the failure analysis.- Operation: Only stationary crane operations are considered for this report. - Analysis: The level of analysis for this case study is constrained at the operational level.Operational SequenceClass DiagramInheritance DiagramCRANEACTORCrane OperatorSignalmanOilmanInitiate Pre-Start InspectionHandle and Attach the LoadLift the LoadManeuver the LoadEnd Lifting Initial Use Case DiagramPhase 1Phase 2Phase 3Phase 4Phase 5Off-Nominal Use Case ScenarioFMEA Analysis- Cause and Effect Hazard Analysis- Positive and Negative Use Cases- Allocation of Negative to Positive Use CasesBenefits- Robustness in Design- Pinpoint Design Flaws- Error ProofRequirementsRequirements based on Manufacturers Operational and Design SpecificationsOperational Requirements used to create Main and Derived requirementsRequirements Verification Matrix used to verify design meets requirements specificationsRequirements Constraint and Analysis analyzes extent and implementation of requirementsQuery Modeling and ValidationUQLAT – UML Query and Link Analysis Tool- Queries and dynamically links block elements of UML diagram- Currently limited to Activity diagramsData Structure- Block Element data structure as an element into processing algorithm- Block ID - Input- Name - Output- Level - NOI- Phase - NOO- Time Element - Recursive- Action/State - PointerQuery using GUIDatabase ProcessingAlgorithm ProcessingQuery Display in GUIQuery Event SequenceQuery TypesQuery any one element within one phaseQuery one element independently across many phases simultaneouslyQuery all the inputs from any one element within one phaseQuery all the outputs from any one element within one phaseQuery the link between any one element and other elements withinone phaseQuery the level of any element within any phaseQuery Initiation FormQuery Results
View Full Document