The Experts below are selected from a list of 282 Experts worldwide ranked by ideXlab platform
Michael D Harrison - One of the best experts on this subject based on the ideXlab platform.
-
formal verification of a space System s user interface with the ivy workbench
IEEE Transactions on Human-Machine Systems, 2016Co-Authors: Jose Creissac Campos, M F Sousa, Miriam Bergue C Alves, Michael D HarrisonAbstract:This paper describes the application of the IVY workbench to the formal analysis of a user interface for a safety-critical Aerospace System. The operation manual of the System was used as a requirement document, and this made it possible to build a reference model of the user interface, focusing on navigation between displays, the information provided by each display, and how they are interrelated. Usability-related property specification patterns were then used to derive relevant properties for verification. This paper discusses both the modeling strategy and the analytical results found using the IVY workbench. The purpose of the reference model is to provide a standard against which future versions of the interface may be assessed.
Zhao Jipen - One of the best experts on this subject based on the ideXlab platform.
-
Analysis of Design of Thin-wall Pressure Vessel to Aerospace System
New Technology & New Process, 2020Co-Authors: Zhao JipenAbstract:The specification feature of Aerospace pressure vessel was analyzed in this paper,the structure design methods for metal pressure vessel were also discussed,The pressure vessel finite model was established by ANSYS software,the static analysis was done about the situation of working pressure and the critical outer pressure,the bucking model shape were obtained by eigen bucking finite element calculation,the natural frequency was obtained by mode analysis,the results showed that this pressure vessel can meet the requirements of Aerospace System.
Mark Lowenberg - One of the best experts on this subject based on the ideXlab platform.
-
Nonlinear Robust Approaches to Study Stability and Postcritical Behavior of an Aeroelastic Plant
IEEE Transactions on Control Systems Technology, 2019Co-Authors: Andrea Iannelli, Andrés Marcos, Mark LowenbergAbstract:Two approaches to tackle the nonlinear robust stability problem of an Aerospace System are compared. The first employs a combination of the describing function method and μ analysis, while the second makes use of integral quadratic constraints (IQCs). The model analyzed consists of an open-loop wing's airfoil subject to free play and linear time-invariant parametric uncertainties. The key steps entailed by the application of the two methodologies and their main features are critically discussed. Emphasis is put on the available insight on the nonlinear postcritical behavior known as limit cycle oscillation. It is proposed a strategy to apply IQCs, typically used to find absolute stability certificates, in this scenario, based on a restricted sector bound condition for the nonlinearity. Another contribution of this paper is to understand how the conservatism usually associated with the IQCs multipliers selection can be overcome by using information coming from the first approach. Nonlinear time domain simulations showcase the prowess of these approaches in estimating qualitative trends and quantitative response's features.
D.p. Siewiorek - One of the best experts on this subject based on the ideXlab platform.
-
Measuring robustness of a fault tolerant Aerospace System
Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers, 1995Co-Authors: C.p. Dingman, J. Marshall, D.p. SiewiorekAbstract:In commercial literature, the meaning of the term fault tolerant has become vague. We describe a System used to measure the robustness of a fault tolerant Aerospace System developed at IBM, present the data collected during the project, and report conclusions and areas for future work.
-
FTCS - Measuring robustness of a fault tolerant Aerospace System
Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers, 1995Co-Authors: C.p. Dingman, J. Marshall, D.p. SiewiorekAbstract:In commercial literature, the meaning of the term fault tolerant has become vague. We describe a System used to measure the robustness of a fault tolerant Aerospace System developed at IBM, present the data collected during the project, and report conclusions and areas for future work. >
Emilia Colonese - One of the best experts on this subject based on the ideXlab platform.
-
Developing an Aerospace System Software Using PBL and MDA
Fifth International Conference on Information Technology: New Generations (itng 2008), 2008Co-Authors: João Carlos Silva Nobre, Denis Silva Loubach, Emilia ColoneseAbstract:This paper reports a problem-based learning - PBL approach for the development of real time embedded software for the Aerospace sector, employing a commercial suite of tools that supports model-driven architecture - MDA projects. Using this approach, graduate and last-year undergraduate students in computer engineering of the Brazilian Aeronautical Institute of Technology (LTA) have developed an Aerospace System prototype during an academic semester.
-
ITNG - Developing an Aerospace System Software Using PBL and MDA
Fifth International Conference on Information Technology: New Generations (itng 2008), 2008Co-Authors: João Carlos Silva Nobre, Denis Silva Loubach, Emilia ColoneseAbstract:This paper reports a problem-based learning - PBL approach for the development of real time embedded software for the Aerospace sector, employing a commercial suite of tools that supports model-driven architecture - MDA projects. Using this approach, graduate and last-year undergraduate students in computer engineering of the Brazilian Aeronautical Institute of Technology (LTA) have developed an Aerospace System prototype during an academic semester.