1 / 10

PROL modeling

PROL modeling. Contents. Modeling Project. Application environment. Behaviour M o del of Railway Objects (UML state chart). conversion, extension. extension. simulator application model. Objs application model. code generation, interface implementation. test case generation.

donagh
Download Presentation

PROL modeling

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. PROL modeling

  2. Contents • Modeling • Project

  3. Application environment Behaviour Model of Railway Objects (UML statechart) conversion, extension extension simulator application model Objs application model code generation, interfaceimplementation test case generation test case generation generated simulator code existing Objs code test case by running the simulator

  4. Example: railway object - points start to right set to right moving to right (WLR=1, WUW=0, Left position WLL=0) Right position (WUW=1, (WUW=1. WLR=0, WLR=1, WLL=1) moving to left WLL=0) (WLL=1, WUW=0, WLR=0) set to left start to left occupied free (WFM=1) (WFM=0) locked unlocked (WV=1) (WV=0)

  5. Extensions • Application Modeling of Objs (Papyrus) • Application Modeling of Simulator • Output sequence in case of more RTU signal change • Random code generation • Random at runtime • Realistic • Generic model <-> Specific application • Generating specific test cases • Modeling of test goals • G(!Λ emitted[i]) • State and transition coverage

  6. Project • Modeling (now) • First Test Case Generation (who?) • First Trial running (Prolan) • Completing model • Number of objects types • Error handling • Safety functions

  7. Project • Preparation of D5.3a document • Description (Prolan) • Model (Prolan) • Model checking (BME) • TCG (who?) • Trial running (Prolan)

  8. Extension for object state decoder • The Objs is a state converter • Extending state charts of railway objects: • Second status word for each state • Existing specification – conversion tables:

  9. Test vector for Objs • Input: • Series of IEC 60870-5-104 telegrams • Output: • Second status word:

  10. Thank you for yourattention!

More Related