Application of M&S World’s Largest Aviation and Aerospace University Shafagh Jafer, Ph. D....
-
Upload
emmeline-hunter -
Category
Documents
-
view
212 -
download
0
Transcript of Application of M&S World’s Largest Aviation and Aerospace University Shafagh Jafer, Ph. D....
Application of M&S
World’s Largest Aviation and Aerospace University
Shafagh Jafer, Ph. D. Assistant Professor Software Engineering ERAU, Daytona Beach, FL [email protected]
Research Areas: application of M&S
1) Study of Natural Fire Hazard: Proposing an Integrated Predictive Modeling and Simulation Framework (HazFire)
2) A Model-based Imprecise Operating Systems for Critical Real-Time and Embedded Applications (iRTOS)
3) M&S of Segmented Multi-Path Data Transfer for Air-To-Ground Cellular Network (ATG)
New Area: Aviation-specific modeling for certifiable and safety-critical
sw systems
HazFire M&S Framework
• Interdisciplinary approaches to address multiple aspects of natural fire: phenomenological and firefighting perspectives.
• Objective1 (research): study complex behavior of natural fire, develop methods to better render the consequences, incorporating meteorological data analysis as well as environmental factors using computational M&S methodologies.
• Objective2 (analysis): provide risk analysis and cost-benefit assessment strategies associated with the impact of natural fire hazards on community infrastructures.
• Objective3 (development): develop cross-cutting software framework (HazFire) to integrate natural fire behavior models, providing spatial representation of the location, real-time decision-support, prediction, visualization, and mitigation.
• Objective4 (cognition): ensure user-friendliness and usability for first responders and incident managers.
HazFire: DEVS M&S Fire Spread
HazFire: cost-benefit modelEvaluation of Highly Valued Resources and Assets
Hazfire System Architecture
iRTOS: imprecise RTOS• Imprecise Computation-based real-time OS using
IDEVS (imprecise DEVS) [best-paper Springsim TMS-DEVS 2012]
– formal methodology for reliable design of RTOS– novel IC-based task scheduling algorithms– risk-free simulation-based testing before final deployment
Multi Task Real-Time Linux (RTAI Kernel)
IC-based task scheduler
Multi Task IDEVS engine
IDEVS abstract control subsystem
IDEVS Messaging subsystem
Graphical User Interface
File System
TCP/IP Stack
Audio
Keyboard Controller
Interrupt Controller
CPUEthernet
Controller
Audio Controller
Media Controller
Display
iRTOS Goals
• Model continuity from simulation stage till embedding the system on the target hardware in an SDE design scheme.
• Providing a hardware-software co-design approach for designing the entire embedded system, where models represent different hardware and software components and are tested together as an integrated system.
• Offering a hardware-in-the-loop simulation platform where some of the models act as the simulated components working along with other actual hardware components.
iDEVS ... ...X Y
s′=δext(s,e,x)
s
s′=δint(s)
ta(s)
λ(s)
x y
da(s)
iDEVS: mandatory and optional states/tasks
A1InfM
A21t-4t
M
A34t-7t
O
InA?xa
A46t-9t
M
A52t-6t
O
CCBBAA
Top
D
In Out1InA Out1A
a) DEVS Hierrachical structure
b) State diagram of atomic model A
B1InfM
B21t-3t
M
B37t-11t
O
InB?xb
B44t-8t
M
c) State diagram of atomic model B
C1InfM
C21t-4t
M
C32t-5t
O
InC?xc
d) State diagram of atomic model C
Out2A
Out2
InA?xa
OutB
InB
OutC
InC
iDEVS Example
M&S for Air to Ground (ATG) Network
Backhaul Network
X2 Link
X2 Link
X2 Link
BS1
BS2
BS3
BS4R R R
• Segmented Multi-Path Data Transfer for Air-To-Ground (ATG) Cellular Networks
• Exploit multiple-to-multiple path data-routing between the aircraft and the ground to improve the data bandwidth in ATG networks.
• Based on patented work for Ericsson Canada for mobile network• High-fidelity Discrete-Event (M&S) methodologies using Omnet++ network
modeling software framework
Promising Research Trend and Room for Collaboration
• Application of Domain-specific M&S for aviation (e.g: Flight Simulation ML, aircraft rerouting, …)
Challenge in Avionics SW Dev. & Modeling:The Certification Process
Strict, lengthy, & cumbersome standards imposing requirements on the development and verification of airborne avionic systems