Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Publication Type
Articles 1 - 3 of 3
Full-Text Articles in Engineering
Mapping Aadl To Petri Net Tool-Sets Using Pnml Framework, Hassan Reza, Amrita Chatterjee
Mapping Aadl To Petri Net Tool-Sets Using Pnml Framework, Hassan Reza, Amrita Chatterjee
Computer Science Faculty Publications
Architecture Analysis and Design Language (AADL) has been utilized to specify and verify non- functional properties of Real-Time Embedded Systems (RTES) used in critical application systems. Examples of such critical application systems include medical devices, nuclear power plants, aer- ospace, financial, etc. Using AADL, an engineer is enable to analyze the quality of a system. For example, a developer can perform performance analysis such as end-to-end flow analysis to guarantee that system components have the required resources to meet the timing requirements relevant to their communications. The critical issue related to developing and deploying safety critical systems is how to …
The Use Of The Blackboard Architecture For A Decision Making System For The Control Of Craft With Various Actuator And Movement Capabilities, Jeremy Straub, Hassan Reza
The Use Of The Blackboard Architecture For A Decision Making System For The Control Of Craft With Various Actuator And Movement Capabilities, Jeremy Straub, Hassan Reza
Computer Science Faculty Publications
This paper provides an overview of an approach to the control of multiple craft with heterogeneous movement and actuation characteristics that is based on the Blackboard software architecture. An overview of the Blackboard architecture is provided. Then, the operational and mission requirements that dictate the need for autonomous control are characterized and the utility of the Blackboard architecture is for meeting these requirements is discussed. The performance of a best-path solver and naïve solver are compared. The results demonstrate that the best-path solver outperforms the naïve solver in the amount of time taken to generate a solution, however, the number …
High Fidelity Chemistry And Radiation Modeling For Oxy-Combustion Scenarios, Hassan A. Abdul Sater
High Fidelity Chemistry And Radiation Modeling For Oxy-Combustion Scenarios, Hassan A. Abdul Sater
Theses and Dissertations
To account for the thermal and chemical effects associated with the high CO2 concentrations in an oxy-combustion atmosphere, several refined gas-phase chemistry and radiative property models have been formulated for laminar to highly turbulent systems. This thesis examines the accuracies of several chemistry and radiative property models employed in computational fluid dynamic (CFD) simulations of laminar to transitional oxy-methane diffusion flames by comparing their predictions against experimental data. Literature review about chemistry and radiation modeling in oxy-combustion atmospheres considered turbulent systems where the predictions are impacted by the interplay and accuracies of the turbulence, radiation and chemistry models. Thus, …