Model-based robustness testing for avionics-embedded software

Yang, Shunkun; Liu, Bin; Wang, Shihai; Lu, Minyan

doi:10.1016/j.cja.2013.05.004

Cited by 10 publications

(4 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To adapt to the increasing complexity of avionics system testing and to reduce the manual effort required for testing, MBT was developed to make it easier for testers to test avionics systems and to focus their efforts on the SUT and the features under test [10]. MBT enables the automatic generation of test cases from system models.…”

Section: Towards a Model-based Approach To Support Physical Test Proc...mentioning

confidence: 99%

See 1 more Smart Citation

Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems

Mesli-Kesraoui

Ouhammou

Goubali³

et al. 2021

Model and Data Engineering

View full text Add to dashboard Cite

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

Section: Towards a Model-based Approach To Support Physical Test Proc...mentioning

confidence: 99%

“…MBT enables the automatic generation of test cases from system models. Otherwise, while the MBT method has been used with success in automating certain tests of avionics systems [1,10], it has never been used in generating flushing loops.…”

Section: Towards a Model-based Approach To Support Physical Test Proc...mentioning

confidence: 99%

Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems

Mesli-Kesraoui

Ouhammou

Goubali³

et al. 2021

Model and Data Engineering

View full text Add to dashboard Cite

show abstract

“…In the case of a system, robustness refers to a design that can accommodate variability of the parameters affecting its performance with acceptable margins of degradation, while achieving the optimal combination of operational costs, reliability, maintainability, and performance [49]. Robustness evaluation is performed in statistics [50], computer science [51], and decision-making [52], the context associated with this work. Robust decision-making processes address the structured planning of complex systems under uncertainties in the input parameters of the model [52].…”

Section: Robustness Evaluationmentioning

confidence: 99%

Development of Performance Evaluation Indicators for Table Grape Packaging Units. 2. Global Indexes

et al. 2021

View full text Add to dashboard Cite

The adoption of a global index (GI) for performance evaluation has been increasingly recognized as a useful strategy for decision-making as it simplifies the interpretation and monitoring of the results. Because the GI is often built by adopting a combination of different procedures for normalization, weighting, and aggregation of indicators, it is challenging to select the optimal combination of procedures, since the countless combinations lead to different results. This paper proposes a method for the development of a robust and original GI for the evaluation of table grape production units (TGPUs). Various combinations of procedures were used to develop eighteen GIs for each TGPU. These are located in the lower-middle San Francisco valley in the northeast of Brazil, where their robustness was assessed by identifying outlier GIs and via a graphical analysis. Plausible GIs were reliably identified and a cluster analysis was conducted to categorize the TGPUs into groups considering each performance objective. The identification of the outlier GIs and the use of the plausible GIs in cluster formation constitute a new scientific approach to the topic, which can be extended to other applications and contribute to the sustainable development of several industries.

show abstract

“…The tensile process in the atomic area was simulated by molecular dynamics method and the movement of the internal atomic was observed. Plane strain condition was used in the z-direction for finite element calculation, and periodic boundary condition adopted in z direction during the molecular dynamics calculation [5], temperature was controlled at 293 K. But the internal energy wave rebounded on the boundary to increase total energy to make the system instability. In order to solve this problem, while adding the periodic boundary conditions, adjusted the atomic positions once relaxation 50 steps, the atom position in the model was the half of present position and balance position, the velocity and acceleration kept invariant.…”

Section: Model Of Single Crystal Coppermentioning

confidence: 99%

Analysis on Crack Propagation Mechanism of Single Crystal Copper by FEAt Method

Zhang

Chen

et al. 2012

AMR

View full text Add to dashboard Cite

By FEAt method, the tensile processes of single crystal copper with the type I crack at temperature of 293K were simulated, and the effect of different initial crack lengths to crack propagation mechanism was analyzed. The results indicate that the different initial crack lengths have significant effect on crack propagation mechanism. With the increase of crack length, the critical stress of crack propagation was significantly reduced, the dislocation walls were easy to appear, and mesh staggered of the crack branch along the cleavage plane was more pronounced.

show abstract

Model-based robustness testing for avionics-embedded software

Cited by 10 publications

References 17 publications

Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems

Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems

Development of Performance Evaluation Indicators for Table Grape Packaging Units. 2. Global Indexes

Analysis on Crack Propagation Mechanism of Single Crystal Copper by FEAt Method

Contact Info

Product

Resources

About