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.m

cmtdtool_sampleharness

cmtdtool_samplemode

image thumbnail

updated 2 years ago

sldvmisscovtool by Yasumitsu Ito

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

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

_exportTemplate.m

_importTemplate.m

image thumbnail

updated almost 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

NXT Scanner with Lego Mindstorms NXT by Yoshiaki Banno

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

EnumSample

addExtIfNeeded(name)

data_communication

Contact us