Presentation for İTÜ and YTÜ

Sebahattin BABUR, Ph.D.

25.02.2025

REQUIREMENTS MANAGEMENT AND ANALYSIS

Agenda
01 Introduction
Authoring and Importing
02 Requirements

03 Requirements Modeling and

Analysis

04 Verification of the Requirements

05 Summary

06 Useful Links
Traditional Development Process

Testing
Cost

Time

Software textual Software Design C/C++ Integrated

requirements architecture specification Hand Coding object code

Requirements Architecture Compilation

Manual Coding
Authoring Development and Linking

BİZİ TAKİP EDİN!

Model-Based Design Workflow

Model used for

Software textual
requirements
Software
architecture
Executable
Design
specification
… production
C/C++
Generated
Hand
C/C++Coding
code
Integrated
object code
code generation

Requirements Architecture Compilation

Modeling Manual
Code Coding
Generation
Authoring Development and Linking

BİZİ TAKİP EDİN!

 Complete Model-Based Design Workflow

get the complete confidence in your design

Back-to-back testing

Equivalence Prevention of
testing unintended Static code analysis
Requirements functionality and verification
Review
traceability and static Back-to-back testing
analysis
Model used for
System
requirements
Software textual
requirements
Software
architecture
Executable
specification
… production
Generated
C/C++ code
Integrated
object code
code generation

Requirements Architecture Compilation

Modeling Code Generation
Authoring Development and Linking

BİZİ TAKİP EDİN!

Battery Management System

BİZİ TAKİP EDİN!

Battery Management System – Professional Simulink Model

BİZİ TAKİP EDİN!

Pack
Module
Cell
 Reference Workflow for Model-Based Design

Integration testing
Embedded software testing

Module and integration

testing / traceability
Back-to-back testing

Equivalence Prevention of
testing unintended Static code analysis
Requirements functionality and verification
Review
traceability and static
analysis
Model used for
System
requirements
Software textual
requirements
Software
architecture
Executable
specification
… production
Generated
C/C++ code
Integrated
object code
code generation

Requirements Architecture Compilation

Modeling Code Generation
Authoring Development and Linking

BİZİ TAKİP EDİN!

Why do 71% of Embedded Projects Fail ?

Poor Requirements Management

Sources: Christopher Lindquist, Fixing the Requirements Mess, CIO Magazine, Nov 2005

BİZİ TAKİP EDİN!

How to Manage Requirements in Simulink
• Manage Requirements
• Isolate and test components
• Perform simulation
• Manage and organize tests
• Measure model coverage
• Generate tests for missing coverage

Requirements
traceability

Model used for

Software textual
requirements
Software
architecture
Executable
specification
… production
Generated
C/C++ code
Integrated
object code
code generation

Requirements Architecture Compilation

Modeling Code Generation
Authoring Development and Linking

BİZİ TAKİP EDİN!

Agenda
01 Introduction

Authoring and Importing

02 Requirements

03 Requirements Modeling and

Analysis
04 Verification of the Requirements

05 Summary

06 Useful Links
 Integrate with Requirements Tools … and Author Requirements

External
Requirements Simulink Requirements • Import from:
• Word / Excel
External Requirements • IBM® Rational® DOORS®
Import • ReqIF standard

• Update synchronizes
Update
changes from source

• Edit and add further details to

import
Authored Requirements
• Author requirements

Requirements • Export ReqIF

Managements • Enables roundtrip with
Export external tools
Tools

BİZİ TAKİP EDİN!

 Integrate with RequirementsTools and Author Requirements

External
Requirements Simulink Requirements • Import from:
• Word / Excel
External Requirements • IBM® Rational® DOORS®
Import • ReqIF standard

• Update synchronizes
Update
changes from source

• Edit and add further details to

import
Authored Requirements
• Author requirements

Requirements • Export ReqIF

Managements • Enables roundtrip with
Export external tools
Tools

BİZİ TAKİP EDİN!

 Integrate with Requirements Tools and Author Requirements

External
Requirements Simulink Requirements • Import from:
• Word / Excel
External Requirements • IBM® Rational® DOORS®
Import • ReqIF standard

• Update synchronizes
Update
changes from source

• Edit and add further details to

import
Authored Requirements
• Author requirements

Requirements • Export ReqIF

Managements • Enables roundtrip with
Export external tools
Tools

BİZİ TAKİP EDİN!

 Integrate with Requirements Tools and Author Requirements

External
Requirements Simulink Requirements • Import from:
• Word / Excel
External Requirements • IBM® Rational® DOORS®
Import • ReqIF standard

• Update synchronizes
Update
changes from source

• Edit and add further details to

import
Authored Requirements
• Author requirements

Requirements • Export ReqIF

Managements • Enables roundtrip with
Export external tools
Tools

BİZİ TAKİP EDİN!

 Integrate with Requirements Tools and Author Requirements

External
Requirements Simulink Requirements • Import from:
• Word / Excel
External Requirements Traceability • IBM® Rational® DOORS®
Import • ReqIF standard

• Update synchronizes
Update
changes from source

• Edit and add further details to

import
Authored Requirements
• Author requirements

Requirements • Export ReqIF

Managements • Enables roundtrip with
Export external tools
Tools

BİZİ TAKİP EDİN!

 Integrate with Requirements Tools and Author Requirements

External
Requirements Simulink Requirements • Import from:
• Word / Excel
External Requirements • IBM® Rational® DOORS®
Import • ReqIF standard

• Update synchronizes
Update
changes from source

• Edit and add further details to

import
Authored Requirements
• Author requirements

Requirements • Export ReqIF

Managements • Enables roundtrip with
Export external tools
Tools

BİZİ TAKİP EDİN!

Agenda
01 Introduction

Authoring and Importing

02 Requirements
Requirements Modeling and
03 Analysis
04 Verification of the Requirements

05 Summary

06 Useful Links
Requirements Perspective

External Requirements

Requirements Managements Tools

Design in Simulink

Authored Requirements

BİZİ TAKİP EDİN!

Traceability: Requirements - Design

External Requirements

Requirements Managements Tools

Design in Simulink

Traceability
Authored Requirements

BİZİ TAKİP EDİN!

Traceability: Requirements - Design

External Requirements

Requirements Managements Tools

Design in Simulink

Traceability
Authored Requirements

BİZİ TAKİP EDİN!

Requirements Implementation Status

Implementation Status

Implemented
Justified
Missing

BİZİ TAKİP EDİN!

Traceability Matrix: Review and Analyze Traceability

▪ Review traceability
between artifacts

▪ Highlight missing links

▪ Directly add links to

address gaps

▪ Filter view to manage

large sets of artifacts
Documentation: Track Requirement Links with a Traceability Matrix BİZİ TAKİP EDİN!
Traceability Diagram

▪ Visualize traceability between requirements and Model-Based Design items

• Display items linked to a

requirement, block or test

• Inspect requirements
allocation to identity gaps in
implementation or test

• Assess how a change

impacts upstream and
downstream items

See Visualize Links with a Traceability Diagram . BİZİ TAKİP EDİN!

24
Agenda
01 Introduction

Authoring and Importing

02 Requirements
Requirements Modeling and
03 Analysis

04 Verification of the
Requirements

05 Summary

06 Useful Links
 How to Test in Simulink
• Manage Requirements
• Isolate and test components
• Perform simulation
• Manage and organize tests
• Measure model coverage
• Generate tests for missing coverage

Module and integration

testing / traceability

Model used for

System
requirements
Software textual
requirements
Software
architecture
Executable
specification
… production
Generated
C/C++ code
Integrated
object code
code generation

Requirements Architecture Compilation

Modeling Code Generation
Authoring Development and Linking

BİZİ TAKİP EDİN!

Test Components

Test Inputs Component Under Test Test Results

BİZİ TAKİP EDİN!

Create Test Harnesses

Test Cases

Inputs Assessments

Signal Editor
MAT / Excel Test
MAT / Excel File (baseline) Assessments
file (input)

Test Sequence
MATLAB Unit Test

Test Harness BİZİ TAKİP EDİN!

Test Harness Import in a Centralized Environment

Test Manager

Test Harnesses

BİZİ TAKİP EDİN!

Test Assessment

Test Cases

Inputs Assessments

Signal Editor
MAT / Excel Test
MAT / Excel File (baseline) Assessments
file (input)

Test Sequence
MATLAB Unit Test
Test Harness
BİZİ TAKİP EDİN!
Logical & Temporal
Test Assessment

Test Cases

Inputs Assessments

Signal Editor
MAT / Excel
file (input)

Logical & Temporal

Test Sequence Test Assessments

Test Harness
BİZİ TAKİP EDİN!
Traceability: Requirements - Test

External Requirements
Requirements Managements Tools

Traceability

Authored Requirements

BİZİ TAKİP EDİN!

Requirements Verification Status and Test Report

Implementation Status Verification Status

Passed
Implemented
Failed
Justified
No Result
Missing Missing

BİZİ TAKİP EDİN!

Requirements Verification with Simulink

External Requirements
Traceability: Implemented by
Requirements Managements Tools Implement

Traceability: Verified by
Verifies

Test Cases
Traceability: Derived Assessments
Inputs
Derived from

Authored Requirements

Signal Editor
MAT / Excel Test
MAT / Excel File (baseline)
file (input) Assessments

Test Sequence BİZİ TAKİP

Test Harness MATLAB UnitEDİN!
Test
Respond to Change – Impact Analysis
Trace Requirements to Design and Code

▪ Bidirectional navigation between requirements, design and generated code

Model

Generated Code

BİZİ TAKİP EDİN!

Links for Requirement
Agenda
01 Introduction

Authoring and Importing

02 Requirements
Requirements Modeling and
03 Analysis

04 Verification of the
Requirements
05 Summary

04 Useful Links
 Summary

External
Requirements Toolbox
Requirements
Import / Export Author / Model Analyze

Trace
Requirements
Management
Tools

Report

Simulink, System Composer, Simulink Test, Generated

Stateflow, Simulink Fault Analyzer, MATLAB Test, Code
MATLAB and Text Files MATLAB Unit Test
Learn More:

▪ Product Page:
– https://www.mathworks.com/products/require
ments-toolbox.html

▪ Documentation:
– mathworks.com/help/slrequirements/

▪ Training Class:
– https://www.mathworks.com/training-
schedule/simulink-model-management-and-
architecture.html

BİZİ TAKİP EDİN!

41
MathWorks Toolchain Posters for Certification Standards

42
 Destek ve Çözümler için Bize Ulaşın

www.figes.com.tr

İSTANBUL OFİS ANKARA OFİS BURSA OFİS İZMİR OFİS

Teknopark İstanbul Aziziye Mah. Kırkpınar Sk. İhsaniye Mah. İzmir Yolu Cad. Adalet Mah. Manas Bul.
Sanayi Mah. Teknopark Bul. No: 18/6, 06690 Efe Plaza No:116/12, 16130 No:39 Folkart Towers B Kule
No:1 9.Blok Kat:5, 34912 Çankaya / Ankara Nilüfer / Bursa Kat:32 Ofis:3201
Pendik / İstanbul Bayraklı / İzmir

Telefon : 0 850 888 73 47 Telefon : 0 850 888 73 47 Telefon : 0 850 888 73 47 Telefon : 0 850 888 73 47

43
BİZİ TAKİP EDİN!
TEŞEKKÜRLER
44
Q&A

45