Essays about: "SLDV"

Found 3 essays containing the word SLDV.

1. 1. Implementation and evaluation of bounded invariant model checking for a subset of Stateflow

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

   Author : Gustav Ung; [2021]
   Keywords : Formal methods; Bounded Model Checking; Stateflow; SLDV; Formella metoder; Begränsad modellprovning; Stateflow; SLDV;

   Abstract : Stateflowmodels are used for describing logic and implementing state machines in modern safety-critical software. However, the complete Stateflowmodelling language is hard to formally define, therefore a subset relevant for industrial models has been developed in previous works. READ MORE

3. 2. Evaluation of Automated Test Generation for Simulink : A Case Study in the Context of Propulsion Control Software

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

   Author : Anton Roslund; [2020]
   Keywords : Automated Test Generation; Simulink; Model Based Design; Comparison; Simulink Design Verifier; SLDV; MIL; SIL; PIL; Model-in-the-Loop; Conformance; Conformance testing; Test Generation; MATLAB; Evaluation;

   Abstract : Automated Test Generation (ATG) has been successfully applied in many domains. For the modeling and simulation language Simulink, there has been research on developing tools for ATG with promising results. READ MORE

4. 3. Semi-Automated Formalization and Verification of Automotive Requirements using Simulink Design Verifier

   University essay from KTH/Maskinkonstruktion (Inst.)

   Author : Rohit Agrawal; [2015]
   Keywords : ;

   Abstract : The complexity of embedded software in the automotive domain is ever-increasing due to increase in the no. of features aimed at providing more advanced solutions. This has greatly favored the incorporation of Model Based Design workflow in the software development lifecycle to handle complexities in different development phases. READ MORE