Essays about: "avionic"

Showing result 6 - 10 of 13 essays containing the word avionic.

  1. 6. Effects of Mutation Testing on Safety Critical Software

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Rebecca Johnsson; Nathalie Svensson; [2017]
    Keywords : Mutation testing; software testing; safety critical software;

    Abstract : For avionic systems, the safety requirements are stricter than for non-safety critical systems due to the severe consequences a failure could cause. Depending on the consequences of a failure, the software needs to fulfill different testing criterias. More critical software needs more extensive testing. READ MORE

  3. 7. Integration, impementation and validation of a simulation environment of a UAV Sense and Avoid System

    University essay from Luleå tekniska universitet/Rymdteknik

    Author : Ferdinand Seidel; [2016]
    Keywords : ;

    Abstract : The steadily increasing amount of air transportation in the field of manned and unmanned aviation, as well as new requirements induced by technological innovations cause more and more complex avionic system developments. One of the most important safety requirements in aviation is the avoid-ance of mid-air collisions. READ MORE

  4. 8. A Maintainability Analysis of Dependability Evaluation of an Avionic System using  AADL to PNML Transformation

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Qaiser Mehmood; [2016]
    Keywords : AADL; PNML; Dependability evaluation; Maintainability analysis;

    Abstract : Context.In the context of Software Architecture, AADL (ArchitectureAnalysis and Design Language) is one of the latest standards (SAE StandardAS5506) used for analyzing and designing of architectures of software sys-tems. READ MORE

  5. 9. Improving MCDC adequate test sets for safety critical software to be RORG adequate

    University essay from Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska fakulteten

    Author : Christoffer Nylén; [2015]
    Keywords : Software Testing; Code Coverage; Mutation Testing; ROR; RORG; MCDC; Active Clause Coverage; Safety-critical software; Static Code Analysis; Instrumentation; Ada; ASIS;

    Abstract : A number of logical code coverage criteria have been used throughout the years in the testing of safety-critical software. Kaminski, et al. proposed Relational Operator Replacement Global (RORG), a method to bring benefits from ROR mutation to Modified Condition / Decision Coverage (MCDC), which is widely used in the avionics industry. READ MORE

  6. 10. An approach to allow safety requirements to be efficiently traced, allocated and validated

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Achille Penna; [2013]
    Keywords : ;

    Abstract : ARP 4754A and ARP 4761 are international standards for the avionics domains. ARP 4761 provides a guidance for the safety assessment process, while the ARP 4754A prescribes close interactions between the safety assessment process and system development process in order to capture safety requirements imposed on the design. READ MORE