Abstract

Aspects of a draft version of the Aeronautical Telecommunications Network (ATN) Standards and Recommended Practices (SARPs) under development by ISO-compliant committees of the International Civil Aviation Organization (ICAO) have been mathematically modelled using a formal description technique. The ATN SARPs are a specification for a global telecommunications network for air traffic control systems. A version of Harel’s statecharts formalism embedded within a machine readable typed predicate logic has been used as a formal description technique to construct this mathematical model. Our model has been `typechecked’ to partially validate the internal consistency of the specification. The work described in this paper has already uncovered some problems in the draft SARPs, and will provide a basis for follow-on efforts to apply formal analysis methods such as model-checking and symbolic execution to aspects of the ATN SARPs. The success of this approach suggests that typed predicate logic is useful as a syntactic and semantic foundation for specialized Formal Description Techniques (FDTs). Document type: Part of book or chapter of book

Abstract

Since its inception, a main objective of the Ada language has been to assist in the development of large and robust applications. In addition to that, the language also provides support for building safety-critical applications, e.g. by facilitating validation and verification of such programs. The latest revision of the language has brought some additional improvements in the safety area, such as the Normalize_Scalars pragma, which ensures an automatic initialization of the nonexplicitly initialized scalars. This paper presents Initialize Scalars, an enrichment of the Normalize_Scalars concept, and an extended mode to verify at run-time the validity of scalars, both designed for easy use in existing large applications. Their implementation in GNAT Pro (the GNU Ada 95 compiler) is discussed. The practical results obtained on a large Air Traffic Flow Management application are presented. Document type: Part of book or chapter of book

Abstract

The purpose of this Specific Test and Evaluation Plan (STEP) is to provide a detailed written plan for the systematic testing of modifications made by the addition of the SN-631 transfer line from the AZ-O1A pit to the AZ-02A pit by the W-314 Project. The STEP develops the outline for test procedures that verify the system`s performance to the established Project design criteria. The STEP is a lower tier document based on the W-314 Test and Evaluation P1 an (TEP). Testing includes Validations and Verifications (e.g., Commercial Grade Item Dedication activities, etc), Factory Tests and Inspections (FTIs), installation tests and inspections, Construction Tests and Inspections (CTIs), Acceptance Test Procedures (ATPs), Pre-Operational Test Procedures (POTPs), and Operational Test Procedures (OTPs). The STEP will be utilized in conjunction with the TEP for verification and validation. Document type: Report

Abstract

Nowadays, the finite element analyses provide beneficial support in many fields of engineering by means of their cost, time and capacity saving characteristics. During the analyses, the one of the key elements is the correctly defined material properties. This is especially true for the plastics due to their orthotropic and nonlinear material properties as plasticity, relaxation or creep for example. Additionally, the applications of the plastics are widely spread in the automotive engineering beside the other sectors of the industry. Hence, the main goal of the present research is to verify static structural and to validate impact dynamic simulation results by the available material data and actually performed measurement results respectively. Tensile test and creep simulations were carried out in Ansys Workbench software for comparing the static structural simulation results with the available material data given by the material manufacturer in case of the used test samples, boundary conditions and material properties. Following the verification, the material models were applied for a specimen and for a model of an existing product in order to complete validation of the explicit dynamic simulation’s results. Real vertical hammer tests were set up and performed for this purpose and the same procedure was simulated also in order to be able to compare the results and drawn conclusions about the accuracy of the calculation method.