检索结果-内蒙古大学图书馆

A Unified model-based Framework for the Simplified Execution of Static and Dynamic Assertion-based Verification

IEEE ACCESS 2020年 8卷 104407-104431页

作者： Anwar, Muhammad Waseem Rashid, Muhammad Azam, Farooque Naeem, Aamir Kashif, Muhammad Butt, Wasi Haider Natl Univ Sci & Technol NUST Dept Comp & Software Engn CEME Islamabad 44000 Pakistan Umm Al Qura Univ Comp Engn Dept Mecca 21955 Saudi Arabia Hamad Bin Khalifa Univ Coll Comp Sci & Engn Doha Qatar

The improved productivity and reduced time-to-market are essential requirements for the development of modern embedded systems and, therefore, the comprehensive as well as timely design verification is critical. Assertion based Verification (ABV) is a renowned paradigm to timely achieve an optimum test coverage, either through static or dynamic techniques. However, the major limitation with ABV is its inherited low-level implementation complexity. In order to simplify its execution, various model based system engineering approaches provide a higher abstraction layer. Nevertheless, the complete verification requirements, targeting the static as well as dynamic ABV at the same time in a unified framework, are not being addressed. Furthermore, the dynamic verification support is provided through some traditional languages (like C, Verilog) where the advanced ABV features cannot be exploited. Consequently, this article introduces the MODEVES (model-based DEsign Verification for Embedded systems) framework to simultaneously support the static and dynamic ABV. Particularly, the UML (Unified modeling Language) and SysML (systems modeling Language) diagrams are used to model the structural and behavioral requirements. Moreover, the NLCTL (Natural Language for Computation Tree Logic) is proposed to include the verification requirements for static ABV while the SVOCL (systemVerilog in Object Constraint Language) is used to represent the dynamic verification constraints. An open source transformation engine is developed to automatically generate the systemVerilog Register Transfer Level (RTL) code, Timed Automata model, systemVerilog assertions and Computation Tree Logic (CTL) assertions with minimum transformation losses. The significance of the MODEVES framework is established through several case studies and the quantitative analysis shows an improvement of almost 100% in design productivity, as compared to the conventional low-level implementations.

关键词： Assertion based verification computation tree logic embedded systems model based system engineering systemverilog assertions timed automata unified modeling language (UML)

来源：评论

学校读者我要写书评

暂无评论

Toward Objective Assessment of Simulation Predictive Capability

引用

JOURNAL OF AEROSPACE INFORMATION systemS 2023年第3期20卷 152-167页

作者： Haellqvist, Robert Eek, Magnus Braun, Robert Krus, Petter Saab AB Aeronaut Dept Syst Simulat & Concept Dev S-58254 Linkoping Sweden Swedish Natl Rd & Transport Res Inst VTI Vehicle Syst & Driving Simulat S-58330 Linkoping Sweden Linkoping Univ Dept Fluid & Mechatron Syst FLUMES S-58183 Linkoping Sweden

Two different metrics quantifying model and simulator predictive capability are formulated and evaluated;both metrics exploit results from conducted validation experiments where simulation results are compared to the corresponding measured quantities. The first metric is inspired by the modified nearest neighbor coverage metric and the second by the Kullback-Liebler divergence. The two different metrics are implemented in Python and in a here-developed general metamodel designed to be applicable for most physics-based simulation models. These two implementations together facilitate both offline and online metric evaluation. Additionally, a connection between the two, here separated, concepts of predictive capability and credibility is established and realized in the metamodel. The two implementations are, finally, evaluated in an aeronautical domain context.

关键词： High Performance Computing Probability Density Functions Aeronautics model based system engineering Flight Testing Functional Mock-Up Interface (FMI) system Structure and Parameterization (SSP) Predictive Capability Simulation Credibility modelica

来源：评论

学校读者我要写书评

暂无评论

Digital engineering Development in an Academic CubeSat Project

引用

JOURNAL OF AEROSPACE INFORMATION systemS 2021年第10期19卷 649-660页

作者： Honore-Livermore, Evelyn Birkeland, Roger Bakken, Sivert Garrett, Joseph L. Haskins, Cecilia Norwegian Univ Sci & Technol Dept Elect Syst N-7491 Trondheim Norway Norwegian Univ Sci & Technol Dept Engn Cybernet N-7491 Trondheim Norway Norwegian Univ Sci & Technol Dept Mech & Ind Engn N-7491 Trondheim Norway

Digital engineering is increasingly introduced for managing and supporting the development of systems for space. However, few academic teams have the competency needed to manage projects using digital engineering and systems engineering. The subject of this paper is an academic CubeSat project in which a variety of digital engineering techniques are used. The tailoring that has been applied to fit the academic environment including students from different disciplines and levels of maturity is described. This paper shows how a customized Scrum methodology for hardware and software integrated with a workflow in a digital tool environment has given positive results for both the team and the system development. This paper also discusses how to introduce new members to the team and how to train them to work with digital engineering as a multidisciplinary team. This paper presents how the systems engineering and project management activities have been integrated into the academic CubeSat project, evaluate how well this fusion worked, and estimate its potential to be used as a guide for other digital engineering projects.

关键词： Small Satellites model based system engineering Software Development Cyber Physical system Commercial off the Shelf Software Architecture Integration Testing Space Environment ESA Electrostatic Discharge

来源：评论

学校读者我要写书评

暂无评论

Analytical modeling Framework and Applications for Space Communication Networks

引用

JOURNAL OF AEROSPACE INFORMATION systemS 2013年第10期10卷 452-466页

作者： Spangelo, Sara Cutler, James Univ Michigan Dept Aerosp Engn Ann Arbor MI 48109 USA

There is a growing number of resource-constrained small satellites that are currently performing and are proposed to accomplish novel science and technology missions. These missions seek to download large quantities of data to ground-station networks that currently have limited ability to support these missions. This limitation motivates the development of modeling and simulation tools to assess and optimize these mission scenarios. In this paper, we develop an extensible, analytical modeling framework for satellite operations. This framework captures dynamic states, subsystem functions, and interactions of the satellite with the external environment and ground-communication networks. This foundational framework enables assessment and optimization of complex space and ground networks under both deterministic and stochastic conditions. We apply this framework to develop a communication-focused model for an operational satellite mission. We implement the analytical model in a simulation environment and use realistic data from the surveyed small-satellite and ground-station community to assess the impact of satellite and network parameters on the potential for communication. Our simulations compare satellite downlink requirements and objectives with the constraint-based communication potential of diverse missions and ground networks. These results identify deficient and excess capabilities and motivate the need for optimal scheduling algorithms.

关键词： Space Communication Networks Fast Auroral Snapshot Explorer Satellite Networks Satellite Ground Station Eclipses Mars Science Laboratory Inclined Orbit model based system engineering Orbital Inclination Earth

来源：评论

学校读者我要写书评

暂无评论

CFD Validation: Illustrations of Mutual Accountability and Validation Dialog throughout the engineering Lifecycle

CFD Validation: Illustrations of Mutual Accountability and V...

引用

AIAA SciTech Forum

作者： Taylor, Nigel Schindel, William MBDA UK Ltd Aerodynam Tools & Methods Bristol BS34 7QW Avon England ICTT Syst Sci Terre Haute IN 47803 USA

ISBN: (数字)9781624107115

ISBN: (纸本)9781624107115

This paper is one of three being presented at this conference (AIAA SciTech 2024) considering how the principles of mutual accountability and validation dialog may be applied to address shortfalls in the current status of CFD validation when viewed in the context of the NASA CFD2030 Vision. By appealing to principles that have been refined and proven over many decades throughout the engineering and scientific communities, it is shown how the practices that have been developed specifically to support computational model validation may be viewed consistently with other means of accomplishing validation. In addition, the concept of a model validation landscape is introduced. This allows the various approaches that may be taken toward computational model validation - from the heuristic to the rigorously quantified - to be viewed from a consistent perspective. Specific opportunities that may arise as a result of the improved communication (validation dialog) afforded between stakeholders are also identified. A simplified analysis is presented to illustrate how fragmentation in the overarching model development lifecycle has contributed to the current shortfall in validated CFD capability. It is recommended that the principles and analysis described herein are refined and extended to apply to a much broader set of computational modelling scenarios. The scope of this endeavour should extend beyond CFD and beyond the aerospace sector. One of its more immediate goals should be the publication of a broader series of guidelines on computational model validation that serve the stakeholder community as a whole.

关键词： Uncertainty Quantification NASA Aerospace model based system engineering Bayesian Networks Turbulence models Digital Thread Metadata Fluid Flow Advanced Manufacturing

来源：评论

学校读者我要写书评

暂无评论

model-based Multidisciplinary systems Design Optimization of a Novel Solar MultiPurpose Drone Helicopter (SMPCOPTER)

Model-based Multidisciplinary Systems Design Optimization of...

引用

AIAA Aviation Forum

作者： Bataleblu, Ali Asghar Abedini, Arian Hassanalian, Mostafa Free Univ Bozen Bolzano Fac Engn Bolzano Italy KN Toosi Univ Technol Dept Aerosp Engn Tehran Iran New Mexico Inst Min & Technol Dept Mech Engn Socorro NM 87801 USA

ISBN: (数字)9781624107047

ISBN: (纸本)9781624107047

During the last decade, energy use in the transportation and distribution sector has been greatly changed by remarkable growth in delivery drones in the direction of sustainable development. In this respect, this paper introduces a novel reconfigurable drone called "SMPCOPTER" by considering reliability and sustainability as paramount goals. The SMPCOPTER is a hybrid helicopter with puller-pusher rotors comprising a 2DOF tilting mechanism, a folding wing system covered with solar panels, and subsystems modularity enabling it to fly in three configurations an airplane, helicopter, and gyrocopter. The conceptual design of this novel configuration is performed by providing a bridge between model- based systems engineering (MBSE) and multidisciplinary design optimization (MDO) using MATLAB system Composer and doing co-simulation between considered disciplines such as propulsion, weight and balance, OpenVSP, and performance. A multi-objective MDO is executed to propose optimal feasible configurations by maximizing range, minimizing gross weight, and fulfilling stability constraints. The proposed configuration improves the reliability of delivery drones as well as the sustainability pillars by applying systems thinking within the design process.

关键词： Helicopter Rotor Unmanned Aerial Vehicle Multidisciplinary Design and Optimization Convertiplane model based system engineering Gyrocopter OpenVSP MATLAB Folding Wing High Altitude Long Endurance

来源：评论

学校读者我要写书评

暂无评论

Connecting model-based systems engineering and Multidisciplinary Design Analysis and Optimization for Aircraft systems Architecting - A case study within the AGILE4.0 project

Connecting Model-based Systems Engineering and Multidiscipli...

引用

AIAA Aviation Forum and Exposition

作者： Jeyaraj, Andrew Tabesh, Nikta Liscouet-Hanke, Susan Concordia Univ Dept Mech Ind & Aerosp Engn Montreal PQ Canada

ISBN: (数字)9781624106101

ISBN: (纸本)9781624106101

The aerospace industry has set ambitious targets to meet environmental goals while under pressure to develop novel and optimized aircraft configurations effectively. Multidisciplinary Design Analysis and Optimization (MDAO) are increasingly used to optimize aircraft and their systems. model-based system engineering (MBSE) methods show the potential to make the design process more effective, integrate new disciplines, and capture complex certification constraints. Today, MBSE and MDAO are not connected;different methods and tools are used, not harvesting the full potential of both approaches. This paper discusses the need for improved system architecting in the aircraft conceptual design process and introduces a framework to use MBSE in connection to MDAO. In this framework, the MBSE environment compiles system information within a system architecture specification, acting as the backbone and visual support for each stage in the systems architecting process. MDAO is used for the evaluation of system architectures. This paper presents a case study as part of the EU-funded AGILE4.0, in which the specific link between model specification in the MBSE tool Capella and a system-level MDAO workflow is explored. Overall, this paper presents a practical contribution to linking MBSE and MDAO and paves the way for better integration of MBSE into the aircraft design process, thereby enabling MBSE implementation from conceptual design onwards. Furthermore, this will enable more detailed system analysis, such as safety analysis, starting in conceptual design, based on architecture models.

关键词： model based system engineering Aircraft systems Aircraft Design Process Aircraft Conceptual Design Aircraft Configurations Aerospace Industry Flight Control system Space Exploration Control Surfaces Eclipse modeling Framework

来源：评论

学校读者我要写书评

暂无评论

Creating a Universal Communication Standard to Enable Heterogeneous Multidisciplinary Design Optimization

Creating a Universal Communication Standard to Enable Hetero...

引用

AIAA SciTech Forum

作者： Lupp, Christopher A. Xu, Alexander Air Force Res Lab Air Vehicles Directorate Wright Patterson AFB OH 45433 USA Univ Dayton Res Inst Dayton OH 45469 USA

ISBN: (数字)9781624107115

ISBN: (纸本)9781624107115

Many modern engineering problems are inherently multidisciplinary, requiring input from a variety of subject matter experts. Each discipline may impose its own computational requirements, potentially conflicting with other disciplines. Compounding this, in many fields, experts use specific software that may not interface easily with other disciplines. Therefore, combining multiple fields into multidisciplinary design optimization (MDO) may entail significant work on analysis tool interfaces. This paper proposes a standard data and communication interface for MDO applications. Requirements for such a standard are discussed before reviewing relevant technologies. The data conventions and communication protocol for the proposed standard, Philote, are detailed for both explicit and implicit disciplines. Numerical studies were conducted to benchmark performance and quantify latency as well as to demonstrate Philote's ability to operate over large geographical distances. Finally, the wider ramifications of the proposed standard are discussed with a particular focus on heterogeneous and cloud-native computing.

关键词： Multidisciplinary Design and Optimization Computing Approach Application Programming Interface Blended Wing Body OpenMDAO model based system engineering Extensible Markup Language Computational Fluid Dynamics Metadata Air Force Research Laboratory

来源：评论

学校读者我要写书评

暂无评论

Demonstrating the Practicality of a Space systems Ontology through an Example system

Demonstrating the Practicality of a Space Systems Ontology t...

引用

AIAA SciTech Forum

作者： Johnson, Hamilton E. Sriman, Prithiv Thomas, L. Dale Kannan, Hanumanthrao Univ Alabama Huntsville Huntsville AL 35899 USA

ISBN: (数字)9781624107115

ISBN: (纸本)9781624107115

This paper provides an overview of the current progress in developing and evaluating the initial version of the Common Space systems Ontology (CSSO) for implementation within NASA's Advanced Concepts Office (ACO) at Marshall Space Flight Center. The CSSO serves as a shared conceptual framework for modeling aerospace system concepts in a Pre-Phase A conceptual design context, facilitating the transition towards a more model-based paradigm. The ontology has been primarily constructed using the Ontological modeling Language (OML). While the majority of the ontology is still in its early stages of development, this paper outlines the ongoing efforts and presents the current status of the CSSO. The completeness and effectiveness of the CSSO is evaluated through the modeling of an example system: the Lynx X-ray Observatory. This case study enables evaluation of the CSSO's capability in meeting the specific use cases identified by the ACO. Recommendations for improvements to the CSSO based on this study are provided, along with suggestions for future development.

关键词： Space systems NASA marshall space flight center Aerospace engineering Bipropellants Propulsion Subsystem Nuclear Thermal Propulsion system model based system engineering Avionics Environmental Control and Life Support Chemical Propulsion system

来源：评论

学校读者我要写书评

暂无评论

A systematic Methodology for Populating the Aircraft Thermal Management system Architecture Space

A Systematic Methodology for Populating the Aircraft Thermal...

引用

AIAA Science and Technology Forum and Exposition (AIAA SciTech Forum)

作者： Shi, Mingxuan Gladin, Jonathan Mavris, Dimitri N. Georgia Inst Technol Sch Aerosp Engn Aerosp Syst Design Lab Atlanta GA 30332 USA

ISBN: (数字)9781624106095

ISBN: (纸本)9781624106095

The aircraft thermal management system functions to provide suitable working conditions for pilot, crew, passengers, and the other aircraft systems. The additional weight, drag and power consumption caused by it greatly influences the performance of the aircraft. However, due to rising heat load of emerging novel aircraft concepts, traditional design approaches which rely on data and empirical equations may not apply to the future thermal management systems. Many existing literature which tried to identify the optimal thermal management system architectures only considered limited architecture space where the candidates were pre-selected in terms of experience or intuition. Therefore, viable but non-intuitive architectures may not be included in the design space. To fill this gap, this paper proposes a behavior-based back-tracking methodology to systematically populate the architecture space by enumerating both intuitive and non-intuitive architectures. Thermal management requirements for traditional and novel configurations are used to generate the architectures. By comparing the generated architectures with existing ones, this paper validates that the proposed methodology is capable of generating both intuitive and non-intuitive architectures.

关键词： Commercial Aircraft Power and Thermal Management system Aircraft systems Pilot Environmental Control system Heat Sinks Closed Loop system model based system engineering Jet Engines Refrigerants

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：