advertisement

Iwsm2014 verifying the accuracy of automation tools for cosmic measurement (hassan soubra)

33 %
67 %
advertisement
Information about Iwsm2014 verifying the accuracy of automation tools for cosmic...
Software

Published on October 9, 2014

Author: COSMIC-FSM

Source: slideshare.net

Description

IWSM Presentation
advertisement

1. Verifying the Accuracy of COSMIC Automation Tools: an AUTOSAR-based Example and a Case Study H. Soubra (ESTACA), A. Abran (ETS), A. Ramdane-Cherif(UVSQ) IWSM MENSURA, October 6-8 2014, Rotterdam

2. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 2

3. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 3

4. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Context: FSM Automation • Manual application of FSM is tedious and time-consuming • Especially for organizations with a large number of projects • Not to forget the ‘human’ error factor 4

5. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Context: FSM Automation • The Accuracy of the FSM automation tool developed should be independently demonstrated… but 5

6. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Context: FSM Automation 6

7. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 7

8. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 8

9. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Automation accuracy verification protocol 9

10. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 10

11. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 11

12. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif AUTomotive Open System Architecture 1 12 Standardized configuration processes Standardized software architecture Standardized application interfaces Cooperate on standards Compete on implementation

13. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif AUTomotive Open System Architecture 2 • System engineering approach with a layered architecture. • Standardization and distribution of functions. • Principle of Reuse and configuration. • http://www.autosar.org/ 13

14. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif AUTomotive Open System Architecture 3 • Software is widely independant of Hardware. • Time and costs are reduced due to the simplification of the development processes. • Quality and efficiency are enhanced because of software reuse at OEM and suppliers. 14

15. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif A Steer-by-Wire system with AUTOSAR 1 The system provides two main functionalities: rack torque and feedback torque. 15

16. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif A Steer-by-Wire system with AUTOSAR 2 16 Run_Sensor TimingEvent 5 ms Run_Command TimingEvent 5ms Run_InterECU_Wheel DataReceivedEvent SteerManager SWC iSensorData_angle iSensorData_torque iInterECUWheel_angle iInterECUWheel_torque SteerSensor_data InterECU_WM_to_SM InterECU_SM_to_WM FeedbackTorque Run_Sensor TimingEvent 5 ms Run_Command TimingEvent 5ms Run_InterECU_Steer DataReceivedEvent WheelManager SWC iSensorData_angle iSensorData_torque iInterECUSteer_angle iInterECUSteer_torque WheelSensor_data InterECU_SM_to_WM InterECU_WM_to_SM RackTorque (To FlexRay Bus) Run_Acquisition TimingEvent 5 ms SteerSensor SWC Run_Acquisition TimingEvent 5 ms WheelSensor SWC (To FlexRay Bus) (From FlexRay Bus) (From FlexRay Bus) Run_Actuator DataReceivedEvent SteerActuator SWC Run_Actuator DataReceivedEvent WheelActuator SWC

17. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Functional size of the steer-by-wire system: Measurement detail of the Steer Manager SWC 17 1E 1E 1E 1X 1X 1X 1X 1E 1E 1E 1E 1E 1X 1X Run_Sensor 2E + 2X 4 CFP Run_Command 5E + 2X 7 CFP Run_InterECU_Wheel 1E + 2X 3 CFP

18. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Functional size of the steer-by-wire system 18 AUTOSAR SWC Runnable (COSMIC Functional Process) Data group movements identified Functional Process Size (in CFP) SteerManager Run_Sensor 2E + 2X 4 Run_Command 5E + 2X 7 Run_InterECU_Wheel 1E + 2X 3 SteerSensor Run_Acquisition 2E + 1X 3 SteerActuator Run_Actuator 1E + 1X 2 Wheel Manager Run_Sensor 2E + 2X 4 Run_Command 5E + 2X 7 Run_InterECU_Steer 1E + 2X 3 WheelSensor Run_Acquisition 2E + 1X 3 WheelActuator Run_Actuator 1E + 1X 2 Total 38 CFP

19. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Automation algorithm for AUTOSAR 19 Identify all Runnables of the application software being measured. triggered by a Timing Event? identify 1E Require Ports(RPort): identify 1E Provide Ports (PPort): identify 1X Read InterRunnableVariables : identify 1E Write InterRunnableVariables : identify 1X Aggregate the identified data group movements to obtain its functional size ForeachRunnable Aggregate the functional sizes of the Runnables identified to obtain the functional size of the software being measured.

20. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 20

21. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 21

22. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Case study 2: from the industry 1. Prototype tool: Renault/ETS/UVSQ 2. 77 specifications in Simulink 22 Total Number of Models Total Size obtained manually (CFP) Total Size obtained using the prototype tool (CFP) Difference (%) Accuracy 76 fault-free models 1,729 1,739 Less than 1% >99% All 77 models 1,758 1,791 1.8% >98%

23. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 23

24. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Agenda • FSM Automation • A verification protocol for FSM automation accuracy • Case study 1: AUTOSAR example • Case study 2: example from the industry • Conclusion 24

25. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Conclusion Is FSM automation helpful? But be careful that your automation tool does what it’s supposed to do…or else… 25

26. IWSM/MENSURA 2014 -October 6-8, Rotterdam©2014 Soubra, Abran, Ramdane-Cherif Q & A 26 hassan.soubra@estaca.fr

Add a comment

Related presentations

Speaker: Matt Stine Developing for the Cloud Track Marc Andressen has famou...

This presentation explains how to develop a Web API in Java using (JAX-RS or Restl...

1 App,

1 App,

November 10, 2014

How to bring innovation to your organization by streamlining the deployment proces...

Cisco Call-control solutions can handle voice, video and data

Nathan Sharp of Siemens Energy recently spoke at the SAP Project Management in Atl...

Related pages

2014 Joint Conference of the International Workshop on ...

Defect Density Measurements Using COSMIC ... Verifying the Accuracy of Automation Tools for the Measurement ... Hassan Soubra, ...
Read more

Overview of the papers presented at the IWSM 2014 of ...

... + ^Verifying the Accuracy of Automation Tools for the Measurement of Software ... Hassan Soubra, ... Defect Density Measurements Using COSMIC: ...
Read more

Applying an Assessment protocol to the COSMIC Automation ...

... to the COSMIC Automation Prototype-Tool Hassan ... automation tool must be verified for accuracy. ... verifying the measurement in detail ...
Read more

IWSM Mensura 2014 ToC (PDF Download Available)

Defect Density Measurements Using COSMIC ... Verifying the Accuracy of Automation Tools for the Measurement ... Hassan Soubra, ...
Read more

CSDL - 2014 Joint Conference of the International Workshop ...

Defect Density Measurements Using COSMIC ... Verifying the Accuracy of Automation Tools for the Measurement of Software with COSMIC ... Hassan Soubra.
Read more

Conference Program October 6-8, 2014 - Home - DACE

development with automation of COSMIC Dumke, ... Verifying the accuracy of automation tools ... COSMIC I Measurement Programs
Read more

Amar Ramdane-Cherif

Hassan Soubra, Alain Abran, Amar Ramdane-Cherif: Verifying the Accuracy of Automation Tools for the Measurement of Software with COSMIC - ISO 19761 ...
Read more

dblp: IWSM/Mensura 2014

Bibliographic content of IWSM/Mensura 2014 ... comments, criticisms, and testimonials for the evaluation of our efforts by our public funders.
Read more

Publications de la Recherche - Ecole d'Ingénieurs ESTACA'Lab

... Institute of Measurement and Control, Accepté. Soubra H ... Verifying the accuracy of automation tools for the measurement of software with COSMIC ...
Read more