✓ 시스템을 블랙박스로 간주하고, 시스템이 외부요소와 레고블럭처럼 쉽게 조립될 수 있고 재사용 가능한 ✓ 실행 가능한 소스코드 자동 생성

어떻게 상호작용하는지를 텍스트로 명세 Software Component Architecture 설계 ✓ 모델과 코드가 동기화되어 설계와 구현간의 일관성 유지

요구사항분석 SW 설계 SW 코드 자동 생성

✓ 자동차 표준에서 요구하는 안전요구사항, SW아키텍처 설계, ✓ Software Component 설계

✓ Animation기반 시각적 모델 검증을 지원
SW단위 설계, 소스코드, 테스트케이스 간의 양방향 추적성과 ✓ ECU 설계 및 ECU Topology 설계
✓ 작성된 모델 기반으로 테스트 환경과 테스트 시나리오 자동 생성
Coverage 제공 ✓ System 설계
양방향추적성 SW 설계 시험 ✓ Software Implementation AUTOSAR 개발

2
[A-SPICE] [ISO 26262]

[IBM R.AUTO 개발 방법론] 3

4
 SW Unit SW Unit
Implementation Testing Integration
Testing
Validation
SW Unit Testing
Design
Increment Review
(Party)

Prototype
Definition

SW Architectural Iterative
Design Prototypes

SW Requirements
Analysis

5
 [System 요구사항 (텍스트 기반)]

R.AUTO :Impact :Inflate Driver :Driver

Airbag

충격량 전달
충돌판별

R.AUTO
opt [충돌 판별 시]
<<External Actor,mandatory>> Subsystem_DriverAirbag
에어백 전개를 통한 충격량 감소
<<External Actor,mandatory>>

<<Subsystem Usage,mandatory>>
감쇄된 충격량 전달
Inflate Driver Airbag

Impact
Driver

6
 R.AUTO <<P hy sical E lement,mandatory >>
HWSW_ECU

1 :MainSensorController
rMainSensorCurrent
rMainSensorCurrent pMainSensorVoltage

1 :SafingSensorController
rSafingSensorCurrent
rSafingSensorCurrent pSafingSensorVoltage

1 :AlgorithmController

rSafingAlgorithm rSafingSensorVoltage
ISafingAlgorithm rMainSensorVoltage
rMainAlgorithm pActuatorVoltage
IMainAlgorithm

1 :MainAlgorithm
1 :ActuatorController
pMainAlgorithm
IMainAlgorithm rActuatorVoltage
pActuatorCurrent
1 :SafingAlgorithm pActuatorCurrent

pSafingAlgorithm
ISafingAlgorithm

7
 <<External Actor,mandatory>>

Subsystem_DriverAirbag
R.AUTO
<<External Actor,mandatory>>
<<Subsystem Usage,mandatory>>
MainSensor
Manage Crash

<<External Actor,mandatory>>

DriverAirbag

SafingSensor

MainSensor SafingSensor Manage Crash DriverAirbag

R.AUTO

parallel

센서 데이터 전달

센서 데이터 전달

충돌 알고리즘 수행

opt [충돌 판별 시]

에어백 전개

8
R.AUTO
<<C ompositionS w C omponentTy pe>>
TopLevelComposition

1 <<S w C omponentP rototy pe,E cuA bstractionS w C omponentTy pe>> 1 <<S w C omponentP rototy pe,S ensorA ctuatorS w C omponentTy pe>> 1 <<S w cInternalBehav ior>>
IB_MainSensor
mainSensorController:MainSensorController mainSensor:MainSensor
1 <<RunnableE ntity >>
pMainSensorControl rMainSensorControl pMainSensorData <<TimingEvent>> Runnable_CyclicTrigger

<<l_startOnEvent>> <<dataSendPoint>>
T_CyclicTrigger

1 <<S w C omponentP rototy pe,S ensorA ctuatorS w C omponentTy pe>> 1 <<S w C omponentP rototy pe,A pplicationS w C omponentTy pe>> SensorData
actuator:Actuator algorithm:Algorithm <<explicitInterRunnableVariable>> <<SynchronousServerCallPoint>>

pActuatorControl rActuatorControl rMainSensorData getSensorData

MainSensorData:uint8

rSafingSensorData

1 <<S w C omponentP rototy pe,E cuA bstractionS w C omponentTy pe>> 1 <<S w C omponentP rototy pe,S ensorA ctuatorS w C omponentTy pe>>
safingSensorController:SafingSensorController safingSensor:SafingSensor R.AUTO

pSafingSensorControl rSafingSensorControl pSafingSensorData

9
R.AUTO <<F ile>> R.AUTO Rte Rte_C rashD etector M ainA lgorithm SafingA lgorithm
Rte_CrashDetector

RE tC ra shDetector_250ms()

Rte_Re ad_C rashD etector_rMainSensorD ata_crashImpact(crashImpa ct)

<<Usage>> <<Usage>>
Rte_Re ad_C rashD etector_rSafingS ensorD ata_crashImpact(crashImpact)
<<F ile>> <<F ile>>
MainAlgorithm SafingAlgorithm executeM ainA lgorithm(mainC rashImpact)

executeSafingA lgorithm(safingC rashImpact)

if [ma inA lgoR esult == safingA lgoR esult && mainA lgoR esult > 10]

Rte_C all_C rashD etector_rD riv erA irbagC ontrol_inflateA irbag(ra te)

10
R.AUTO
Rte Rte_C rashD etector M ainA lgorithm SafingA lgorithm

RE tC ra shDetector_250ms()

Rte_Re ad_C rashD etector_rMainSensorD ata_crashImpact(crashImpa ct)

Rte_Re ad_C rashD etector_rSafingS ensorD ata_crashImpact(crashImpact)

executeM ainA lgorithm(mainC rashImpact)

executeSafingA lgorithm(safingC rashImpact)

if [ma inA lgoR esult == safingA lgoR esult && mainA lgoR esult > 10]

Rte_C all_C rashD etector_rD riv erA irbagC ontrol_inflateA irbag(ra te)

R.AUTO

11
 MIL Testing SIL Testing

R.AUTO R.AUTO

12
 <<C ompositionS w C omponentTy pe,mandatory >>
Subsystem_DriverAirbag

1 <<S w C omponentP rototy pe,E cuA bstractionS w C omponentTy pe,mandatory >> 1 <<S w C omponentP rototy pe,S ensorA ctuatorS w C omponentTy pe,mandatory >>
mainSensorController:MainSensorController mainSensor:MainSensor

pMainSensorControl rMainSensorControl pMainSensorData

1 <<S w C omponentP rototy pe,E cuA bstractionS w C omponentTy pe,mandatory >> 1 <<S w C omponentP rototy pe,S ensorA ctuatorS w C omponentTy pe,mandatory >>
safingSensorController:SafingSensorController safingSensor:SafingSensor

pSafingSensorControl rSafingSensorControl pSafingSensorData

1 <<S w C omponentP rototy pe,A pplicationS w C omponentTy pe,mandatory >>

crashDetector:CrashDetector

rDriverAirbagControl rSafingSensorData

rMainSensorData

1 <<S w C omponentP rototy pe,S ensorA ctuatorS w C omponentTy pe,mandatory >>

1 <<S w C omponentP rototy pe,E cuA bstractionS w C omponentTy pe,mandatory >>
driverAirbag:DriverAirbag driverAirbagController:DriverAirbagController

pDriverAirbagControl rDriverAirbagCurrent pDriverAirbagCurrent

13
R.AUTO

14
 <<P hy sical E lement,mandatory >>
HWSW_ECU

1 :MainSensorController
rMainSensorCurrent
rMainSensorCurrent pMainSensorVoltage

1 :SafingSensorController
rSafingSensorCurrent
rSafingSensorCurrent pSafingSensorVoltage

1 :AlgorithmController

rSafingAlgorithm rSafingSensorVoltage
ISafingAlgorithm rMainSensorVoltage
rMainAlgorithm pActuatorVoltage
IMainAlgorithm

1 :MainAlgorithm
1 :ActuatorController
pMainAlgorithm
IMainAlgorithm rActuatorVoltage
pActuatorCurrent
1 :SafingAlgorithm pActuatorCurrent

pSafingAlgorithm
ISafingAlgorithm

Requirements Design Code Test

15
 Software 소프트웨어가
Software Requirements를
Requirements
Qualification Test 만족하는지 증명
Analysis

소프트웨어가
Software Software
Software Architectural
Architectural Integration and
Design을
Design Integration Test
만족하는지 증명

Software Detailed 소프트웨어가 Software

Software Unit
Design and Detailed Design을
Verification
Unit Construction 만족하는지 증명

16
17
18
19
20
21
22
23
 Application Layer

Runtime Environment

Complex
Operating Comm.
Device
System Stack
Drivers

Microcontroller

24
1차 (CL 3)

25
2차 (CL 3)

26
3차 (CL 3)

27
 ※ R.AUTO 1 Copy : ₩15,750,000

구분 Premium Standard Compact

소비자가 • ₩94,500,000 • ₩68,250,000 • ₩31,500,000

• 영구 라이선스 2 Copy • 영구 라이선스 2 Copy

R.AUTO • 1년 대여 라이선스 3 Copy • 1 년 대여 라이선스 2 Copy • 영구 라이선스 2 Copy
(영구 전환 가능) (영구 전환 가능)

양방향 추적 도구 • 영구 라이선스 1 Copy • 1 년 대여 라이선스 1 Copy • 제공하지 않음

산출물 생성 도구 • 영구 라이선스 1 Copy • 5회 출력 라이선스 제공

(A-SPICE/ISO 26262/ (Node-Locked) • 제공하지 않음
• 기본 템플릿 제공
AUTOSAR) • 맞춤 템플릿 개발

• 6개월 개발 지원 • 6개월 개발 지원 • 2개월 개발 지원

지원 활동
• 1년 기술 지원 • 1년 기술 지원 • 1년 기술 지원

28