Essays about: "avionic"

Showing result 1 - 5 of 9 essays containing the word avionic.

  1. 1. Supervision Tools at Airbus Safran Launchers

    University essay from KTH/Rymdteknik

    Author : Matthieu Noyon; [2018]
    Keywords : ;

    Abstract : This master thesis is a study of supervision tools in a context of high confidentiality. Indeed, the status “confidential defense” imposes governmental restrictions with national stakes and places the team project to higher security restrictions than a common internal project. READ MORE

  2. 2. A comparison of sequencing formulations in a constraint generation procedure for avionics scheduling

    University essay from Linköpings universitet/OptimeringsläraLinköpings universitet/Tekniska fakulteten

    Author : Jessika Boberg; [2017]
    Keywords : Scheduling; avionics scheduling; multiprocessor scheduling; mixed integer programming;

    Abstract : This thesis compares different mixed integer programming (MIP) formulations for sequencing of tasks in the context of avionics scheduling. Sequencing is a key concern in many discrete optimisation problems, and there are numerous ways of accomplishing sequencing with different MIP formulations. READ MORE

  3. 3. Effects of Mutation Testing on Safety Critical Software

    University essay from Linköpings universitet/Institutionen för datavetenskap; 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

  4. 4. 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. 5. Improving MCDC adequate test sets for safety critical software to be RORG adequate

    University essay from Linköpings universitet/Programvara och systemLinkö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