Browse Topic: Electric power

Items (741)
Propeller driven rotors utilize propellers on the main rotor blade to spin the rotor. Past research efforts have highlighted dynamic issues that arise from the rotor-propeller Coriolis interaction. For this paper, a comprehensive multi-body analysis methodology, called Elastic Rotorcraft Analysis (ERA), was applied to various propeller driven rotor datasets. The focus of the modeling effort was on propeller driven rotor twirl phenomenon, which arises from rotor-propeller inertial couplings interacting with rotor blade modes. After describing the phenomenon, the paper is split into two parts: validations and predictions. In Part I of the paper, the ERA propeller driven rotor model was validated using three datasets: (i) a propeller flapping vacuum chamber experiment, (ii) a propeller/rotor loads vacuum chamber experiment, and (iii) a propeller driven rotor hover experiment. The ERA model showed good agreement with the data, and captured the important rotor-propeller Coriolis interaction. In Part II of the paper, predictions for several propeller driven rotor configurations were generated and analyzed. Loads were computed for an isolated propeller and are compared to propeller loads during propeller driven rotor operation. The analysis showed that operating the propeller on the rotor blade introduces significant inertial loads on the propeller. Finally, propeller placement along the main rotor blade span was investigated. The results of the present study agree with earlier research, which showed placing the propeller at the midspan location reduced the electrical power coefficient by nearly half compared to a tip mounted propeller.
Brown, RobertGul, SeyhanChopra, Inderjit
Researchers at the National Aeronautics and Space Administration (NASA) have conducted a series of module-level 50-ft dynamic drop tests on electric Vertical Take-off and Landing (eVTOL) Energy Storage Systems (ESS) for the generation of dynamic impact data to support standards developments. The tests were conducted on zero-state-of-charge Electric Power Systems (EPS) Electric Propulsion Ion Core (EPIC) modules at the National Institute for Aviation Research (NIAR), utilizing the NIAR outdoor drop test setup and conducted by NIAR test personnel. Four total tests were conducted on modules oriented in four different orientations. During initial post-test inspections at the drop facility, it was observed that the modules experienced varying amounts of damage in various locations and forms. The damage was quantified to the maximum extent possible via photogrammetric methods such as digital image correlation and marker tracking. Post-test modules were then disassembled, and forensics were conducted, which involved inspections into various containment structures and the cells themselves. A scoring rubric was developed in order to utilize a common methodology to quantitatively assess the damage incurred into each module as way of determining the least and most amount of damage present. Results in the form of post-test inspections, digital image correlation deformations, and scoring rubric values will be all presented, along with proposed paths forward for future work.
Ellafrits, ShayGardner, NathanielLittell, Justin
Aircraft Certification is a mature and complex bureaucracy that has successfully ensured a very high degree of safety of aircraft design, construction, operation and maintenance. Outside of a very few doing the work, there is a general lack of knowledge of certification details. For novel technologies such as electric power, and innovative configurations such as multi-rotors, the rules are far less mature and still emerging and so also poorly understood. Within the Advanced Air Mobility (AAM) initiative, many new aircraft developments are underway using novel configurations, and the public announcements of regulatory progress toward FAA or EASA Type Certification capitalize on this ignorance by being vague or even misleading. Honeywell conceived the Regulatory Readiness Level (RRL) indicator as an objective measure of certification status to serve the AAM industry and ecosystem, with applicability across aviation. The released RRL Version 1 now enables credible, objective assessment of new aircraft progress toward FAA Type Certification, and Operational Approval for Part 135 operations, to allow consistent apples-to-apples comparisons with other aircraft in development. An emerging complementary version of the rubric for EASA Type Certification is ready for publication to enable RRL determination against the European Union criteria. Future releases will consider other Nation's regulatory authorities, supplemental types certifications (STCs), and risk-based airworthiness assessments such as the Specific Operations Risk Assessments (SORA).
Agrawal, PulkitNewman, Daniel
Researchers at the National Aeronautics and Space Administration (NASA) have conducted a series of module-level tests on electric Vertical Take-off and Landing (eVTOL) Energy Storage Systems (ESS) for the generation of dynamic impact data to support standards developments. The tests were conducted on zero-state-of-charge Electric Power Systems (EPS) Electric Propulsion Ion Core (EPIC) modules at the National Institute for Aviation Research (NIAR), utilizing the NIAR outdoor drop test setup and personnel. Four total tests were conducted. For each test, the module was dropped at a specific orientation from a height of 50 feet while connected to a guided trolley in order to assess the effects of a 50-foot drop test on the ESS. The test velocities ranged between 46.9 and 52.8 ft/s with impact angles ranging between a flat, zero-degree impact and 18 degrees. Data were recorded in the form of temperatures, cell-level voltage, module level acceleration and digital image correlation from the tests. Accelerations were in the range of 1,500 g for a few millisecond duration, which were indicative of a shock type loading condition. No modules entered thermal runaway, and post-test inspections revealed a variety of internal deformations and damage present in the various modules tested, with specific damage occurring for specific orientations. The modules were ranked according to a custom developed scoring rubric developed by utilizing the test and post-test inspection results. The results were compiled, reported, and will be used to guide future ESS testing. Part 1 discusses the loading environments in the modules, while Part 2 will discuss the deformation and damage in the modules.
Littell, JustinGardner, NathanielEllafrits, Shay
Improved Energy Management System for Airplane Electrical Power2021-01-00083/2/2021
As commercial transport aircraft progress toward a future More Electric Airplane (MEA) there are numerous opportunities to improve energy management of the electrical power system. Improved energy management of the airplane electrical power system not only has the potential to decrease the weight and improve the efficiency of the system, but also to improve system stability and reliability. This paper analyzes re-architecting of an MEA airplane electrical power system in order to better manage the current electrical loads. It also considers the use of new sources of power generation and energy storage that would enable improved energy management for a new improved MEA such as fuel cells, batteries and super capacitors. The analysis uses data associated with current methods for calculating electrical loads and evaluates how the energy management of those loads can be improved with a better understanding of their usage in various flight phases, their criticality, and their power quality requirements. It also investigates how the re-architecting of different loads can be used to improve airplane dispatch reliability and improve system stability. Finally, it examines how the efficiency of various systems, in conjunction with improved energy management, can be used to result in a better controlled, more efficient and reliable airplane. The results of these improvements in energy management are included in new MEA power system architecture to summarize the benefits.
Breit, Joseph Sherman
The scope of this report will document the various voltage levels and provide a rational for each level as discussed and agreed to in the AE-7 committee.
AE-7C Systems
This paper presents an object-oriented, equation-based framework for multi-engineering modeling of a quadrotor UAV, which includes the rigid body dynamics, simplified aerodynamics, gyroscopic effects, electrical power system and battery losses, and DC motor dynamics. An open-source drone modeling library is introduced by explaining the mathematical models and multi-domain components used to model the drone. Animation and visualization techniques for the drone using CAD models are also introduced and explained. The proposed drone model is simulated under different flight scenarios using motor and power system models with different levels of detail, aiming to provide better means for design and understanding, of multi-engineering aspects of UAVs. This model provides a foundation for future UAV open-source model development, electrified power propulsion design, visualization and interaction, and system identification.
Podlaski, MeaghanVanfretti, LuigiNademi, HamedChang, Hao
This paper analyses the possibility of using hydrogen fuel cells as main energy provider for small to medium-sized eVTOL UAVs. A simplified model for eVTOL UAVs, which covers all relevant areas of aircraft design, including aerodynamics, structural mechanics, propulsion and systems modelling, is presented. Sensitivity studies with various design parameters, including aspect ratio and design cruise speed are performed to show their influence on the configurations’ performance. A comparison between pure battery electric and fuel cell hybrid UAVs is taken. The result of this paper is, that a hydrogen fuel cell hybrid configuration can have a better performance than a battery electric and it can be worth the effort to implement the fuel cell. To achieve this, the mission should require a long endurance and have hover and transition times reduced as far as possible, which both enable the high energy density of the hydrogen system to unfold its full potential. Also, the aircraft needs to be as aerodynamic efficient as possible in order to reduce the fixed weight of the hydrogen fuel cell. Respecting these requirements and accepting a reduced versatility of the aircraft, a fuel cell hybrid eVTOL UAV can easily outperform one with a pure battery electric power supply.
Seren, ThomasHornung, Mirko
Development of RC-IGBT with a New Structure That Contributes to Both Reduced Size of Power Control Unit and Low Loss in Hybrid Electric Vehicles2020-01-05964/14/2020
In order to improve the fuel efficiency of Hybrid Electric Vehicles (HEVs), it is necessary to reduce the size and power loss of the HEV Power Control Units (PCUs). The loss of power devices (IGBTs and FWDs) used in a PCU accounts for approximately 20% of electric power loss of an HEV. Therefore, it is important to reduce the power loss while size reduction of the power devices. In order to achieve the newly developed PCU target for compact-size vehicles, the development targets for the power device were to achieve low power loss equivalent to its previous generation while size reduction by 25%. The size reduction was achieved by developing a new RC-IGBT (Reverse Conducting IGBT) with an IGBT and a FWD integration. As for the power loss aggravation, which was a major issue due to this integration, we optimized some important parameters like the IGBT and FWD surface layout and backside FWD pattern. As a result, it was possible to avoid the snapback characteristic (IGBT loss aggravation). In addition the substrate thickness was reduced by 24% compared to its previous generation. In order to address the deterioration of breakdown voltage due to a thinner substrate, the buffer layer structure was optimized to achieve the loss target while ensuring both high breakdown voltage performance and reliability. Parts reduction of the power module equipped with this new RC-IGBT greatly contributed to achieving downsizing and low power loss of the newly developed PCU, and helping the improvement of fuel efficiency for new compact-size HEVs.
Murakami, KoichiRahman, TasbirKimura, KeisukeKonishi, MasakiIguchi, HirokoKawaji, Sachiko
Effect of Oil Viscosity and Driving Mode on Oil Dilution and Transient Emissions Including Particle Number in Plug-In Hybrid Electric Vehicle2020-01-03624/14/2020
Plug-in electric vehicle (PHEV) has a promising prospect to reduce greenhouse gas (GHG) emission and optimize engine operating in high-efficiency region. According to the maximum electric power and all-electric range, PHEVs are divided into two categories, including “all-electric PHEV” and “blended PHEV” and the latter provides a potential for more rational energy distribution because engine participates in vehicle driving during aggressive acceleration not just by motor. However, the frequent use of engine may result in severe emissions especially in low state of charge (SOC) and ahead of catalyst light-off. This study quantitatively investigates the impact of oil viscosity and driving mode (hybrid/conventional) on oil dilution and emissions including particle number (PN). Two cycles, WLTC (World-wide Harmonized Light Duty Driving Test Cycle) and continuous ECE 15 (European Driving Cycle), were adopted and initial SOC was controlled in the range of 10-13%, which can induce more engine start events. Oil dilution is detected through method of ASTM D3525-04 to identify dilution rate under different conditions. Results show that both in WLTC and ECE 15, frequent engine start will causes high PN and unburned hydrocarbon emissions while NOx is substantially reduced due to relatively low engine loads except in first cold start. Intermittent engine start also significantly accelerates dilution rate but this rate for 5W-30 increases more rapidly than 0W-20 does in hybrid driving mode. Moreover, 5W-30 oil increases fuel consumption due to higher friction work compared to 0W-20 does and the emission of PN along with NOx and THC is also increased.
Fan, QinhaoWang, YunfeiXiao, JianhuaWang, ZhiLi, WeiziJia, TianZheng, BinTaylor, Robert
Extended Endurance Unmanned Aerial Vehicle via Structural Electrical Power Storage and Energy Generation Devices2020-01-00413/10/2020
As the application of unmanned aerial vehicles (UAV) have increased in the military, commercial and private sectors, special attention has been focused on improving upon high altitude long endurance (HALE) performance. Therefore, under a multi-year, multi-discipline senior project team comprised of Aerospace Engineering, Electrical Engineering, Computer Engineering, Mechanical engineering, and Chemical Engineering undergraduate teams, investigative and experimental research has begun into the substitution of various aircraft structural components with power storage and power generation devices used also as structure to improve flight endurance and performance capabilities of solar powered UAVs. One viable solution may be found in the reduction of the amount of parasitic weight due to the required power systems on board these types of aircraft. These power systems are usually found in the form of energy storage devices such as lithium polymer batteries and energy generation devices such as solar cells. This path led to the innovation of the ‘Flying Battery’. The ‘Flying Battery’ integrates various free energy generating devices such as structural solar cells, structural energy storage devices, thermo-electric generators, and vibration induced power generators to create a flying structure that will be more efficient overall. By weighting the design factors for the power systems by their structural strengths and stiffnesses, the power-to-weight ratio of the aircraft may be significantly improved in the long run while also enabling a structure that may withstand the various nominal and off-nominal aerodynamic loading conditions experienced during flight. This paper discusses the mission operations, methods of testing and the progress achieved thus far toward achieving potential endurance and efficiency increases in unmanned aerial vehicles. These will be done through laboratory and eventual model flight experiments of novel structural designs for graphene super-capacitors, solar cells, and other power generation devices.
Oetting, Geoffrey Smith
Optimal Sizing and Energy Management of a Microgrid Using Single and Multi-Objective Particle Swarm Optimization under Autonomous and Grid Connected Mode2019-28-015810/11/2019
The conventional energy sources are getting depleted while at the same time the energy demand keeps growing. Hence, it is important to consider non-conventional energy sources to meet future energy demands. The renewable energy based microgrid system is one of the promising solutions to meet this increasing energy demand. The major parameters under consideration in a micro-grid system are cost-effectiveness, quality of service and energy management. This work concentrates on the energy management of the Photovoltaic/Wind based microgrid system connected to the fuel cell, microturbine and battery under Islanding (or) Autonomous mode and Grid-Connected Mode. The current model of PV, Wind and Battery systems are employed. The Wind, PV and Battery types are chosen from i-HOGA. The optimal combination of these sources with the aim of minimizing the operating cost, pollutant treatment cost and maximizing reliability using both single and multi-objective particle swarm optimization (PSO) has been considered. This microgrid has also been analyzed under three different strategies for both grids connected and islanded mode and the best energy management strategy is obtained after analysis. In addition to this, the type and number of PV, Wind, and Battery to meet the forecasted demand are determined under islanding mode using Multi-Objective Particle Swarm Optimization (MOPSO). A solitary best-accepted solution is attained from Fuzzy membership function. The algorithm proposed decides the optimal number of units and types of units selected to achieve the optimal cost. The simulation has been performed in MATLAB environment.
Dayalan, SuchitraRathinam, RajarajeswariValliappan, Subramaniyan
Robust NVH Engineering Using Experimental Methods - Source Characterization Techniques for Component Transfer Path Analysis and Virtual Acoustic Prototyping2019-01-15426/5/2019
A major challenge in automotive NVH engineering is to approach complex structure-borne sound and vibration problems with sufficient accuracy but reasonable experimental effort. Typical issues encountered are poor correlation between objective component performance criteria tested for during bench validation and corresponding subjective targets evaluated during system validation in the actual vehicle. Additional challenges arise from the need to impose assumptions on sophisticated physical vibration problems to reduce the complexity to a level feasible for conventional experimental test methods. This paper addresses all mentioned issues by elaborating on a system NVH engineering approach employing Virtual Acoustic Prototyping (VAP) (related to what is now often called component Transfer Path Analysis) to synthesize time domain sound and vibration responses of vibrating machinery operated in a virtual vehicle environment. One crucial step of VAP is to characterize the strength of vibrating machinery by independent quantities at the significant coupling degrees of freedom (DoF). This study puts special focus on the measurement of free velocity, suitable for machinery operated when resiliently mounted as per ISO 9611, and the in-situ measurement of blocked forces, applicable for sources connected to any type of receiving structure during operation, as per ISO/DIS 20270. In order to reduce complexity of the underlying measurements this paper investigates the possibility of using collocated sensor arrays and methods to validate assumptions imposed to abstract away from rotational coupling DoF. An electric power steering (EPS) system inducing vibrations into a sub-frame-type structure is considered as a representative automotive source-receiver installation to investigate the feasibility of free velocity and in-situ blocked force approach with respect to independent source characterization for component Transfer Path Analysis (TPA) and VAP. The obtained Virtual Acoustic Prototype is expanded using an algorithm to synthesize realistic time domain data, enabling NVH engineers to conduct reliable objective and subjective design evaluations.
Wienen, KevinSturm, MichaelMoorhouse, AndyMeggitt, Joshua
This paper describes the development of performance prediction models for the electric powertrains of group 1 unmanned aerial systems (G1UAS) that use sensorless brushless DC (BLDC) motor architecture consisting of a BLDC motor, electronic speed controller, and a battery. Per US Army definitions, G1UAS are platforms that weigh less than 20 lb. (9 kg). The resulting semi-empirical models for the motor, power electronics, and battery use high-level component specifications to enable pre-conceptual design space exploration and mission-based design optimization of G1UAS without a library of test data. The models also enable tradeoffs analysis between existing and/or conceptual designs without a series of flight tests. To develop, tune, and validate the models, a custom dynamometer test setup was designed and built to measure torque, speed, and electrical power data of small-scale motor drive systems. The validated models reveal that popular claims of high efficiency for electric powertrains are only valid in a narrow band of high speed/low torque operation. This is a critical finding for vehicle designers in the VTOL industry who are increasingly transitioning to electric powertrains in low speed/high torque applications which may decrease the overall system efficiency. A traditional rotor hover test stand was also developed to generate data with a traditional rotor load. The integrated motor and electronic speed controller model was able to predict the total efficiency of the hover stand tests within 5 percent of experimental values. The electrical models presented in this work can be immediately applied to design G1UAS given the torque and speed requirements of the rotors/propellers, the operating voltage of the vehicle system, and certain high-level component specifications for the motor, electronic speed controller, and battery. The models can also be used to BLDC powertrains for small terrestrial or aquatic electric vehicles.
Saemi, FaridBeals, NathanBenedict, Moble
Advances in electric propulsion may provide the opportunity to incorporate multiple distributed propulsors through the use of electric drives and electric power transmission at dramatically lighter weights than mechanical drivetrains. While small-scale UAS (0-20lb) have achieved distributed electric drivetrains, the electro-chemical power-sources do not scale and are weight prohibitive for larger UAS and future eVTOL aircraft with practical range, endurance, and payload requirements. An alternative to the electro-chemical powertrain is the hybrid-electric powertrain. In this paper, a variable-voltage hybrid-electric powertrain is designed, constructed, and tested carefully to examine the effects of variable-voltage generators for variable-RPM electric drives. The paper examines the powertrain component by component, with over 370 test points, from a single electric drive to an integrated powertrain with four distributed propulsors, in a fully instrumented test bed.
Mills, BrentDatta, Anubhav
Icing of the fuselage and blades may occur when the helicopter is flying in the icing area. If ice accretion occurs in the ADS(Air Data System) of the fuselage, normal speed and altitude information are lost, making it difficult to flight. When windshield icing occurs, the view of pilot is limited and flight is difficult. Also, the ice accretion of the blades deforms the outer shape of the blades (Ref. 1) and makes the dynamic characteristics unstable due to an abnormal weight increase, resulting in deterioration of performance, deterioration of maneuverability, and structural instability. To avoid this, an anti-icing or de-icing system is required. Therefore, if the aircraft is not fitted with a proper anti-icing system, it is not possible to operate under icing conditions. However, it is difficult to design a proper anti-icing system considering the position of anti-icing protection area and icing phenomenon due to limitation of electric power, weight, thermal damage temperature limit, shape and so on. It is essential of understanding of anti-icing mechanism for selection and design of appropriate anti-ice system considering configuration (impingement limit, collection efficiency), material (thermal fatigue limit, heating source) and icing amount (collection efficiency, stagnation point). This paper introduces the preparation procedure (analysis and simulation, design, scaled model test) of icing certification test and the artificial/natural icing flight test method for proving helicopter icing through KUH case, and describes the characteristics of each system for the de/anti-icing system design of the helicopter, the computational analysis method, comparison with the test result, and the improvement method of the de/anti-icing system.
Park, NameunKim, JikLee, SangWoo, CheolKim, HyungHwang, Yoo
48V Mild-Hybrid Architecture Types, Fuels and Power Levels Needed to Achieve 75g CO2/km2019-01-03664/2/2019
48V mild hybrid powertrains are promising technologies for cost-effective compliance with future CO2 emissions standards. Current 48V powertrains with integrated belt starter generators (P0) with downsized engines achieve CO2 emissions of 95 g/km in the NEDC. However, to reach 75 g/km, it may be necessary to combine new 48V powertrain architectures with alternative fuels. Therefore, this paper compares CO2 emissions from different 48V powertrain architectures (P0, P1, P2, P3) with different electric power levels under various driving cycles (NEDC, WLTC, and RTS95). A numerical model of a compact class passenger car with a 48V powertrain was created and experimental fuel consumption maps for engines running on different fuels (gasoline, Diesel, E85, CNG) were used to simulate its CO2 emissions. The simulation results were analysed to determine why specific powertrain combinations were more efficient under certain driving conditions. As expected, the greatest influence on emissions was from powertrain architectures. Increased electric power levels (from 8 kW to 20 kW) allowed more brake energy to be recovered, reducing CO2 emissions by 2 - 16% depending on the driving cycle. The P2 and P3 architectures with even low electric motor power level offered substantially better fuel efficiency (by 19% on average) than a conventional powertrain with a start-stop system, whereas the P0/P1 architectures offered average improvements of only 4% for different power levels and driving cycles. In the P0 and P1 architectures, engine friction severely limited energy recovery during braking and made electric propulsion infeasible due to significantly increased power demands. The P2 and P3 architectures allow the engine to be decoupled from the powertrain and so avoid this problem. Overall, the 48V P2/P3 powertrains allowed for significant improvements in CO2 emissions when used with CNG, E85 or diesel fuel. 75 g/km target value was predicted to be achievable with CNG-fuelled systems under the NEDC and WLTC cycles, and possibly even under RTS95 on a well-to-wheel basis when using a renewable fuel such as E85.
Melaika, MindaugasMamikoglu, SarpDahlander, Petter
Thermal Analysis of Aircraft Auxiliary Power Unit: Application of Chemical Looping Combustion2019-01-13903/19/2019
An “APU” (Auxiliary Power Unit) is a small gas turbine engine to provide supplementary power to an aircraft and is located at the tails of larger jets. APU generators provide auxiliary electrical power for running aircraft systems on the ground. Applications include powering environmental systems for pre-cooling or preheating the cabin, and providing power for crew functions such as preflight, cabin cleanup, and galley (kitchen) operation and long-haul airliners must be started using pneumatic power of APU compressor. The Honeywell 131-9A gas turbine APU has 440 kW shaft power and 90 kW electric generator consuming 120 kg fuel/hour. Here the traditional combustor of the APU is proposed to be replaced by a chemical-looping-combustion (CLC) system. CLC system consist of two reactor one is oxidation reactor (air reactor) and the other is reduction reactor (fuel reactor).The system is fluidized bed system in which activated metal-oxide(MeO) participates and circulates between the reactors .The metal-oxide (MeO) provides oxygen for combustion in the fuel reactor. The reduced metal is then transferred to air reactor before being reintroduced to the fuel reactor to complete the process. In this process isolation of fuel from air simplifies chemical reaction related to combustion and using oxygen without nitrogen tends to eliminate formation of NOx from flue gases which is basically CO2 and water vapor. The proposed APU gas turbine with CLC combustion is expected to revolutionize aviation transportation as it is more eco-friendly. The maximum gas temperature at the exit of CLC is 1300K which is similar to maximum gas turbine cycle temperature hence the integration of CLC system to gas turbine APU is promising . Thermal analysis of the chemical looping combustion system is proposed to be reported. Also likely emission benefits from the proposed system would also be reported.
Kumar, PrashantAKRAM, MDSingh, Anand ShankarS, Sanjay
Experimental Data of a Small-Size Gas ICE Driven Heat Pump (GHP) and Comparison of the Environmental Performance with an Electric Heat Pump2018-32-007010/30/2018
Worldwide, whenever thermal energy is required one of the most common supply solution is represented by the adoption of an electric heat pump. Nevertheless, other solutions may represent a valid option and the use of a Gas Heat Pump (GHP), based on an Internal Combustion Engine (ICE) fed by natural gas, is one of these. The experimental results of the operations of a GHP in a small-size enterprise in central Italy are presented: the test site, with its energy requests and technical constraints is described. Furtherly, a comparison with an electric heat pump is carried out by reproducing its behavior through a 1-D simulation tool developed in the Simulink environment. The advantages that the thermal generator based on the ICE can bring compared to an electric solution from the technical, economic, and environmental point of view are highlighted. In particular the latter aspect is analyzed considering the boundaries of different European Countries, whose energy mix for the electricity production determines different equivalent grid efficiencies. Finally, the main results are summarized in the conclusions, focusing the attention on the main advantages and most critical points which could affect the suitability of the installation of the ICE-based thermal generator instead of an electric heat pump.
Magnani, SandroBellissima, AlessandroAzuma, HiroshiDanti, Piero
A Methodology for Formal Requirements Validation and Automatic Test Generation and Application to Aerospace Systems2018-01-194810/30/2018
Automation on Validation and Verification (V&V) leveraging Formal Methods, and in particular Model Checking, is seeing an increasing use in the Aerospace domain. In recent years, Formal Methods have been used to verify systems and software and its correctness as a way to augment traditional methods relying on simulation and testing. Recent updates to the relevant Aerospace regulations (e.g. DO178C, DO331 and DO333) now have explicit provisions for utilization of models and formal methods. In a previous paper a compositional methodology for the verification of Aerospace Systems has been described with application to Electrical Power Generation and Distribution Systems. In this paper we present an expansion of the previous work in two directions. First, we describe the application of the methodology to the validation of Proximity Sensing Systems (PSS) requirements showing the effectiveness of the method to a new aerospace domain. Second, both the methodology and technology components have been expanded and applied to the PSS to enable automatic generation of test cases from the validated requirements models showing a novel application of formal models in an integrated process and toolset in new areas of application in the context of the Aerospace Domain.
Ferrante, OrlandoScholte, EelcoRollini, SimoneNorth, RobManica, LucaSenni, Valerio
Items per page:
1 – 50 of 741