Validating Real-Time Behavioral Patterns of Embedded Controllers - - PowerPoint PPT Presentation

▶
validating real time behavioral patterns of embedded
SMART_READER_LITE
LIVE PREVIEW

Validating Real-Time Behavioral Patterns of Embedded Controllers - - PowerPoint PPT Presentation

Mar 20, 2023 357 likes •588 views

Validating Real-Time Behavioral Patterns of Embedded Controllers Jagannath Aghav and Claude Petitpierre Swiss Federal Institute of Technology (EPFL) 1 O UTLINE ... 1. Validation Process Cycle 2. Composition of Gear Controller 3. Timing

slide-1
SLIDE 1

Validating Real-Time Behavioral Patterns of Embedded Controllers

Jagannath Aghav and Claude Petitpierre Swiss Federal Institute of Technology (EPFL)

1

slide-2
SLIDE 2

OUTLINE...

  • 1. Validation Process Cycle
  • 2. Composition of Gear Controller
  • 3. Timing Requirements
  • 4. Architectural and Behaviroal Patterns
  • 5. Timed Annotations
  • 6. Validation Model
  • 7. Time Computation
  • 8. Discussion

2

slide-3
SLIDE 3

VALIDATION PROCESS CYCLE

  • f controller

Design Pattern Time computation Redesign cycle Desgin pattern

  • f environment

Execution time

  • f methods

Java

  • bjects

Synchronous ( active )

3

slide-4
SLIDE 4

STEPS OF VALIDATION PROCESS

  • 1. Model the behavioral pattern of the program controller.
  • 2. Model the behavioral pattern of corresponding component being

controlled.

  • 3. Implement the code from Statecharts diagrams as synchronous active
  • bjects.
  • 4. Read execution times in Java code.
  • 5. Construct a finite state automaton.
  • 6. Compute the longest response time.
  • 7. Display the longest time response of all paths.

4

slide-5
SLIDE 5

Clutch Controller

GC Timer Control C Timer Clutch

CloseClutch OpenClutch/ ClutchClose ClutchOpen/

Clutch

  • Electronic Controller

5

slide-6
SLIDE 6

COMPOSITION OF MECEL’S GEAR CONTROLLER

Control Engine Control Control Clutch

||

Interface

Controllers Program Environment Environment Clutch

OpenClutch/ CloseClutch NewGear ReqNewGear

Engine E Timer Gear Box GB Timer

GearNeu GearSet/ ReqSet/ ReqNeu

Gear Control C Timer

ClutchOpen/ ClutchClose ReqSpeed/ 6−Reverse 1−5 −Forward 0− Neutral {0,1,...6} Gears: Interface ReqTorque/ ReqZeroTorque TorqueZero/ SpeedSet

6

slide-7
SLIDE 7

GEAR CHANGING ALGORITHM

  • 1. Wait until request for new gear.
  • 2. Obtain zero torque over transmission.
  • 3. Bring gear box in neutral gear.
  • 4. Set the required speed of engine.
  • 5. Set new gear.
  • 6. Set the required torque and go to step 1.

7

slide-8
SLIDE 8

TIMING REQUIREMENTS (a) Gear box sets a gear in 100 to 300 ms. Otherwise Error state. (b) Gear box releases gear in 100 to 200 ms. Otherwise Error state. (c) Clutch changes state from open to close or vice versa in 100 to 150 ms

  • therwise returns to error state.

(d) The maximum time bound to obtain a zero torque for engine is 400 ms. (e) For engine the maximum time bound to obtain a synchronous speed is 500 ms otherwise engine enters into error state. (f) A gear change should be completed within 1.5 seconds. (g) A gear change under normal conditions should be happen within 1 sec.

8

slide-9
SLIDE 9

CLASS DIAGRAM OF CLUTCH CONTROLLER

9

slide-10
SLIDE 10

CLASS DIAGRAM OF GEAR CONTROLLER

10

slide-11
SLIDE 11

STATECHART DIAGRAM OF CLUTCH CONTROLLER

11

slide-12
SLIDE 12

STATECHART DIAGRAM OF CLUTCH COMPONENT

12

slide-13
SLIDE 13

TIME ANNOTATIONS IN THE CODE

  • Implementation with Synchronous Active Objects
  • Label structure:

//!

✁

Calling active object number, receiving active object number, method name, time units

✂
  • Partition into: Control part and environment part
  • Label generation on Java method calls

13

slide-14
SLIDE 14

TIME ANNOTATIONS..CONTD..

public class Gear { ... active class ClutchController{ ... accept OpenClutch; //! {1, 0, OpenClutch, 35} ... } active class Clutch{ ... accept ClutchOpen; //! {0, 1, ClutchOpen, 30} ... }

14

slide-15
SLIDE 15

FINITE STATE MODEL FOR CLUTCH CONTROLLER

Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 15

slide-16
SLIDE 16

TIME COMPUTATION ALGORITHM

✄ ☎

: program controller,

✆

: environment and

✝ ✄✞ ☎ ✟ ✆ ✠

: edge with transition from

☎

to

✆

.

✝

Input: File description of finite state model. Output: Sum of execution times of all possible paths.

  • 1. Read the labels, edges and vertices.
  • 2. Search the new edge
✞ ✆ ✟ ☎ ✠

.

  • 3. From the sinking vertex of the selected edge find all possible paths ending on

next new edge

✞ ✆ ✟ ☎ ✠

. All the paths are terminating with either

✞ ☎ ✟ ✆ ✠
  • r
✞ ☎ ✟ ☎ ✠

type of edge.

  • 4. Compute the time on all the paths by summing up the execution times specified
  • n the labels.
  • 5. Display the transition that takes longest time response into Statechart diagram
  • f controller.

16

slide-17
SLIDE 17

VALIDATION..CONTD..

E1

✡

E2 : Time(E 1 0 CloseClutch 10 + E 0 1 ClutchOpen 30)

☛

40 units Time(E 1 0 CloseClutch 10 + E 0 1 ClutchClose 25 + E 0 1 ClutchOpen 30)

☛

65 units E1

✡

E3 : Time(E 1 0 CloseClutch 10 + E 0 1 ClutchClose 25 + E 0 1 ClutchOpen 30 + E 0 0 ErrorOpening 10)

☛

75 units E4

✡

E5 : Time(E 1 0 OpenClutch 35 + E 0 1 ClutchOpen 30 + E 0 1 ClutchClose 25 )

☛

90 units Time(E 1 0 OpenClutch 35 + E 0 1 ClutchClose 25)

☛

60 units E4

✡

E6 : Time(E 1 0 OpenClutch 35 + E 0 1 ClutchOpen 30 + E 0 1 ClutchClose 25 + E 0 0 ErrorClosing 10 )

☛

100 units

17

slide-18
SLIDE 18

FINITE STATE MODEL FOR GEAR CONTROLLER

Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization Initialization E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E0 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E1 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E2 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E_5_4_TorqueZero_50 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E3 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E4 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E5 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E6 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80 E7 E7 E7 E7 E7 E7 E7 E7 E7 E7 E7 E7 E7 E7 E7 E7 E7 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E8 E8 E8 E8 E8 E8 E8 E8 E8 E8 E8 E8 E8 E8 E8 E8 E8 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E9 E9 E9 E9 E9 E9 E9 E9 E9 E9 E9 E9 E9 E9 E9 E9 E9 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E10 E10 E10 E10 E10 E10 E10 E10 E10 E10 E10 E10 E10 E10 E10 E10 E10 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 LG LG LG LG LG LG LG LG LG LG LG LG LG LG LG LG LG GL GL GL GL GL GL GL GL GL GL GL GL GL GL GL GL GL E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E_6_7_NewGear_20 E11 E11 E11 E11 E11 E11 E11 E11 E11 E11 E11 E11 E11 E11 E11 E11 E11 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E12 E12 E12 E12 E12 E12 E12 E12 E12 E12 E12 E12 E12 E12 E12 E12 E12 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10 E15 E15 E15 E15 E15 E15 E15 E15 E15 E15 E15 E15 E15 E15 E15 E15 E15 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E_2_3_ReqNeu_50 E13 E13 E13 E13 E13 E13 E13 E13 E13 E13 E13 E13 E13 E13 E13 E13 E13 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10 E16 E16 E16 E16 E16 E16 E16 E16 E16 E16 E16 E16 E16 E16 E16 E16 E16 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E_3_2_GearNeu_50 E14 E14 E14 E14 E14 E14 E14 E14 E14 E14 E14 E14 E14 E14 E14 E14 E14 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E_1_0_OpenClutch_35 E19 E19 E19 E19 E19 E19 E19 E19 E19 E19 E19 E19 E19 E19 E19 E19 E19 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E23 E23 E23 E23 E23 E23 E23 E23 E23 E23 E23 E23 E23 E23 E23 E23 E23 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E20 E20 E20 E20 E20 E20 E20 E20 E20 E20 E20 E20 E20 E20 E20 E20 E20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_3_ReqSet_60 E17 E17 E17 E17 E17 E17 E17 E17 E17 E17 E17 E17 E17 E17 E17 E17 E17 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E_3_2_GearSet_80 E18 E18 E18 E18 E18 E18 E18 E18 E18 E18 E18 E18 E18 E18 E18 E18 E18 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E21 E21 E21 E21 E21 E21 E21 E21 E21 E21 E21 E21 E21 E21 E21 E21 E21 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E22 E22 E22 E22 E22 E22 E22 E22 E22 E22 E22 E22 E22 E22 E22 E22 E22 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E25 E25 E25 E25 E25 E25 E25 E25 E25 E25 E25 E25 E25 E25 E25 E25 E25 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E24 E24 E24 E24 E24 E24 E24 E24 E24 E24 E24 E24 E24 E24 E24 E24 E24 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25

18

slide-19
SLIDE 19

VALIDATION..CONTD..

E2

✡

E3 : Time(E 7 6 ReqNewGear 35 + E 4 5 ReqZeroTorque 25)

☛

60 units ... E8

✡

E9 : Time(E 5 4 SpeedSet 80 + E 2 3 ReqSet 60)

☛

140 units ... E10

✡

E1 : Time(E 3 2 GearSet 80 + E 4 5 ReqTorque 30 + E 6 7 NewGear 20 )

☛

130 units ... E21

✡

E25 : Time(E 3 2 GearSet 80 + E 0 1 ClutchClose 25 + E 0 0 ErrorClosing 10 )

☛

115 units E8

✡

E23 : Time(E 5 4 SpeedSet 80 + E 2 3 ReqSet 60 + E 2 2 ErrorIdle 20)

☛

160 units

19

slide-20
SLIDE 20

DISCUSSION

  • Real-time behavioral patterns.
  • Architectural patterns.
  • Integration into the design phase.
  • Internal inconsistencies.

20

slide-21
SLIDE 21

THANK YOU!

21