1 / 10

Setup of Railway State Decoder Demonstrator

Setup of Railway State Decoder Demonstrator. Peter Lantos, PROL. Example for an abstract test case of Objs. <?xml version="1.0" encoding="UTF-8" ?> … - <ctr ID="" name=" RTUConnectionSignal "> <parameter ID="" name=" hasConnection "> true </parameter> </ctr>

shasta
Download Presentation

Setup of Railway State Decoder Demonstrator

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Setup of Railway State Decoder Demonstrator Peter Lantos, PROL

  2. Example for an abstract test case of Objs • <?xml version="1.0" encoding="UTF-8" ?> • … • - <ctr ID="" name="RTUConnectionSignal"> • <parameter ID="" name="hasConnection">true</parameter> • </ctr> • <obs ID="" name="GetAllRTUDataSignal" /> • - <ctr name="SendingAllRTUDataSignal"> • <parameter name="kind">BEGINNING</parameter> • </ctr> • - <ctr name="RTUDataSignal"> • <parameter name="rtuID">1</parameter> • <parameter name="channelID">0</parameter> • <parameter name="value">ON</parameter> • <parameter name="noDataConnectionOnChannel">false</parameter> • <parameter name="timestamp">?</parameter> • </ctr> • … • - <ctr name="TimeElapsed"> • <parameter name="TimeAmount">5</parameter> • </ctr> • - <obs name="StatusWordWrittenToDB"> • <parameter name="objID">3578</parameter> • <parameter name="value0">ON</parameter> • …

  3. Test Engine for Objs Module Test: replacing environment except DB. Objs module: producer – consumer arch. • Test engine = test environment • Test engine produces input to Objs, it watchs output of Objs using DB Protocol implementation • by TestEngine – TC contains value of bits • by TestCase – TC contains each messages Timing description • by TestCase – Uppaal or OOAC branch? • by TestEngine

  4. Vizualization

  5. Setup of Objs demonstrator • Technical description • architecture of test environment • test goals • converting bits to status word (timed automaton) • protocol handling (sequence and bitID – [objectID,Bitname] pairing) • error handling of conversion (timed automaton) • error handling of protocol • safety architecture – fault detection

  6. Subproject management Status of UML -> OOAS conversion? • Modeling (PROL with help of BME and AIT) • Model check + metrics (BME?) • TCG by UPPAAL (BME) • TCG by OOAS (?) and Ulysses • Trial run – analyzing results (PROL with help of ?) • coverage measurement (PROL with help of BME?) • cyclic because of • bugs • different test goals • different test suits • other application: simulator Status of UML -> Uppaal track

  7. Measurement of strength of TCG • Modeling Sim module • Generating Code • Generating TestSuits • Run with profession coverage tracking tool (Cantata++ or RTT)

  8. D6.2 • Introduction • application environment • UML model and model checking • making instances (station information) • Setup of demonstrator • architecture of test environments • planned tests • test goals • test coverage

  9. Test Engine for Sim Module Test: replacing environment Sim module: autonomic producer • Test engine = consumer • Input file of Sim = actual program is interpreted by Sim • Test engine watchs output of Sim Protocol implementation. • by TestEngine – TC contains only value of bits • by TestCase – TC contains each messages Is any time checking req. in TC?

  10. Thank you for yourattention!

More Related