1.2: SYS.2 System Requirements Analysis


What You'll Learn

Here's what you'll take away from this section:

  • Transform stakeholder requirements into system requirements
  • Apply AI for requirements quality analysis
  • Create verifiable system requirements
  • Establish bidirectional traceability

Process Definition

Purpose

SYS.2 Purpose: To transform stakeholder requirements into a set of system requirements.

Outcomes

Outcome Description
O1 System requirements are specified
O2 System requirements are structured and prioritized
O3 System requirements are analyzed for correctness and technical feasibility
O4 The impact of system requirements on the operating environment is analyzed
O5 Consistency and bidirectional traceability are established between system requirements and stakeholder requirements
O6 The agreed system requirements are communicated to all affected parties

Base Practices with AI Integration

BP Base Practice AI Level AI Application
BP1 Specify system requirements L1-L2 Requirements derivation, quality analysis
BP2 Structure system requirements L1-L2 Grouping, prioritization assistance
BP3 Analyze system requirements L1-L2 Correctness checking, feasibility analysis
BP4 Analyze the impact on the system context L1 Impact assessment, dependency analysis
BP5 Ensure consistency and establish bidirectional traceability L2 Automated trace linking, consistency checking
BP6 Communicate agreed system requirements L1 Documentation generation

BP1 Note: ASPICE 4.0 specifies that verification criteria shall be defined as attributes of each system requirement (within 17-08), not as a separate work product. See System Requirement Example below for verification criteria structure.


Requirement Quality Criteria

INCOSE Quality Attributes

References:

  • INCOSE Guide for Writing Requirements (INCOSE-TP-2010-006-04)
  • ISO/IEC/IEEE 29148:2018 Systems and software engineering — Life cycle processes — Requirements engineering

Note: These attributes align with ASPICE 4.0 BP1, which requires system requirements to include verification criteria as requirement attributes.

Attribute Description AI Check
Necessary Traces to stakeholder need Trace validation
Unambiguous Single interpretation NLP analysis
Complete Self-contained Gap detection
Consistent No contradictions Conflict detection
Verifiable Can be tested Measurability check
Feasible Technically achievable Historical comparison
Traceable Linked up and down Link validation
Prioritized Importance defined Priority assigned

Common Quality Issues

Issue Example AI Detection
Ambiguity "fast response" Flag vague terms
Incompleteness Missing error handling Gap analysis
Inconsistency Conflicting timing Cross-reference check
Unverifiable "user-friendly" Flag subjective terms
Unbounded "all cases" Flag absolutes

AI Integration for Requirements Analysis

L1: AI-Assisted Analysis

The following diagram illustrates how AI assists at each stage of requirements analysis, from initial parsing and classification through consistency checking and verification criteria generation.

Note: Diagram uses color indicators (red/yellow/green) that may render differently across viewers.

AI Requirements Analysis

L2: AI-Generated Verification Criteria

Note: Confidence levels shown are illustrative examples.

Input: SYS-BCM-010: The BCM shall lock all doors within 200ms of lock command

AI Output:
─────────
Verification Criteria (Draft):

1. Test Condition: Lock button pressed at ambient temperature (20°C ± 5°C)
   Expected: All four doors locked within 200ms
   Measurement: Time from button signal to door sensor locked state

2. Test Condition: Lock button pressed at -40°C
   Expected: All four doors locked within 200ms
   Measurement: Time from button signal to door sensor locked state

3. Test Condition: Lock button pressed at +85°C
   Expected: All four doors locked within 200ms
   Measurement: Time from button signal to door sensor locked state

4. Test Condition: Lock command via CAN bus
   Expected: All four doors locked within 200ms
   Measurement: Time from CAN message receipt to door sensor locked state

Human Review: Verify completeness, add edge cases, approve

System Requirement Example

---
ID: SYS-BCM-010
Title: Door Lock Response Time
Type: Performance
Priority: High
Status: Approved
Version: 1.2
---

## Description

The Body Control Module shall command all door lock actuators to the
locked position within 200ms of receiving a valid lock command.

## Definitions

- **Lock command**: CAN message ID 0x301 with data byte 0 = 0x01,
  OR central lock button press (active low signal for >50ms)
- **All door lock actuators**: FL, FR, RL, RR door locks
- **Locked position**: Actuator position sensor indicates locked state

## Rationale

Derived from STK-BCM-001 (stakeholder response time expectation).
200ms provides margin for 150ms actuator response + processing.

## Constraints

- Applicable temperature range: -40°C to +85°C
- Supply voltage range: 9V to 16V
- Concurrent operations: Up to 3 other actuator commands

## Verification Method

Test with timing measurement (see SYS-TEST-010)

## Verification Criteria

- VC1: Lock command to actuator command: < 50ms
- VC2: All actuators commanded in sequence: < 10ms between commands
- VC3: Verified across full temperature and voltage range

## Traceability

- Derived from: STK-BCM-001
- Allocates to: SWE-BCM-101 (software), HWE-BCM-201 (hardware driver)
- Verified by: SYS-TEST-010

## Change History

> **Note**: Dates shown are illustrative examples.

| Version | Date | Author | Change |
|---------|------|--------|--------|
| 1.0 | (initial) | Engineer | Initial version |
| 1.1 | (+2 weeks) | Engineer | Added CAN command definition |
| 1.2 | (+6 weeks) | Engineer | Clarified voltage constraints |

Traceability Matrix

The traceability matrix below maps each stakeholder requirement to its derived system requirements, showing coverage status and verification links.

Traceability Matrix

AI Validation Results:

  • [PASS] All stakeholder requirements have system requirements
  • [PASS] All system requirements trace to stakeholder requirements
  • [WARN] SYS-BCM-035: Missing verification link

Work Products

WP ID Work Product Content
17-08 System requirements specification Complete requirements set including verification criteria as requirement attributes (per BP1)
17-11 Traceability record Bidirectional links between stakeholder and system requirements
13-04 Requirements analysis report Quality analysis results, feasibility assessment, impact analysis

ASPICE 4.0 Clarification: Work product 17-12 (Verification criteria) is not a separate deliverable for SYS.2. Verification criteria are specified as attributes within each system requirement (17-08) per BP1. Separate test specifications are developed later in SYS.4 (System Integration Test) and SYS.5 (System Qualification Test).


Common Challenges and Mitigations

Challenge AI Mitigation Human Action
Incomplete requirements Gap detection Fill identified gaps
Ambiguous language NLP flagging Clarify with stakeholders
Missing traceability Link suggestion Verify and approve links
Inconsistencies Conflict detection Resolve conflicts
Changing requirements Impact analysis Manage change formally

Summary

SYS.2 System Requirements Analysis:

  • AI Level: L1-L2 (significant AI assistance)
  • AI Value: Quality analysis, consistency checking, traceability
  • Human Essential: Requirement decisions, stakeholder agreement
  • Key Outputs: System requirements specification, traceability
  • Quality Focus: INCOSE attributes (necessary, unambiguous, complete, etc.)