Essays about: "Model Checking"

Showing result 11 - 15 of 140 essays containing the words Model Checking.

  1. 11. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Blerta Vuthaj; [2023]
    Keywords : ;

    Abstract : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. READ MORE

  3. 12. Integration of Advanced Product Quality Planning in Quality Preparation for an Original Equipment Manufacturer in the Automotive Industry : A Case Study at Volvo Group Trucks Operations Powertrain Production in Skövde

    University essay from Luleå tekniska universitet/Institutionen för ekonomi, teknik, konst och samhälle

    Author : Hanna Gertsson; Henrik Lindberg; [2023]
    Keywords : Advanced product quality planning APQP ; quality preparation; production part approval process PPAP ; IATF 16949; ISO 9001; automotive industry; gap analysis; change management; risk management; product development and process development.;

    Abstract : This study examines the development of Volvo Group Trucks Operations Powertrain Production (Volvo GTO PTP) in Skövde, focusing on the implementation of processes for new products intended for both internal and external customers. Previously, the company solely supplied products within the Volvo Group, functioning as an Original Equipment Manufacturer (OEM). READ MORE

  4. 13. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Arvid Bergman Thörn; [2023]
    Keywords : Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

    Abstract : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. READ MORE

  5. 14. Reasoning about Moving Target Defense in Attack Modeling Formalisms

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Gabriel Ballot; [2022]
    Keywords : Timed Model checking; Cyber Security; Threat Modeling; Moving Target Defense; Tidsinställd modellkontroll; Cybersäkerhet; Hotmodellering; Moving Target Defense;

    Abstract : Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This frequent change is costly and leads to a trade-off between misleading the attacker and disrupting the quality of service. READ MORE

  6. 15. Sensor fusion between positioning system and mixed reality

    University essay from Linköpings universitet/Tekniska fakulteten; Linköpings universitet/Institutionen för datavetenskap

    Author : Anton Lifwergren; Jonsson Jonatan; [2022]
    Keywords : Sensor Fusion; MR; Mixed Reality; AR; Augmented Reality; Positioning; Local Positioning System; Transformation; Mining; Sensorfusion; MR; Mixed Reality; AR; Augmented Reality; Lokalt Positionerings System; Positionering; Transformation; Gruva;

    Abstract : In situations where we want to use mixed reality systems over larger areas, it is necessary for these systems to maintain a correct orientation with respect to the real world. A solution for synchronizing the mixed reality and the real world over time is therefore essential to provide a good user experience. READ MORE