Simulink models

GPTKB entity

Statements (52)
Predicate Object
gptkbp:instanceOf software model
gptkbp:canBe gptkb:Simulink_Test
Simulink Verification and Validation
gptkbp:canBeAnalyzedFor requirements traceability
coverage
dead logic
design errors
test completeness
gptkbp:canBeAnalyzedWith gptkb:Simulink_Design_Verifier
gptkbp:canBeDeployedOn embedded systems
real-time systems
hardware-in-the-loop systems
gptkbp:canBeDocumentedWith gptkb:Simulink_Report_Generator
gptkbp:canBeProtectedWith Simulink Model Protection
gptkbp:canBeSharedAs libraries
reference models
protected models
gptkbp:canBeSimulatedIn normal mode
accelerator mode
external mode
rapid accelerator mode
gptkbp:canBeSimulatedWith Simulink engine
gptkbp:canBeVersionControlledWith gptkb:Git
SVN
gptkbp:connectsTo gptkb:Stateflow_charts
MATLAB functions
external code
gptkbp:developedBy gptkb:MathWorks
gptkbp:exportedTo gptkb:FMU
C code
C++ code
HDL code
MATLAB code
S-Function
gptkbp:fileExtension .mdl
.slx
https://www.w3.org/2000/01/rdf-schema#label Simulink models
gptkbp:mayInclude signals
blocks
subsystems
parameters
gptkbp:supports hybrid systems
continuous systems
discrete systems
gptkbp:usedFor gptkb:simulation
model-based design
automatic code generation
system-level design
gptkbp:usedIn gptkb:Simulink
gptkbp:bfsParent gptkb:Simulink_Design_Verifier
gptkb:Simulink_Test
gptkbp:bfsLayer 7