image thumbnail

updated 10 months ago

Model-in-the-Loop for Embedded System Test (MiLEST) - Pedal Interpretation Case Study by Justyna Zander

Model-in-the-Loop for Embedded System Test (MiLEST) - For MATLAB of 2008 (embedded systems, test, modeling)

GenConstVar_Single_D (is_increase, tar, InputName, ODT,du...

GenConstVar_Single_D_1 (is_increase, tar, InputName, ODT,...

GenDecrVar_Single (is_decrease, tar, InputName,ref,durati...

image thumbnail

updated 10 months ago

Model-in-the-Loop for Embedded System Test - Test Harness by Justyna Zander

Model-in-the-Loop for Embedded System Test - Works best with MATLAB version of 2008. (test, embedded system, acc)

Mask_Shut_off(varargin)

ReqName_callback(block)

ReqName_callback(block)

image thumbnail

updated 10 months ago

Model-in-the-Loop for Embedded System Test - Speed Controller Case by Justyna Zander

Model-in-the-Loop for Embedded System Test - Works best with MATLAB version of 2008. A case study. (speed control, embedded system, test)

Mask_Shut_off(varargin)

ReqName_callback(block)

ReqName_callback(block)

image thumbnail

updated 2 years ago

Data converter from Simulink Design Verifier to test tool TPT by Jens

Function converts Simulink Design Verifier test cases into a format that can be imported into TPT (automotive, testing, test)

sldv2tpt(sldvfile)

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)

addExpectedOutputToSignalBuilder(blk,sigName)

cmtdtool.m

createComparingResults(sys,phSim,phExp)

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 2 years ago

Systematic testing Simulink Models using TPT by Jens

The white-paper is about testing embedded control systems designed in MATLAB/Simulink. (testing simulink mode..., whitepaper, testing controller)

image thumbnail

updated almost 3 years ago

RWTH - Mindstorms NXT Toolbox by Alexander Behrens

Toolbox for controlling LEGO® MINDSTORMS® NXT robots via a Bluetooth or USB connection. (realtime workshop, embedded code, verification)

Example_1_PlayTone.m

Example_2_ReadSoundSensor.m

Example_3_DriveAroundTable_MotorClass.m

image thumbnail

updated almost 4 years ago

Color Model from PolySpace Verification by David Jaffry

The tool colors Simulink Model using PolySpace code verification. (simulink, polyspace, link)

Color_Model_From_Verification(callbackInfo)

sl_customization(cm)

Example

image thumbnail

updated almost 4 years ago

A Benchmark Problem for Model Based Control System Tests - 001 by Yogananda Jeppu

A benchmark problem for model based control system testing (aerospace, automotive, benchmark)

[o COV]=interpol1(X,Y,x,COVERAGE)

compslp(x1,x2,y1,y2,x)

concover(a,inp)

image thumbnail

updated almost 5 years ago

Task execution profiling kit for Real-Time Workshop targets by David Maclay

A set of tools and examples to implement task execution profiling for a Real-Time Workshop target (realtime workshop, embedded code, verification)

create_serial_driver_blocks

exprofile_get_data_from_target1(connection, varargin)

exprofile_run(connection, varargin)

image thumbnail

updated almost 5 years ago

Dual Core Blackfin Application Example by Mark Walker

Target both cores of a BF561 microprocessor with Real-Time Workshop Embedded Coder (realtime workshop, embedded code, verification)

csc_registration(action)

dual_core_variables.m

dual_core

image thumbnail

updated 5 years ago

Templates for Modeling Scheduling Behavior with Simulink and Stateflow ver 1p0 by Michael Burke

Templates modeling common schedule implementations (realtime workshop, embedded code, verification)

MultiRateFCB

modalStateChart

stateChartSchedwithOffset

image thumbnail

updated 5 years ago

How to Integrate Eclipse into the Real Time Workshop build environment by Michael Burke

Step by step instructions on how to install eclipse and cygwin to build Real-Time Workshop generated (realtime workshop, embedded code, verification)

image thumbnail

updated 5 years ago

Address Specific Parameter Custom Storage Class by Richard Ruff

MemMap: A custom storage class that allows the user to specify the memory addresses of parameters in (realtime workshop, embedded code, verification)

CustomStorageClassListener(hRTWInfo)

CustomStorageClassListener(hRTWInfo)

MemMapVariableCheck(modelName)

image thumbnail

updated 5 years ago

External I/O and State Information Block by Roger Aarenstrup

This block generates an extra file during code generation containing external Inputs, outputs an (realtime workshop, embedded code, verification)

slblocks

model_info

image thumbnail

updated 5 years ago

Code Coverage Tool by Mark Walker

Code Coverage Tool measures C statement coverage in generated code. (realtime workshop, embedded code, verification)

cct_setup(mdlname)

html_dump(sfname,cname)

cov_example

image thumbnail

updated 5 years ago

NXTway-GS (Self-Balancing Two-Wheeled Robot) Controller Design by Yorihisa Yamamoto

NXTway-GS Model-Based Design based on Embedded Coder Robot NXT. (realtime workshop, embedded code, verification)

iswall(pos, map)

mywritevrtrack(varargin)

param_controller.m

image thumbnail

updated almost 6 years ago

SDOxlsIF: Excel Interface API for Simulink Data Object by Tomoki Fukuda

SDOxlsIF: Useful M-File functions to interface Simulink Data Object with Microsoft Excel worksheet. (realtime workshop, embedded code, verification)

addExtIfNeeded(name)

convertLocalizedPropName(defInfo, val, prefix)

convertLocalizedSheetName(defInfo, val)

image thumbnail

updated 6 years ago

Erlang Varification by ban cha

Simulation of Birth death process and Erlang varification (erlang, varification, verification)

Erlang(varargin)

[c]=theoritical(N,A)

image thumbnail

updated 6 years ago

Tips for Fixed-Point Modeling and Code Generation for Simulink 7 (R2008a) by Bill Chou

Tips on fixed-point modeling and code generation for R2008a. Includes referenced model files. (realtime workshop, embedded code, verification)

lct_fixpt_signals_script.m

BackPropagation

BackPropagationSf

image thumbnail

updated 7 years ago

System Target file (some info) by Nitin Skandan

Tutorial on system target files and how to modify them to alter structure of code generated (realtime workshop, embedded code, verification)

exp1

image thumbnail

updated 7 years ago

TLC :Quick start guide by Nitin Skandan

Quick start guide to writing and understanding TLC. (realtime workshop, embedded code, verification)

exp1

exp1

exp2

image thumbnail

updated 8 years ago

MPC555 Motor Control Function Blockset by Edward Hartley

Additional I/O blocks for MPC555 target - specifically targetting TPU functionality (realtime workshop, embedded code, verification)

...

...

SerialHostEnd(serialporthandle, SerDataDefinition)

image thumbnail

updated almost 9 years ago

DSTV: Datashape & -type Verification by Ingo Löhken

Enables reflective data verification. (argchk, type, shape)

argchk.m

isarray~.m

isbool.m

image thumbnail

updated 9 years ago

Tips for Fixed-Point Modeling and Code Generation for Simulink 6 by Vinod Reddy

Tips on fixed-point modeling and code generation. Folder fixpt_tips.zip contains referenced files (realtime workshop, embedded code, verification)

BackPropagation

BackPropagationSf

BaseDataTypes16

image thumbnail

updated 11 years ago

MD5 Checksum by Suresh Joel

Compute or compare the MD5 checksum of files. (path, directories, files)

a=md5(varargin)

Contact us