image thumbnail

updated 11 days ago

Simulink Report Generator for Requirements-Based Testing by Mike Anthony

An example of using Simulink Report Generator and MATLAB scripting to automate testing (simulink report gener..., model verificationmod...)

Logic_Controller

Logic_Controller_testharness

RPT_ImportData.m

image thumbnail

updated 1 month ago

Landing Gear Model in Simscape by Pravesh Sanghvi

Landing gear model, including main and lock hydraulic actuators, and multibody dynamics (physical modeling, landing gear, hydraulic)

Hydraulic_System_Param_Est

Landing_Gear

Landing_Gear_IP_Protect_FINISH

image thumbnail

updated 7 months ago

Autopilot Demo for ARP4754A, DO-178C and DO-331 by Bill Potter

Demonstration of how to use MathWorks products in a workflow for ARP-4754A, DO-178C nad DO-331 (aerospace, simulation, simulink)

AP_Lib

Altitude_Mode

Autopilot

image thumbnail

updated 2 years ago

cmtdtool by Yasumitsu Ito

cmtdtool can reduce and automate manual operations required to perform model-based testing. (gui, simulink, utility)

cmtdtool_sampleharness

cmtdtool_samplemode

addExpectedOutputToSignalBuilder(blk,sigName)

image thumbnail

updated 2 years ago

sldvmisscovtool by Yasumitsu Ito

A GUI tool to obtain test cases for missing coverage objectives (simulink, verification, utility)

sldvmiscovtool_sample

sldvmiscovtool_sample_fixpt

[tvec,dvec,siglabels,grplabels]=createSignalBuilderData(s...

image thumbnail

updated 3 years ago

Airport Conveyer Belt by Gernot Schraberger

The demo is about a airport conveyer belt modeled in Simulink, with controls modelled in Stateflow. (airport, conveyer, belt)

AirportConveyer

PSSL

slblocks

image thumbnail

updated 5 years ago

Customizing the Model Advisor by Michael Burke

Step by step instructions on how to create and manage model advisor checks. (embed, demo, model)

Check_1_Multi

Check_1_P1

Check_1_P2

image thumbnail

updated 5 years ago

NXT Scanner with Lego Mindstorms NXT by Yoshiaki Banno

NXT Scanner Model-Based Design based on Embedded Coder Robot NXT. (simulink, simulation, demo)

EnumSample

data_communication

datamngtworkflow

image thumbnail

updated 7 years ago

Control system for DC machine with current back-propagation and two levels of excitation by Sasha Zorin

Control Scheme for DC Machine with back-propagation: robustness modeling, uncertainties detection, c (electronics, backpropagation, control)

control_system_for_power_facility

Contact us