Criteria

Text:
Affiliation:
Display:

Results

Viewing 1 to 30 of 40
2011-08-30
Technical Paper
2011-01-1742
Steffen Dehn, Christian Duelk, Sharath Srinivas, Avi Anthony Cornelio
The electric turbocharger is a promising type of air supply unit for future automotive fuel cell drive systems. It comprises of a centrifugal compressor, a variable geometry turbine and a permanent magnet synchronous motor assembled on a single shaft. Compared to other types of vehicular fuel cell air supplies, like for example a screw or roots compressor, it needs less installation space and has lower weight while also causing less noise and vibration. This paper presents a validated mechanistic model of the electric turbocharger. The stationary compressor model is based on a set of aerodynamic loss models with surge and stone wall line prediction capability. Similarly, the stationary variable axial turbine is a detailed station based model derived from aerodynamic losses at the turbine wheel and the stator blades. The aerodynamic losses incorporated in the compressor and the turbine models are implemented under MATLAB/Simulink and show a good correlation with the experimental data.
2011-04-12
Journal Article
2011-01-1319
Isabella Nova, Massimo Colombo, Enrico Tronconi, Volker Schmeisser, Michel Weibel
Transient and steady-state kinetic data are herein presented to analyze the inhibiting effect of ammonia on the NH₃-SCR of NO at low temperatures over a Fe-zeolite commercial catalyst for vehicles. It is shown that in SCR converter models a rate expression accounting for NH₃ inhibition of the Standard SCR reaction is needed in order to predict the specific dynamics observed both in lab-scale and in engine test bench runs upon switching on and off the ammonia feed. Two redox, dual site kinetic models are developed which ascribe such inhibition to the spill-over of ammonia from its adsorption sites, associated with the zeolite, to the redox sites, associated with the Fe promoter. Better agreement both with lab-scale intrinsic kinetic runs and with engine test-bench data, particularly during transients associated with dosing of ammonia to the SCR catalyst, is obtained assuming slow migration of NH₃ between the two sites.
2013-01-09
Technical Paper
2013-26-0061
Shivakumar B, Ramesh A, Vaishnavi P, Avi A. Cornelio, Dirk Limperich
The need for a consistent and reliable calculation of thermodynamic property of refrigerants has been a topic of research since the past decade. This paper reports a study of various cubic equations of state for a refrigerant being used in automotive air-conditioning applications. The thermodynamic property of refrigerant 1,1,1,2 tetrafluoroethane (commercially known as R134a) is estimated for this purpose. A comparative analysis is made on three sets of equations of state. They are Redlich Kwong equation (RK), Peng Robinson equation (PR) and Patel Teja equation. It is found that the Patel-Teja and Peng-Robinson equations are accurate in the operating region of automotive air-conditioning system. Using these literature based equations and Maxwell correlations, thermodynamic models are developed. They estimate thermodynamic properties of saturated liquid/vapor, sub-cooled liquid and superheated vapor phases.
2015-04-14
Technical Paper
2015-01-0340
Jan Eller, Thomas Binner, Heinrich Reister, Nils Widdecke, Jochen Wiedemann
Abstract Collective life-cycle data is needed when developing components like elastomer suspension mounts. Life-time prediction is only possible using thermal load frequency distributions. In addition to current extreme load cases, the Idle Load Case is examined at Mercedes-Benz Car Group as a collective load case for Vehicle Thermal Management (VTM) numerical simulations in early development stages. It combines validation opportunities for HVAC, cooling and transmission requirements in hot-country-type ambient conditions. Experiments in climatic wind tunnels and coupled 3D CFD and heat transfer simulations of the Idle Load Case have been performed. Measurements show steady conditions at the end of the load case. Decoupling of the torque converter, changes in ambient temperature and the technical implementation of a wind barrier for still air conditions exhibit influence on component-level results. Solar load, however, does not significantly change the examined component temperatures.
2015-04-14
Technical Paper
2015-01-0360
Maryline Leriche, Wolfgang Roessner, Heinrich Reister, Bernhard Weigand
Abstract An accurate model to predict the formation of fogging and defogging which occurs for low windshield temperatures is helpful for designing the air-conditioning system in a car. Using a multiphase flow approach and additional user-defined functions within the commercial CFD-software STAR-CCM+, a model which is able to calculate the amount of water droplets on the windshield from condensation and which causes the fogging is set up. Different parameters like relative humidity, air temperature, mass flow rate and droplet distributions are considered. Because of the condition of the windshield's surface, the condensation occurs as tiny droplets with different sizes. The distribution of these very small droplets must be obtained to estimate numerically the heat transfer coefficient during the condensation process to predict the defogging time.
2009-11-02
Journal Article
2009-01-2679
Galin Nakov, Fabian Mauss, Paul Wenzel, Rüdiger Steiner, Christian Krüger, Yongzhe Zhang, Rajesh Rawat, Anders Borg, Cathleen Perlman, Karin Fröjd, Harry Lehtiniemi
The subject of this work is 3D numerical simulations of combustion and soot emissions for a passenger car diesel engine. The CFD code STAR-CD version 3.26 [1] is used to resolve the flowfield. Soot is modeled using a detailed kinetic soot model described by Mauss [2]. The model includes a detailed description of the formation of polyaromatic hydrocarbons. The coupling between the turbulent flowfield and the soot model is achieved through a flamelet library approach, with transport of the moments of the soot particle size distribution function as outlined by Wenzel et al. [3]. In this work we extended this approach by considering acetylene feedback between the soot model and the combustion model. The model was further improved by using new gas-phase kinetics and new fitting procedures for the flamelet soot library.
2009-05-19
Technical Paper
2009-01-2243
René Visser
As for passenger cars, the overall noise and vibration comfort in commercial trucks and busses becomes an increasingly important sales argument. In order to effectively reduce the noise and vibration levels it is required to identify possible NVH issues at an early stage in the vehicle development process. For this reason a so-called “Virtual Transfer Path Analysis” (VTPA) method has been implemented which combines the results obtained from the conventional multi-body simulation and finite element method approaches. The resulting VTPA tool enables Daimler Trucks to systematically investigate and predict the complex interaction between powertrain excitation and the resulting vehicle response well before hardware prototypes become available. An overview of the theory is presented as well as the practical application and outcome of the technique applied in a past product development.
2014-06-30
Technical Paper
2014-01-2065
Albert Albers, Rui Cai, Rainer Spengler, Christian Olfens, Matthias Behrendt
Abstract The driving comfort influences the customer purchase decision; hence it is an important aspect for the vehicle development. To better quantify the comfort level and reduce the experiment costs in the development process, the subjective comfort assessment by test drivers is nowadays more and more replaced by the objective comfort evaluation. Hereby the vibration comfort is described by scalar objective characteristic parameters that correlate with the subjective assessments. The correlation analysis requires the assessments and measurements at different vehicle vibration. To determine the objective parameters regarding the powertrain excitations, most experiments in the previous studies were carried out in several test vehicles with different powertrain units.
2013-04-08
Technical Paper
2013-01-0843
Heinrich Reister, Ernst Peter Weidmann, Thomas Walker, Sachin Badarayani
In this paper a new numerical methodology to compute component temperatures of a rotating cardan shaft is described. In general temperatures of the cardan shaft are mainly dominated by radiation from the exhaust gas system and air temperatures in the transmission tunnel and underbody. While driving the cardan shaft is rotating. This yields a uniform temperature distribution of the circumference of the shaft. However most simulation approaches for heat protection are nowadays steady-state computations. In these simulations the rotation of the cardan shaft is not considered. In particular next to the exhaust gas system the distribution of the temperatures of the cardan shaft is not uniform but shows hot temperatures due to radiation at the side facing the exhaust gas system and lower temperatures at the other side. This paper describes a new computational approach that is averaging the radiative and convective heat fluxes circumferentially over bands of the cardan shaft.
2013-04-08
Technical Paper
2013-01-0873
Mario Disch, Nils Widdecke, Jochen Wiedemann, Heinrich Reister, Ernst Peter Weidmann
In the digital prototype development process of a new Mercedes-Benz, thermal protection is an important task that has to be fulfilled. In the early stages of development, numerical methods are used to detect thermal hotspots in order to protect temperature sensitive parts. These methods involve transient full Vehicle Thermal Management (VTM) simulations to predict dynamic vehicle heat-up during critical load cases. In order to simulate thermal control mechanisms, a coupled 1D to 3D thermal vehicle model is built in which the coolant and oil circuit of the engine, as well as the exhaust flow are captured in detail. When performing a transient 3D VTM analysis, the conduction and radiation phenomena are simulated using a transient structure model while the convective phenomena are co-simulated in a steady state fluid model. Both models are brought to interaction at predetermined points by an automatized coupling method.
2010-04-12
Journal Article
2010-01-0887
Daniel Chatterjee, Petr Koci, Volker Schmeisser, Milos Marek, Michel Weibel
Combination of an NOx storage and reduction catalyst (NSRC, called also lean NOx trap, LNT) and a catalyst for the selective catalytic reduction of NOx by NH₃ (NH₃-SCR) offers a potential to significantly increase the efficiency of NSRC-based exhaust gas aftertreatment systems. Under most situations the SCR catalyst is able to adsorb the NH₃ peaks generated in the NSRC during the regeneration and utilize it for additional NOx reduction in the course of the consequent lean phase. This synergy becomes more important with the aged NSRC, where generally lower NOx conversions and higher NH₃ yields in wider range of operating temperatures are observed (in comparison with the fresh or de-greened NSRC). In this paper we present global kinetic models for the NSRC (Pt/Ba/Ce/gγ-Al₂O₃ catalyst type) and NH₃-SCR (Fe-ZSM5 catalyst type).
2009-10-01
Technical Paper
2009-01-3068
Heinrich Reister, Thomas Binner, Joshua Enriquez-Geppert, Robert Goldschmidt
In this study the numerical simulation of the flow through an alternator inside an engine compartment of a passenger car is investigated. Specifically the interaction of the flow through the alternator with the flow through the engine compartment is explored in detail. The results are compared with a corresponding numerical simulation of an alternator in a surrounding of a test facility and with a numerical simulation of the flow through an engine compartment without taking into account the internal flow through the alternator. Finally the air temperature near the alternator and also the temperature of some components inside the alternator are compared with experimental values measured during a typical load case used for the thermal protection of the passenger car.
2012-09-10
Technical Paper
2012-01-1633
Johannes Ritzinger, Thomas Koch, Jürgen Lehmann, Konstantinos Boulouchos
In the field of heavy-duty applications almost all engines apply the compression ignition principle, spark ignition is used only in the niche of CNG engines. The main reason for this is the high efficiency advantage of diesel engines over SI engines. Beside this drawback SI engines have some favorable properties like lower weight, simple exhaust gas aftertreatment in case of stoichiometric operation, high robustness, simple packaging and lower costs. The main objective of this fundamental research was to evaluate the limits of a SI engine for heavy-duty applications. Considering heavy-duty SI engines fuel consumption under full load conditions has a high impact on CO₂ emissions. Therefore, downsizing is not a promising approach to improve fuel consumption and consequently the focus of this work lies on the enhancement of thermal efficiency in the complete engine map, intensively considering knocking issues.
2012-04-16
Technical Paper
2012-01-0635
Heinrich Reister, Walter Bauer
In this paper the latest status of the Vehicle Thermal Management (VTM) simulation at the Mercedes-Benz Car Group is shown. First of all VTM is nowadays a routine simulation application and secondly it is embedded in a standard process which starts with the CAD data collection and ends with standard reporting of the simulation results and thirdly VTM is now an integrated simulation application in terms of VTM includes the classical underhood-underbody analysis, the analysis of electric/electronic components, the brake temperature analysis and last not least the thermal comfort of passengers. There is also a close link to the tests of vehicle hardware. Beside the operational simulation process there is a process installed which guarantees good quality of the results.
2012-04-16
Technical Paper
2012-01-0927
William Crego Prescott, Gert Heirman, Matthew furman, Joris De Cuyper, Ludger Dragon, Andre Lippeck, Horst Brauner
Digital or virtual prototyping by means of a multibody simulation model (MBS) is a standard part of the automotive design process. A high-fidelity model is built and often correlated against test data to increase its accuracy. Once built the MBS model can then be used for high fidelity analysis in ride comfort, handling as well as durability. Next to the MBS model, current industry practice is to develop a reduced degree of freedom model for the design and validation of control or intelligent systems. The models used in the control system design are required to execute in hardware-in-the-loop (HIL) simulations where it is necessary to run real-time. The reason for the creation of the reduced degree of freedom models so far has been that the high-fidelity or off-line model does not execute fast enough to be used in an HIL simulation.
2012-04-16
Technical Paper
2012-01-1293
Jan Stepanek, Petr Koci, Mike Weaver, Rainer Frey, Andre Overfeld, Hartmut Jakobs
A system for controlled heat generation in exhaust pipeline is studied, consisting of fuel injector and oxidation catalyst (plus connecting pipes). A 3D-CFD software (StarCD) coupled with a tailored 1D model of catalytic monolith channel (XMR) are employed for simulations of realistic, fully 3D system geometry. Exhaust gas flow, fuel injection, and distribution at the catalyst inlet is solved by 3D-CFD, while the processes inside individual representative channels are simulated by the effective 1D model. The 3D-CFD software calls iteratively the 1D channel model with proper boundary conditions and solves 3D temperature profile over the monolith, utilizing local enthalpy fluxes (including gas-solid heat transfer and reaction enthalpy) calculated by the 1D channel model. Seven representative hydrocarbons are used for characterisation of Diesel fuel composition with respect to catalytic oxidation kinetics.
2012-06-13
Technical Paper
2012-01-1547
Detlef Schulze-Fehrenbach, Thorsten Rumpel, Rainer Spengler
The increasing shift of drive operation towards efficient engine operation points at very low engine speeds demands a concerted design and tuning of engine, drive-train, assembly attachment and body to avoid annoying low speed boom noise. An additional challenge in this area of conflict is the increasing torque of modern engines at low engine speeds. As an example for a standard passenger car, the modes of operation, which may lead to low speed boom noise, are described. Setting levers along the complete chain of effect are characterised - from cylinder pressure up to the radiating surfaces of the interior. To achieve challenging NVH-targets the application of nonlinear simulation systems is indispensable, in particular in the concept phase of a vehicle. The use of multi-body simulation is presented for a concentrated NVH-optimisation of powertrain and rear axle vibration behaviour to reduce low-speed boom noise. On entire vehicle level hybrid simulation models are useful.
2012-06-13
Journal Article
2012-01-1561
Alois Sontacchi, Robert Holdrich, Josef Girstmair, Hannes Allmaier, Stefan Bikker, Alfred Rust
In the past the exterior and interior noise level of vehicles has been largely reduced to follow stricter legislation and due to the demand of the customers. As a consequence, the noise quality and no longer the noise level inside the vehicle plays a crucial role. For an economic development of new powertrains it is important to assess noise quality already in early development stages by the use of simulation. Recent progress in NVH simulation methods of powertrain and vehicle in time and frequency domain provides the basis to pre-calculated sound pressure signals at arbitrary positions in the car interior. Advanced simulation tools for elastic multi-body simulation and novel strategies to measure acoustical transfer paths are combined to achieve this goal. In order to evaluate the obtained sound impression a roughness prediction model has been developed. The proposed roughness model is a continuation of the model published by Hoeldrich and Pflueger.
2008-04-14
Technical Paper
2008-01-0445
G. C. Koltsakis, C. K. Dardiotis, Z. C. Samaras, M. Frey, G. Wenninger, B. Krutzsch, O. A. Haralampous
Catalyzed wall-flow particulate filters are increasingly applied in diesel exhaust after-treatment for multiple purposes, including low-temperature catalytic regeneration, CO and hydrocarbon conversion, as well as exothermic heat generation during forced regeneration. In order to optimize Precious Metals usage, it may be advantageous to apply the catalytic coating non-uniformly in the DPF, a technology referred to as “catalyst zoning”. In order to simulate the behavior of such a filter, one has to consider coupled transport-reaction modeling. In this work, a previously developed model is calibrated versus experimental data obtained with full-scale catalyzed filters on the engine dynamometer. In a next step, the model is validated under a variety of operating conditions using engine experiments with zoned filters. The performance of the zoned catalyst is analyzed by examining the transient temperature and species profiles in the inlet and outlet channels.
2008-04-14
Journal Article
2008-01-0396
Ernst Peter Weidmann, Thomas Binner, Heinrich Reister
This paper summarizes a common project of Mercedes-Benz and FKFS (Research Institute of Automotive Engineering) to apply numerical methods to thermal soak issues in a very early stage of the development phase of a new car. “Thermal soak” results from driving the vehicle at high load followed by shutting off the engine and a cool down phase. After stopping, the underhood flow is only driven by natural convection. The thermal soak behaviour is discussed in principal and the numerical challenges are summarized. Four different issues are identified: the need for a transient computation including transient thermal load pattern, a method to compute natural convection in the underhood after the shutdown of the engine, the complex geometry and the lack of a single computational program to consider all three modes of heat transfer, which results in a coupled numerical approach.
2008-04-14
Journal Article
2008-01-0867
D. Chatterjee, T. Burkhardt, T. Rappe, A. Güthenke, M. Weibel
A numerical model for a diesel oxidation catalyst (DOC) is presented. It is based on a spatially 1D, physical and chemically based modeling of the relevant processes within the catalytic monolith. A global reaction kinetic approach has been chosen to describe the chemical reactions. Water condensation and evaporation was also considered, in order to predict the cold start behavior. Reaction kinetic parameters have been evaluated from a series of laboratory experiments. A correlation between the kinetic parameters and the noble metal loading was developed. The model was used in combination with a SCR-Model to study the influence of changes of noble metal loading and DOC volume on the overall transient NOx performance of a DOC+DPF+SCR system.
2009-04-20
Technical Paper
2009-01-1043
Heinrich Balzer, Oliver Niggemann, Dirk Fleischer, Matthias Kohlweyer, Valentin Adam
In modern vehicles the architecture of electronics is growing more and more complex because both the number of electronic functions – e.g. implemented as software modules – as well as the level of networking between electronic control units (ECUs) is steadily increasing. This complexity leads to greater propagation of failure symptoms, and diagnosing the causes of failure becomes a new challenge. Diagnostics aims at detecting failures such as defect sensors or faulty communication messages. It is subdivided into diagnosis algorithms on an ECU and algorithms running offboard, e.g. on a diagnostic tester. These algorithms have to complement each other in the best possible way. While in the past the diagnosis algorithm was developed late in the development process, nowadays there are efforts to start the development of such algorithms earlier – at least in parallel to developing a new feature itself. This would allow developers to verify the diagnosis algorithms in early design stages.
2009-04-20
Technical Paper
2009-01-1280
G. C. Koltsakis, Z. C. Samaras, H. Echtle, D. Chatterjee, P. Markou, O. A. Haralampous
This paper focuses on some of the DPF system design issues where 3-dimensional modeling is necessary. The study is based on an existing 3-dimensional DPF model (axitrap) which is coupled to a commercial CFD code (Star-CD, CD-Adapco). The main focus is the effect of the inlet pipe geometry on soot distribution in the filter during loading and regeneration mode. The results show that due to the self-balancing effect, the resulting soot distribution in the filter under typical loading modes with low flow rates is quite uniform. With the assumption of adiabatic inlet pipe, the effect of non-symmetric inlet pipe is also negligible even during regeneration. However, under the realistic assumption of a non-adiabatic inlet pipe, the effect of inlet pipe geometry becomes very significant. Especially, for the case of a bent-shaped inlet pipe, the risk of impartial regeneration of the filter increases significantly.
2016-06-15
Journal Article
2016-01-1809
Alexander Schell, Vincent Cotoni
Abstract Prediction of flow induced noise in the interior of a passenger car requires accurate representations of both fluctuating surface pressures across the exterior of the vehicle and efficient models of the vibro-acoustic transmission of these surface pressures to the driver’s ear. In this paper, aeroacoustic and vibro-acoustic methods are combined in order to perform an aero-vibro-acoustic analysis of a Mercedes-Benz A-class. The exterior aero-acoustic method consists of a time domain incompressible Detached Eddy Simulation (DES) and an acoustic wave equation. The method is extended in this paper to account for convection effects when modelling the exterior sound propagation. The interior vibro-acoustic model consists of a frequency domain Finite Element (FE) model of the side glass combined with a generalized Statistical Energy Analysis (SEA) model of the interior cabin.
2016-09-02
Journal Article
2016-01-9111
Sebastian Brandes, Klaus-Dieter Hilf, Riccardo Möller, Tobias Melz
Abstract This paper makes a contribution toward a more efficient chassis durability process for the development of passenger cars, in which the simulation of relevant load data is a time-consuming part. This is especially due to the full vehicle model complexity which is usually determined by the demands of rough road simulations. However, for the load calculation on a racetrack, time saving model approaches that are more simplified might be sufficient. Our investigation comprises two levels of vehicle model complexity: one with all chassis parts modeled in a multibody system environment and one characteristic curve based model in an internal simulation environment. Both approaches consider an original chassis control system as a Software-in-the-Loop model. By the evaluation of real-world experiments the main influence factors in terms of durability are demonstrated. With the help of those highly sensitive durability criteria the measurement and simulation results are then compared.
2017-03-28
Technical Paper
2017-01-0134
Jan Eller, Heinrich Reister, Thomas Binner, Nils Widdecke, Jochen Wiedemann
Abstract There is a growing need for life-cycle data – so-called collectives – when developing components like elastomer engine mounts. Current standardized extreme load cases are not sufficient for establishing such collectives. Supplementing the use of endurance testing data, a prediction methodology for component temperature collectives utilizing existing 3D CFD simulation models is presented. The method uses support points to approximate the full collective. Each support point is defined by a component temperature and a position on the time axis of the collective. Since it is the only currently available source for component temperature data, endurance testing data is used to develop the new method. The component temperature range in this data set is divided in temperature bands. Groups of driving states are determined which are each representative of an individual band. Each of the resulting four driving state spaces is condensed into a substitute load case.
2016-04-05
Technical Paper
2016-01-0590
Alexandros Hatzipanagiotou, Paul Wenzel, Christian Krueger, Raul Payri, Jose M. Garcia-Oliver, Walter Vera-Tudela, Thomas Koch
Abstract In this work a detailed soot model based on stationary flamelets is used to simulate soot emissions of a reactive Diesel spray. In order to represent soot formation and oxidation processes properly, a calibration of the soot reaction rates has to be performed. This model calibration is usually performed on basis of engine out soot measurements. Contrary to this, in this work the soot model is calibrated on local soot concentrations along the spray axis obtained from laser extinction chamber measurements. The measurements are performed with B7 certification Diesel and a series production multihole injector to obtain engine similar boundary conditions. In order to ensure that the flow and mixture field is captured well by the CFD-simulation, the simulated liquid penetration lengths and flame lift-off lengths are compared to chamber measurements.
2017-06-05
Technical Paper
2017-01-1901
Christian Glandier, Stefanie Grollius
Abstract This paper presents the application to full vehicle finite element simulation of a steady state rolling tire/wheel/cavity finite element model developed in previous work and validated at the subsystem level. Its originality consists in presenting validation results not only for a wheel on a test bench, but for a full vehicle on the road. The excitation is based on measured road data. Two methods are considered: enforced displacement on the patch centerline and enforced displacement on a 2D patch mesh. Finally the importance of taking the rotation of the tire into account is highlighted. Numerical results and test track measurements are compared in the 20-300 Hz frequency range showing good agreement for wheel hub vibration as well as for acoustic pressure at the occupant’s ears.
2017-03-28
Journal Article
2017-01-1319
Christoph Huber, Bernhard Weigand, Heinrich Reister, Thomas Binner
Abstract A simulation approach to predict the amount of snow which is penetrating into the air filter of the vehicle’s engine is important for the automotive industry. The objective of our work was to predict the snow ingress based on an Eulerian/Lagrangian approach within a commercial CFD-software and to compare the simulation results to measurements in order to confirm our simulation approach. An additional objective was to use the simulation approach to improve the air intake system of an automobile. The measurements were performed on two test sites. On the one hand we made measurements on a natural test area in Sweden to reproduce real driving scenarios and thereby confirm our simulation approach. On the other hand the simulation results of the improved air intake system were compared to measurements, which were carried out in a climatic wind tunnel in Stuttgart.
2017-03-28
Technical Paper
2017-01-0054
Daniel Kaestner, Antoine Miné, André Schmidt, Heinz Hille, Laurent Mauborgne, Stephan Wilhelm, Xavier Rival, Jérôme Feret, Patrick Cousot, Christian Ferdinand
Abstract Safety-critical embedded software has to satisfy stringent quality requirements. All contemporary safety standards require evidence that no data races and no critical run-time errors occur, such as invalid pointer accesses, buffer overflows, or arithmetic overflows. Such errors can cause software crashes, invalidate separation mechanisms in mixed-criticality software, and are a frequent cause of errors in concurrent and multi-core applications. The static analyzer Astrée has been extended to soundly and automatically analyze concurrent software. This novel extension employs a scalable abstraction which covers all possible thread interleavings, and reports all potential run-time errors, data races, deadlocks, and lock/unlock problems. When the analyzer does not report any alarm, the program is proven free from those classes of errors. Dedicated support for ARINC 653 and OSEK/AUTOSAR enables a fully automatic OS-aware analysis.
Viewing 1 to 30 of 40

Filter

  • Range:
    to:
  • Year: