Sökning: "Oscar Holm"

Visar resultat 6 - 10 av 13 uppsatser innehållade orden Oscar Holm.

  1. 6. Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Oscar Holm; [2019]
    Nyckelord :safety critical system; safety critical software; MC DC; quality assurance; software engineering; Modified Condition Decision Coverage; automated testing; test case generation; SAT solving; Z3; Dextool; model checking; static analysis;

    Sammanfattning : The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. LÄS MER

  3. 7. Visionärt framtida transportsystem : Zephyr POD

    Kandidat-uppsats, Högskolan i Gävle/Design och formgivning

    Författare :Oscar Holm Wastesson; [2018]
    Nyckelord :Design Industridesign Transport Framtida Transportsystem System Koncept Formgivning Designprocess;

    Sammanfattning : GTS är en stiftelse som jobbar mot att introducera ett nytt transportsystem – ett generellt transportsystem (GTS är namnet på själva systemet samt stiftelsen). Systemet ska ge samma tillgänglighet som bilen, samma kapacitet som tunnelbana och samma hastighet som höghastighetståg. LÄS MER

  4. 8. Fuzz testing for design assurance levels

    Kandidat-uppsats, Linköpings universitet/Programvara och system

    Författare :Marcus Gustafsson; Oscar Holm; [2017]
    Nyckelord :fuzz testing; testing; AFL; american fuzzy lop; DAL; design assurance level; automated testing;

    Sammanfattning : With safety critical software, it is important that the application is safe and stable. While this software can be quality tested with manual testing, automated testing has the potential to catch errors that manual testing will not. In addition there is also the possibility to save time and cost by automating the testing process. LÄS MER

  5. 9. Disaggregating Household Energy Consumption Data Using an NIALM Algorithm

    Kandidat-uppsats, KTH/Skolan för teknikvetenskap (SCI)

    Författare :Andreas Holm; Oscar Johansson Elling; [2017]
    Nyckelord :;

    Sammanfattning : To enhance the control utilities of the energyprovider, smart meters are being installed nationwide to measurethe households energy consumption in real time. There is agroup of algorithms that is able to read these energy readingsand determines the states of the appliances. LÄS MER

  7. 10. Butiken du inte kan se - en kvantitativ studie av det icke-musikaliska ljudets påverkan på konsumenten i en livsmedelsbutik

    C-uppsats, Handelshögskolan i Stockholm/Institutionen för marknadsföring och strategi

    Författare :Erik Brolin; Oscar Holm; [2015]
    Nyckelord :M-R-model; Pleasure; Arousal; Non-musical sounds; In-store Marketing;

    Sammanfattning : Everyday, more than most people realize, retailers use concepts of in-store marketing to try to influence their customers into buying things they might not even know they wanted. Store atmospherics is one of many tools in the retailer's arsenal, which can be used to impact the consumer. LÄS MER