290 likes | 454 Views
Overview Of Model Based Requirements Engineering @ IAI Alon Modai Zvi Lando Dr. Michael Winokur. תוכן ההרצאה. סיכום דרישות לקוח המערכת להמחשה בניית מודל בסיס של המערכת קישור דרישות למודל ניתוח מפורט: תתי מערכות ותהליכים מערכתים הקצאה וגזירת דרישות לתתי מערכות
E N D
Overview Of Model BasedRequirements Engineering @ IAIAlon ModaiZvi LandoDr. Michael Winokur
תוכן ההרצאה • סיכום דרישות לקוח • המערכת להמחשה • בניית מודל בסיס של המערכת • קישור דרישות למודל • ניתוח מפורט: תתי מערכות ותהליכים מערכתים • הקצאה וגזירת דרישות לתתי מערכות • התהליך הרקורסיבי עד לרמת הדיסציפלינות ההנדסיות
Analyzing Stakeholder Requirements SRD Source ID DOORS Certified Copy Tech Annx Tech Annx module External Stakeholder Import Issues Source ID Regul. Reqs. Regul. Reqs module Import Merged Merge Source ID Mrktg Reqs Mrktg. Reqs Module Import Internal Stakeholders Source ID Mnfctrg Reqs Mnfctrg. Reqs Module Import Examples Stakeholder Requirements Review
דוגמה להמחשה: תיאור מערכת ARB לתדלוק אווירי 3 D Imaging System External Lights System RARO Station Airframe Mods Avionics Bay Fuel & Hydraulic System Air Refueling Boom Boom redundant Flight Control System
משימות מערכת ARB • משימה ראשית: תדלוק אווירי למטוסים בעלי receptacle (תדלוק זכרי). • משימה משנית: הדרכת מפעילי בום בתנאיי אמת.
שיקוף נאמן למקור של מסמכי בעלי העניין DOORS דרישות מסמך המקור דרישות בעלי עניין מאוחדות Trace
Constructing The Conceptual Model System Architect Parts Functionality Behavior M_Modes M_Activities M OM1 P P S S C1 M_Modes OMm Cn Q Q OMm R P R P CN Scope Analysis: • Identifying inputs and outputs • Identifying external systems Functional Analysis: • Identifying functions by “threading” flows Behavior Analysis: • Identifying operational modes • Identifying transitions • Defining reactions
Deriving System Requirements SSS DOORS Problem Terms Analysis Solution Terms Merged SH Reqs System Reqs Trace System Architect Associate System Requirements Review (SRR) M_Modes M_Activities M OM1 P P S S C1 M_Modes OMm Cn Q Q OMm R P R P CN
דרישות המערכת שיקוף המודל הלוגי Associated דרישות בעלי עניין מאוחדות Derived
Refining The Conceptual Model System Architect Parts Functionality Behavior M_Modes M_Activities M OM1 P S P S C1 M1 M_Modes OMm Cn Q Mk Q OMm R P R P MM CN Conceptual Decomposition: • Identifying subsystems • Identifying capabilities expected to be provided by each subsystem • “Threading” flows through subsystems • Applying principles of quality decomposition
Analyzing Dynamic Processes Process Functionality Process Logic Dynamic Processes System Architect Parts Functionality Behavior M_Modes M_Activities M OM1 P P S S C1 M1 M_Modes OMm Cn Q Q Mk OMm R P R P CN MM
יכולת שמצפים שתת-מערכת Flying_Boom תספק Control Boom Process Logic Control Boom Process Functionality
Allocating Requirements To Subsystems DOORS Analysis Alloced Reqs M1 Alloced Reqs M2 Alloced Reqs M3 System Reqs Trace System Architect M_Modes M_Activities M OM1 P S P S C1 M1 M_Modes OMm Cn Q Mk Q OMm R P R P MM CN
Requirements Allocated to Subsystem “Flying Boom Control System” Subsystem
Adding Design Decisions DOORS Merged Stakeholder Reqs Design Decisions System Reqs Requirements Engineer System Architect M_Modes M_Activities M OM1 P S P S C1 M1 M_Modes OMm Cn Q Mk Q OMm R P R P MM CN
SSDD Generation SSDD Initial subsystem specs DOORS System Reqs Allocated Requirements M1 Allocated Requirements M2 Design Decisions Allocated Requirements M3 System Architect Parts Functionality Behavior M_Modes M_Activities M OM1 P P S S C1 M1 M_Modes OMm Cn Q Q Mk OMm R P R P CN MM Dynamic Processes Process Data$flow Process Logic
Initial Subsystem Spec DOORS Alloced Reqs Mi System Architect Conditions for: • Starting • Stopping • Suspending • resuming Mi functions Required Subsystem Functions fro Mi: • Ci,1 • Ci,2 • … • Ci,k Scoping Diagram for Mi Mi M1 S M5 R M3
The Hierarchical Nature of Requirements Engineering (2) System development Startup Activity Activity Activity Activity Activity Activity Activity Activity Activity Activity Activity Subsystem development Startup