Transcript
PowerPoint-Präsentation 16:9 EnglischSimulation and Software
Technology Software for Space Systems and Interactive Visualization
Federated Satellite Systems Workshop 14th Oct 2014
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 1
Systems Engineering
Image: DLR.de
Used for preliminary aircraft design studies, air traffic management and scenario analyses
Flexible arrangement of desks depending on study requirements
Currently: Focus on multi- disciplinary design and optimization
Source: e.g. TSTI
Taking Advantage of the Model-based Approach
Documents vs Models
Adding Semantics – Unit Management Example
*Volker Schaus, Philipp M. Fischer, Andreas Gerndt - Taking Advantage of the Model: Application of the Quantity, Units, Dimension, and Values Standard in Concurrent Spacecraft Engineering – INCOSE International Symposium 2013, Philadelphia, PA
Integration of the Quantity, Units, Dimension, and Values Standard (QUDV)
Automatic Unit Conversion
Sanity Checks
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 7
Usage in the Software Virtual Satellite > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 8
System(s) Analyis
Sensitivity Analysis
*Volker Schaus, Philipp M. Fischer, Dominik Quantius, Andreas Gerndt - Automated Sensitivity Analysis in Early Space Mission Design – SECESA Workshop 2012, Lisbon, Portugal
Dependency analysis
Enables informed decision making
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 10
Decision Support
*Meenakshi Deshmukh, Volker Schaus, Philipp M. Fischer, Dominik Quantius, Volker Maiwald, Andreas Gerndt - Decision Support Tool for Concurrent Engineering in Space Mission Design - 19th ISPE International Conference on Concurrent Engineering, Trier, Germany
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 11
Software Engineering
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 12
State Machine
Informed Search
Algorithm Result
Image: DLR.de
State Explosion *Philipp M. Fischer, Daniel Lüdtke, Volker Schaus, Andreas Gerndt - A Formal
Method for Early Spacecraft Design Verification – IEEE Aerospace 2013
Formal Verification in the Space Domain > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 13
Adding Verification to the CE core team > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 14
What is Virtual Satellite? – CE Software Tool
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 15
Work Process
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 16
*Volker Schaus, Michael Tiede, Philipp M. Fischer, Andreas Gerndt - A Continuous Verification Process in Concurrent Engineering – AIAA Space 2013, Sane Diego
Defining the Verification Model – Running the Search
Charge Power = 80 [W]
Duration = 20 [min]
Duration = 60 [min]
Describe Operational Goals
Parameter TotalDownlinkData Above 10000.0; Parameter MissionTime Below 365.0; End Describe Operational Constraints Constraint BatteryChargeConstraint for Parameter batteryCharge Between 40.0 And 240.0 ; End
Req.: 10 GB of data in one year Con.: Max. battery capacity 240 Ah Con.: Min. charge level 40Ah
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 17
Ti m
e Co
ns tr
ai nt
Battery Constraint
Battery Constraint
Experiment
Ti m
e Co
ns tr
ai nt
Experiment
Generation of Project Related Artifacts
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 20
Collaborative Configuration supported by Interactive Visualization
Integrated visualization model
Publication at IEEExplore
Saves time for configuration engineer
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 22
Motivation: Data Model and the References
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 23
Current State
Interface Diagram > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 25
Discipline providing the
Internal Block Diagram > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 26
→ →
Integration in the Software
Summary
Model-based Systems Engineering, Concurrent Engineering • Space, Aircraft Design, …
Semantics • QUDV example • Early Verification
System Analysis • Sensitivity • Decision Support • Dependency Visualization with Diagrams
Artifact Generation • Geometric Model
Questions ? [email protected]
Systems Engineering
Usage in the Software Virtual Satellite
System(s) Analyis
Foliennummer 10
Decision Support
Software Engineering
Adding Verification to the CE core team
Foliennummer 15
Work Process
Result – Sequence of Mode Switches
Result – Sequence of Mode Switches
Generation of Project Related Artifacts
Collaborative Configuration supported by Interactive Visualization
CAD Interface: CATIA Export
Current State
Interface Diagram
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 1
Systems Engineering
Image: DLR.de
Used for preliminary aircraft design studies, air traffic management and scenario analyses
Flexible arrangement of desks depending on study requirements
Currently: Focus on multi- disciplinary design and optimization
Source: e.g. TSTI
Taking Advantage of the Model-based Approach
Documents vs Models
Adding Semantics – Unit Management Example
*Volker Schaus, Philipp M. Fischer, Andreas Gerndt - Taking Advantage of the Model: Application of the Quantity, Units, Dimension, and Values Standard in Concurrent Spacecraft Engineering – INCOSE International Symposium 2013, Philadelphia, PA
Integration of the Quantity, Units, Dimension, and Values Standard (QUDV)
Automatic Unit Conversion
Sanity Checks
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 7
Usage in the Software Virtual Satellite > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 8
System(s) Analyis
Sensitivity Analysis
*Volker Schaus, Philipp M. Fischer, Dominik Quantius, Andreas Gerndt - Automated Sensitivity Analysis in Early Space Mission Design – SECESA Workshop 2012, Lisbon, Portugal
Dependency analysis
Enables informed decision making
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 10
Decision Support
*Meenakshi Deshmukh, Volker Schaus, Philipp M. Fischer, Dominik Quantius, Volker Maiwald, Andreas Gerndt - Decision Support Tool for Concurrent Engineering in Space Mission Design - 19th ISPE International Conference on Concurrent Engineering, Trier, Germany
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 11
Software Engineering
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 12
State Machine
Informed Search
Algorithm Result
Image: DLR.de
State Explosion *Philipp M. Fischer, Daniel Lüdtke, Volker Schaus, Andreas Gerndt - A Formal
Method for Early Spacecraft Design Verification – IEEE Aerospace 2013
Formal Verification in the Space Domain > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 13
Adding Verification to the CE core team > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 14
What is Virtual Satellite? – CE Software Tool
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 15
Work Process
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 16
*Volker Schaus, Michael Tiede, Philipp M. Fischer, Andreas Gerndt - A Continuous Verification Process in Concurrent Engineering – AIAA Space 2013, Sane Diego
Defining the Verification Model – Running the Search
Charge Power = 80 [W]
Duration = 20 [min]
Duration = 60 [min]
Describe Operational Goals
Parameter TotalDownlinkData Above 10000.0; Parameter MissionTime Below 365.0; End Describe Operational Constraints Constraint BatteryChargeConstraint for Parameter batteryCharge Between 40.0 And 240.0 ; End
Req.: 10 GB of data in one year Con.: Max. battery capacity 240 Ah Con.: Min. charge level 40Ah
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 17
Ti m
e Co
ns tr
ai nt
Battery Constraint
Battery Constraint
Experiment
Ti m
e Co
ns tr
ai nt
Experiment
Generation of Project Related Artifacts
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 20
Collaborative Configuration supported by Interactive Visualization
Integrated visualization model
Publication at IEEExplore
Saves time for configuration engineer
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 22
Motivation: Data Model and the References
> Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 23
Current State
Interface Diagram > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 25
Discipline providing the
Internal Block Diagram > Advanced Spacecraft Systems Design using Model-based Techniques > Volker Schaus > 14th Oct 2014 DLR.de • Chart 26
→ →
Integration in the Software
Summary
Model-based Systems Engineering, Concurrent Engineering • Space, Aircraft Design, …
Semantics • QUDV example • Early Verification
System Analysis • Sensitivity • Decision Support • Dependency Visualization with Diagrams
Artifact Generation • Geometric Model
Questions ? [email protected]
Systems Engineering
Usage in the Software Virtual Satellite
System(s) Analyis
Foliennummer 10
Decision Support
Software Engineering
Adding Verification to the CE core team
Foliennummer 15
Work Process
Result – Sequence of Mode Switches
Result – Sequence of Mode Switches
Generation of Project Related Artifacts
Collaborative Configuration supported by Interactive Visualization
CAD Interface: CATIA Export
Current State
Interface Diagram
