Modéliser et valider des exigences

Modéliser les exigences et analyser la cohérence et l’exhaustivité au moyen des blocs Requirements Table

Définissez les exigences formelles dans les modèles Simulink® à l’aide du bloc Requirements Table afin d’évaluer la logique avant et pendant le run-time. Utilisez les exigences formelles pour vérifier les résultats de votre modèle ou pour exécuter les sorties des blocs.

Configurez les exigences formelles directement dans le bloc, dans le Requirements Editor ou avec des commandes programmatiques de MATLAB®.

Vérifiez que vos exigences sont complètes et cohérentes en analysant vos exigences formelles avec Simulink Design Verifier™. Validez les exigences formelles avant de générer des tests et de vérifier les modèles de spécification.

Vous pouvez également vérifier les exigences dans les blocs Requirements Table en générant des tests. Pour plus d’informations, consultez Vérifier les exigences au moyen de tests.

Blocs

Requirements TableModel formal requirements with input conditions (depuis R2022a)

Fonctions

développer tout

slreq.modeling.createCreate new model with Requirements Table block (depuis R2022a)
slreq.modeling.findFind Requirements Table blocks (depuis R2022a)
slreq.loadLoad requirement set, link set, or Requirements Table block
anyValueSuppress incompleteness issues for output in Requirements Table block (depuis R2024a)

Opérateurs

développer tout

Logique temporelle

durationTime during which condition is valid in Requirements Table block
getPreviousPrevious value of data in Requirements Table block
isStartupWhether simulation time is 0 in Requirements Table block
tElapsed time of simulation in Requirements Table block

Détection des changements

hasChangedDetect change in data since last time step in Requirements Table block
hasChangedFromDetect change in data from specified value in Requirements Table block
hasChangedToDetect change in data to specified value in Requirements Table block

Créer, concaténer et convertir des chaînes de caractères

str2doubleConvert string to double-precision value in Requirements Table block
stringConvert value to string in Requirements Table block
plusConcatenate strings in Requirements Table block

Déterminer les propriétés des chaînes de caractères

isletterDetermine which characters are letters in Requirements Table block
isspaceDetermine which characters are spaces in Requirements Table block
isstringDetermine if input is string in Requirements Table block
strlengthDetermine length of string in Requirements Table block
containsDetermine if string contains substring in Requirements Table block

Rechercher et remplacer les caractères des chaînes

containsDetermine if string contains substring in Requirements Table block
endsWithDetermine if string ends with substring in Requirements Table block
matchesDetermine if two strings match in Requirements Table block
replaceFind and replace substrings in Requirements Table block
replaceBetweenReplace substrings between start and end points in Requirements Table block
startsWithDetermine if string starts with substring in Requirements Table block
strfindFind substring within a string in Requirements Table block
strrepFind and replace substrings in Requirements Table block

Modifier les chaînes de caractères

eraseDelete substrings within strings in Requirements Table block
eraseBetweenDelete substring between start and end points in Requirements Table block
extractAfterExtract substring after position in Requirements Table block
extractBeforeExtract substring before position in Requirements Table block
insertAfterInsert string after substring in Requirements Table block
insertBeforeInsert string before substring in Requirements Table block
lowerConvert string to lowercase in Requirements Table block
upperConvert a string to uppercase in Requirements Table block
reverseReverse order of characters in strings in Requirements Table block
stripRemove leading and trailing characters from string in Requirements Table block
strtrimRemove leading and trailing white space from string in Requirements Table block

Comparer les chaînes de caractères

matchesDetermine if two strings match in Requirements Table block
strcmpCompare strings in Requirements Table block (case sensitive)
strcmpiCompare strings in Requirements Table block (case insensitive)
strncmpCompare first N characters of strings in Requirements Table block (case sensitive)
strncmpiCompare first N characters of strings in Requirements Table block (case insensitive)

Objets

développer tout

RequirementsTableConfigure Requirements Table blocks (depuis R2022a)
SymbolConfigure data in Requirements Table blocks (depuis R2022a)
RequirementRowRequirements in Requirements Table block (depuis R2022a)
AssumptionRowAssumptions in Requirements Table block (depuis R2022a)

Fonctions des objets

développer tout

Gérer les données du bloc

addSymbolAdd data to Requirements Table block
findSymbolRetrieve data in Requirements Table block

Gérer les lignes du bloc

addAssumptionRowAdd assumption to Requirements Table block
addRequirementRowAdd requirement to Requirements Table block
addChildAdd child requirement or assumption to Requirements Table block
getRequirementRowsRetrieve requirements in Requirements Table block
getAssumptionRowsRetrieve assumptions in Requirements Table block
getChildrenRetrieve child requirements and assumptions in Requirements Table block
slreq.getCurrentObjectGet selected objects in Requirements Editor, Requirements Browser, or Requirements Table block
clearClear row in Requirements Table block
removeRowRemove Requirements Table block row

Gérer les colonnes du bloc

hideAssumptionColumnHide Precondition column in Assumptions tab
hideRequirementColumnHide columns in Requirements tab
showAssumptionColumnShow Precondition column in Assumptions tab
showRequirementColumnShow columns in Requirements tab

Rubriques

Créer des exigences

Définir la logique d’évaluation

Configurer les propriétés des blocs Requirements Table

Configurer les données

Valider les exigences

Résolution des problèmes

Debug Requirements Table Blocks

Debug Requirements Table blocks by using breakpoints and analyzing block data during simulation. (depuis R2023a)

Sélection d՚exemples

Model Dice Game Rules Using a Requirements Table Block

Model Dice Game Rules Using a Requirements Table Block

Use a Requirements Table block to model the rules and the game outcome associated with a dice game.

Define Formal Requirements with a Duration

Define Formal Requirements with a Duration

Define formal requirements that use a duration.

Analyze Formal Requirements of an Electric Vehicle Charger Locking Mechanism

Analyze Formal Requirements of an Electric Vehicle Charger Locking Mechanism

Use a Requirements Table block and Simulink Design Verifier to construct, analyze, and update formal requirements of an electric vehicle charging station locking mechanism.

Use Specification Models for Requirements-Based Testing

Use Specification Models for Requirements-Based Testing

Follow a systematic approach to verify your design model against requirements.