Search for dissertations about: "avionic"

Showing result 1 - 5 of 8 swedish dissertations containing the word avionic.

  2. 1. Optimisation-based scheduling of an avionic system

    Author : Emil Karlsson; Elina Rönnberg; Kaj Holmberg; Simin Nadjm-Tehrani; Anders Nordby Gullhav; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Modern computer systems in aircraft are often based on an integrated modular avionic architecture. In this architecture, software applications share hardware resources on a common avionic platform. Many functions in an aircraft are controlled by software and a failure in such software can have severe consequences. READ MORE

  4. 2. Thermal management of electronics in avionics applications

    Author : Jonas Johansson; Linköpings universitet; []
    Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : The development of electronic equipment towards minimizing of cost and size has lead to increased requirements on the cooling equipment for electronics. In avionics applications, constraints are put on all equipment regarding size, weight, and reliability. READ MORE

  5. 3. Optimisation methods for solving a large-scale avionics scheduling problem

    Author : Emil Karlsson; Elina Rönnberg; Kaj Holmberg; Simin Nadjm-Tehrani; Musliu Nysret; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Optimisation; Decomposition; Large-scale scheduling; Avionics scheduling;

    Abstract : Modern computer systems in aircraft are based on an integrated modular avionic architecture. In this architecture, software applications share hardware resources on a common avionic platform. Many functions in an aircraft are controlled by software and a failure in such software can have severe consequences. READ MORE

  6. 4. Thermal Fatigue Life Prediction of Solder Joints in Avionics by Surrogate Modeling : A Contribution to Physics of Failure in Reliability Prediction

    Author : Jonas Arwidson; Peter Leisner; Kouchi Zhang; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Manufacturers of aerospace, defense, and high performance (ADHP) equipment are currently facing multiple challenges related to the reliability of electronic systems. The continuing reduction in size of electronic components combined with increasing clock frequencies and greater functionality, results in increased power density. READ MORE

  7. 5. Formal Verification of Tree Ensembles in Safety-Critical Applications

    Author : John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

    Abstract : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. READ MORE