Business Area Automotive TURNING SYSTEM EXPERTISE INTO VALUE An Application of TTCN-3 Embedded in the Automotive Sector Marco Mauel ESG (Elektroniksystem- und Logistik-Gmb. H) Hans W. Nissen Cologne University of Applied Sciences Georg Hartung Cologne University of Applied Sciences
Outline of Presentation u Background and Motivation u Some Important Features of TTCN-3 embedded u Testsystem Setup u Test Cases u Conclusions & Future Work An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 2
ESG - Turning system expertise into value Company objectives Portfolio Elements u Over 40 years ESG is the leading, internationally operating system and software house for development and service processes of software intensive, complex, technically advanced, and security critical products. u Customers: Aerospace & Defence, Automotive, Logistics, Telecommunication Facts and Figures u Consulting u System development Embedded u System development IT u Logistics u Training u Lifecycle Services u IT-Services Unique Characteristics u 1963 Foundation of the company u 1. 500 employees with 227 Mio € turnover u Shareholder: EADS Deutschland Gmb. H, Rohde & Schwarz Gmb. H & KG, Thales Defence Deutschland Gmb. H, Litef Gmb. H u >20 sites in Germany, France, USA u Shareholdings: AC&S, ESG Automotive Inc. , ESG France SAS, ESG Consulting Gmb. H, Service. Xpert Gmb. H, etc. u Over 40 years experience in successful implementation of major projects u System and Integration Competence u ESG-wide centers of competence ensure extensive knowledge sharing on state of the art & future technologies u Know how transfer between the business areas of Technologies, Methods and Processes An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 3
Background and Motivation Integration and System test in automotive area u Mainly performed manually Problems with standard TTCN-3 in embedded environment u No timestamps of received Messages u No possibility to evaluate continuous behavior - No direct ability to evaluate datastreams, or analog outputs - Stimulation of analog inputs very uncomfortable u Test of complex behaviour like automatons is difficult Goal: Set-up of testsystem for functional tests in automotive area u Development of TTCN-3 Testsuite, System Adapter and Co. Dec for CAN-based embedded Systems to test diagnostic applications and message based communication - TTWorkbench with CAN-Systemadapter and -Co. Dec u CTTCN-3 Testsystem with ability to test stream based communication, stimulate analog inputs and evaluate analog outputs - Adapter for CANoe environment provided from Fraunhofen Fokus (enables value injection into environment variables) - Appropriate simulation of signals have to be programmed in CAPL(e. g. reaction on value changes in environment variables or additional needed signals) An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 4
Some Important Features of TTCN-3 embedded u Very short overview - more details in subsequent presentation given by Mr. Großmann u TTCN-3 embedded: 2 parts - Real-time concepts: RT TTCN-3 - Continuous concepts: CTTCN-3 u RT TTCN-3 - Time measurement: var float ts : = now - Delay of execution: wait(now + 20) - Access to enqueue time of a message - myport. receive(msg) -> timestamp my. Stamp. Var - Verification of enqueue time - if (my. Stamp. Var – ts > 10) { setverdict(fail); } An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 5
Some Important Features of TTCN-3 embedded (cont’d) u CTTCN-3 - streams, stream ports: flow of data over time - Read/Write Access: . value, . timestamp, . delta - Navigation: . prev(index), . at(timevalue) - State machines: modes and transitions - Different kinds of modes cont: continuous execution of TTCN-3 statements seq: sequential combination of modes par: parallel combination of modes - Transitions – until{[duration > 2. 0] {statements} […] {…} } Guards tell when to exit a mode – optional: execution of statements in action block - Invariants – inv{ boolean_condition } Leave mode when invariant is hurt – optional: execution of statements in action block - Assertions – assert{ boolean_condition } set fail verdict when hurt An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 6
Testsystem Setup Used Software: prel. CTTCN-3 editor and compiler from Fraunhofer FOKUS (Eclipse IDE based) Visual Studio ( System Adapter, Co. Dec ) Vector CANoe ( Hardware Communication, Simulation ) Used Hardware: Vector CANCard XL ( CAN-Communication) Vector CAN Extender ( 8 digital I/Os, 4 analog outputs, 8 analog inputs) HS-CAN LS-CAN I/O An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 7
Test case: Ambient light type port Stream. In type port Stream. Out stream { in float} stream { out float} type component ambient. Light. Test{ port Stream. Out Env. Switch. Light; port Stream. Out Env. Ign. Switch; port Stream. Out ambient. Light; port Stream. In Env. Headlight; } testcase Day. Night. Transition() runs on ambient. Light. Test{ Env. Ign. Switch. value: = 1. 0; Env. Switch. Light. value: =3. 0; ambient. Light. value: =5. 0; seq{ cont {ambient. Light. value: = ambient. Light. value-0. 2} until {[Env. Headlight. value==1. 0] {assert(ambient. Light. value<2. 0; )}} cont {ambient. Light. value: = ambient. Light. value+ 0. 2} until {[Env. Headlight. value==0. 0] {assert(ambient. Light. value>3. 0; )}} } Env. Ign. Switch. value: = 0. 0; Env. Switch. Light. value: =0. 0; ambient. Light. value: =0. 0; } An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 8
Test case: DI Cycle Test Init On type component ext. Light. Test { … port Stream. Out port Stream. In Env. DISwitch. Right; Env. DIRight; …} mode DICycle. Test(float on. Time. Max, float on. Time. Min, float off. Time. Max, float off. Time. Min, float test. Duration) runs on [Env. DIRight. value==0. 0]/ ext. Light. Test: = seq{ cont Init. On {Env. DISwitch. Right. value : = 1. 0; } Init Off until{[Env. DIRight. value==0. 0]{}} [duration>test. Duration] cont Init. Off {} /Env. DISwitch. Right. value: =0. 0; [Env. DIRight. value ==1. 0]/ setverdict(pass); until{[Env. DIRight. value==1. 0]{}} cont DIOn {} until{[Env. DIRight. value==0. 0] DIOn {assert(duration>on. Time. Min); assert(duration<=on. Time. Max); }} [Env. DIRight. value ==1. 0] cont DIOff {} [Env. DIRight. value ==0. 0] /assert (duration>Off. Time. Min); /assert (duration>On. Time. Min); until{[Env. DIRight. value==1. 0] assert(duration<=Off. Time. Max); assert(duration<=On. Time. Max; {assert(duration>off. Time. Min); assert(duration<=off. Time. Max); } goto DIOn; } DIOff }until{[duration>test. Duration] {Env. DISwitch. Right. value: =0. 0; setverdict(pass)}} /Env. DISwitch. Right. value : =1. 0 An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 9
Test case: DI Cycle Test(cont‘d) An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 10
Conclusions & Future Work Conclusions: u TTCN-3 embedded is suitable to validate embedded systems - automatons and datastreams are valuable and easy to use u Prel. Compiler does not support complete set of instructions u Test-setup was sufficient to validate functions in Body-/Comfort-area - faster I/O connections required to validate powertrain requirements u Some delays have been observed due to several reasons - A/D-conversion times including value transmitting via CAN - CAN-message cycle times in simulations (one cycle time worst case) - maybe related to prel. CTTCN-3 environment - Exact performance evaluation requires stable environment Future Work: u Setup with faster I/O connections u More (complex) test cases when stable environment available An Application of TTCN-3 Embedded in the Automotive Sector TTCN-3 User Conference, Bled, Slovenia, 7 -9 June 2011 11
Скачать презентацию Business Area Automotive TURNING SYSTEM EXPERTISE INTO VALUE
8db88386ad1ee86208338360c57aaa6a.ppt