• documentation
main content

formalize requirements in simulink models -凯发k8网页登录

evaluate logic before and during simulation with requirements table blocks

define formal requirements in simulink® models by using the requirements table block to evaluate logic before and at run time. use formal requirements to check the outputs of your model or execute block outputs.

configure the formal requirements directly in the block, in the , or with programmatic commands in matlab®.

blocks

model formal requirements with input conditions

functions

create new model with requirements table block
find requirements table blocks
load requirement set or link set

objects

configure requirements table blocks
configure data in requirements table blocks
work with requirements in requirements table block
work with assumptions in requirements table block

object functions

manage block data

add data to requirements table block
retrieve data in requirements table block

manage block rows

add assumption to requirements table block
add requirement to requirements table block
add child requirement or assumption to requirements table block
retrieve requirements in requirements table block
retrieve assumptions in requirements table block
retrieve child requirements and assumptions in requirements table block
get selected objects in requirements editor, requirements browser, or requirements table block
clear row in requirements table block
remove requirements table block row

manage block columns

hide precondition column in assumptions tab
hide columns in requirements tab
show precondition column in assumptions tab
show columns in requirements tab

operators

temporal logic

time during which condition is valid
previous value of data
whether simulation time is 0
elapsed time of simulation

change detection

detect change in data since last time step
detect change in data from specified value
detect change in data to specified value

create, concatenate, and convert strings

convert string to double-precision value
convert value to string
concatenate strings

determine properties of strings

determine which characters are letters
determine which characters are spaces
determine if input is string
determine length of string
determine if string contains substring

find and replace string characters

determine if string contains substring
determine if string ends with substring
determine if two strings match
find and replace substrings
replace substrings between start and end points
determine if string starts with substring
find substring within a string
find and replace substrings

edit strings

delete substrings within strings
delete substring between start and end points
extract substring after position
extract substring before position
insert string after substring
insert string before substring
convert string to lowercase
convert a string to uppercase
reverse order of characters in strings
remove leading and trailing characters from string
remove leading and trailing white space from string

compare strings

determine if two strings match
compare strings (case sensitive)
compare strings (case insensitive)
compare first n characters of strings (case sensitive)
compare first n characters of strings (case insensitive)

topics

create and manage requirements

  • use a requirements table block to create formal requirements
    assess formal requirements by using requirements table blocks.

  • use assumptions to constrain formal requirement data in requirements table blocks according to physical limitations.

  • use temporal logic operators to control requirement evaluation and execution.

  • execute formal requirements when data changes between time steps.

  • create child and semantic requirements to establish relationships between requirements.

  • specify the order of evaluation in a requirements table block.

  • modify the type, description, or rationale for each requirement in your requirements table block.

  • use the matlab command line to create and modify requirements table blocks.

  • configure how a requirements table block interfaces with a simulink model.

configure requirement data


  • add or modify data that establishes formal requirements.

  • specify the data types used in formal requirements.

  • specify data sizes in a requirements table block.

test model with requirements


  • overview of specification model and its use in requirements-based verification.

  • automate test generation and execution by using models that contain requirements table blocks.

troubleshooting

use simulink design verifier™ to find inconsistent and incomplete requirement sets and read-before-write issues.

debug requirements table block requirements during simulation.

网站地图