Essays about: "simulink design verifier"

Showing result 1 - 5 of 6 essays containing the words simulink design verifier.

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. Model-Based Testing of Dosing System : An Introductory Review on Model-Based Automatic Test Case Generation with Matlab Simulink Proof-of-concept

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

   Author : Albertus Adrian Setyawan; [2021]
   Keywords : model-based testing; requirement modelling; automated test case generation; cause-effect graph; Matlab Simulink; modellbaserad testning; kravmodellering; automatisk generering av testfall; cause-effect graph; Matlab Simulink;

   Abstract : A modern truck contains a large number of functionalities implemented in its electronics system. Thus, testing all of these functions employs a considerable effort. The execution of tests against the system has been automated for a long time. Unfortunately, most of the test is still designed manually these days. READ MORE

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

5. 4. 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

6. 5. Development and evaluation of a framework for semi-automated formalization of automotive requirements.

   University essay from Blekinge Tekniska Högskola/Institutionen för tillämpad signalbehandling

   Author : Ariel Syrko; [2015]
   Keywords : matlab; simulink; requirements; simulink design verifier;

   Abstract : Quantity and intricacy of features implemented in vehicle have expanded rapidly over a past few years. Currently vision of autonomous vehicle is no longer a dream or SF movie, but instead a coming reality. In order to reach the better quality and high safety, advanced verification techniques are required. READ MORE