Sökning: "software model checking"

Visar resultat 21 - 25 av 57 uppsatser innehållade orden software model checking.

  1. 21. Robustness simulation ofbus crew schedules : Case Study Frihamnen Depot (Stockholm)

    Master-uppsats, KTH/Transportplanering

    Författare :KEVIN LLORET CENDALES; [2019]
    Nyckelord :;

    Sammanfattning : This thesis develops a model aimed at predicting the performance of bus crew schedules and study their operational capacity to face disruptions, that is, its robustness. It is based on the relation among schedule deviation, passengers and slack times, considered as non-productive times before trips. LÄS MER

  3. 22. ROBOREBECA: A NEWFRAMEWORK TO DESIGN VERIFIED ROS-BASED ROBOTIC PROGRAMS

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Saeid Dehnavi; [2019]
    Nyckelord :;

    Sammanfattning : Robotic technology helps humans in different areas such as manufacturing, health care and educa-tion. Due to the ubiquitous revolution, today’s focus is on mobile robots and their applications in avariety of cyber-physical systems. LÄS MER

  4. 23. Automatic Verification of Embedded Systems Using Horn Clause Solvers

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Anoud Alshnakat; [2019]
    Nyckelord :;

    Sammanfattning : Recently, an increase in the use of safety-critical embedded systems in the automotive industry has led to a drastic up-tick in vehicle software and code complexity. Failure in safety-critical applications can cost lives and money. LÄS MER

  5. 24. Energy audit in Fridhemsskolan : A preschool in Gävle municipality

    Magister-uppsats, Högskolan i Gävle/Avdelningen för bygg- energi- och miljöteknik

    Författare :Kazeem Ayinde Balogun; [2018]
    Nyckelord :Energy audit energy efficiency;

    Sammanfattning : This thesis is about the energy audit in Fridhemsskolan which is an educational facility. Fridhemsskolan is a preschool for children in Gävle municipality for children up to the age of six years and comprise of nine buildings in total. LÄS MER

  7. 25. A GUI Design of Robot Motion and Task Planning Based on Linear Temporal Logic

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Tengfan Lin; [2018]
    Nyckelord :;

    Sammanfattning : Recent approaches solve the problem of robot motion and task planningby using formal methods-based model checking algorithms. Inthis work, we consider the software package P-MAS-TG, an automatictool to generate correct-by-design controllers for robot motion and taskplanning. LÄS MER