Sökning: "Model Checking"

Visar resultat 1 - 5 av 103 uppsatser innehållade orden Model Checking.

  1. 1. A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink

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

    Författare :Vasja Çollaku; Paolo Shestani; [2019]
    Nyckelord :UPPAAL; EAST-ADL; Simulink; MetaEdit ; Timed Automata; Brake-by-Wire; Model-Driven Development; Model Checking;

    Sammanfattning : Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. LÄS MER

  2. 2. Verifying Temporal Properties Using Deductive Verifiers

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

    Författare :Jesper Amilon; Axel Lindberg; [2019]
    Nyckelord :;

    Sammanfattning : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. LÄS MER

  3. 3. 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

  4. 4. Identifying Hateful Text on Social Media with Machine Learning Classifiers and Normalization Methods - Using Support Vector Machines and Naive Bayes Algorithm

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Sebastian Sandberg; [2018]
    Nyckelord :;

    Sammanfattning : Hateful content on social media is a growing problem. In this thesis, machine learning algorithms and pre-processing methods have been combined in order to train classifiers in identifying hateful text on social media. LÄS MER

  5. 5. Automatisering av bygglovsansökningsprocessen : med stöd av BIM och GIS

    Master-uppsats, Lunds universitet/Institutionen för naturgeografi och ekosystemvetenskap; Lunds universitet/Lantmäteri (CI)

    Författare :Josefine Axelsson; [2018]
    Nyckelord :bygglov; digitalisering; bygglovsansökan; automatisering; samhällsbyggnadsprocessen; byggnadsarea; GIS; BIM; FME; IFC; GML; building permit; ACC; automated compliance checking; Earth and Environmental Sciences; Technology and Engineering;

    Sammanfattning : Sveriges regering satte 2011 upp mål om att bli bäst på att utnyttja digitaliseringens möjligheter. Digitaliseringen av bygglovsprocessen har trots det gått långsamt. Bygglovsprocessen idag (2018) är en långsam, dyr och ineffektiv process. LÄS MER