Sökning: "SLDV"
Hittade 3 uppsatser innehållade ordet SLDV.
1. Implementation and evaluation of bounded invariant model checking for a subset of Stateflow
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
2. Evaluation of Automated Test Generation for Simulink : A Case Study in the Context of Propulsion Control Software
Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : 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. LÄS MER
3. Semi-Automated Formalization and Verification of Automotive Requirements using Simulink Design Verifier
Master-uppsats, KTH/Maskinkonstruktion (Inst.)Sammanfattning : 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. LÄS MER