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)

cmtdtool by Yasumitsu Ito

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

cmtdtool.m

makeEMLTruthTableName(ConditionTable,ActionTable,InputVar,O...

makeharness_compareresults(mdl,data,opts)

sldvmisscovtool by Yasumitsu Ito

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

_exportTemplate.m

_importTemplate.m

exportCSVfile.m

Systematic testing Simulink Models using TPT by Jens

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

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

Color Model from PolySpace Verification by David Jaffry

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

Color_Model_From_Verification(callbackInfo) %#ok<INUSD>

sl_customization(cm)

Example

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)

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 (embedded code, execution profiling, verification)

create_serial_driver_blocks

exprofile_get_data_from_target1(connection, varargin)

exprofile_run(connection, varargin)

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

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

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 (eclipse, embedded code, real time workshop)

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 (custom storage class, realtime workshop, verification)

MemMapVariableCheck(modelName)

csc_registration(action)

schema()

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

Code Coverage Tool by Mark Walker

Code Coverage Tool measures C statement coverage in generated code. (embedded code, defstan, sil 61508)

cct_setup(mdlname)

html_dump(sfname,cname)

cov_example

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

NXTway-GS Model-Based Design based on Embedded Coder Robot NXT. (model, segway, verification)

iswall(pos, map)

mywritevrtrack(varargin)

param_controller.m

PolySpace Stats by Christian Bard

Give a synthesis of a PolySpace verification based on the log file (polyspace, synthesis, verification)

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. (excel interface api, realtime workshop, verification)

custom_comments_example(objectName, modelName, object)

xlsreadsdo(varargin)

xlssdoinfo(varargin)

Converting Models from Floating Point to Fixed Point for Production Code Generation by Linda Webb

Description of tools and a workflow for converting models from floating point to fixed point (modeling, simulation, optimization)

Erlang Varification by ban cha

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

Erlang(varargin)

[c]=theoritical(N,A)

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. (embedded, code, realtime workshop)

lct_fixpt_signals_script.m

BackPropagation

BackPropagationSf

System Target file (some info) by Nitin Skandan

Tutorial on system target files and how to modify them to alter structure of code generated (tlc, rtw, verification)

exp1

TLC :Quick start guide by Nitin Skandan

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

exp1

exp1

exp2

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)

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

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

argchk(expr);

isarray(X);

isbool(X);

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

MD5 Checksum by Suresh Joel

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

a=md5(varargin)