1 / 14

A Comprehensive Guide to Using Ocarina for AADL and Timed Petri Nets Simulation

This guide walks you through the steps necessary to effectively use Ocarina and Tina for generating and simulating AADL models and timed Petri nets. Start by installing Ocarina and Tina, then generate code using Ocarina with specific commands. Follow through editing the generated files, and finally, utilize Tina to visualize and simulate your models. This process includes working with both colored and timed Petri nets, ensuring you understand the flow of your program. Example files are available for practice.

sylvie
Download Presentation

A Comprehensive Guide to Using Ocarina for AADL and Timed Petri Nets Simulation

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. CPSC 875 John D. McGregor Ocarina

  2. What you will need • Ocarina - http://penelope.enst.fr/aadl • Cygwin – if you are using windows you will need this implementation of Linux because Tina runs in Linux • Tina - http://projects.laas.fr/tina/download.php

  3. Step 1 • Install everything

  4. Step 2 • Generate code using ocarina • ocarina –b –g petri_netsmy_file.aadl >model.net • See the ocarina documentation for various options • I am using csMore.aadl and Data_Model.aadl

  5. Step 3 – Edit temp • ------------------------------------------ • ------ Ocarina Petri Nets Generator ------ • ------------------------------------------ • ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ • ~~~~~~~~~~~ Timed Petri Nets ~~~~~~~~~~~ • ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ • net AADL_TO_TPN_GENERATED • tr clientProcess1_clientThread_Init_Dispatch [0,w[ clientProcess1_clientThread_Halted serverProcess1 • … • … • pl clientProcess1_clientThread_requestData_Bus (0) • pl serverProcess1_serverThread_requestData_Bus (0) • ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ • ~~~~~~~~~~~ Colored Petri Nets ~~~~~~~~~~~ • ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ • CN(3:net,1) • CM(11:declaration,1,1,1,5:Class) Erase the red text (it will not be red in your file) Scroll down til you see “~~~~” Erase the red text to the end of the file

  6. Step 4 • Run ndwhich will be in the bin directory of the Tina • This brings up a GUI

  7. Step 5

  8. Step 6

  9. Step 7

  10. Step 8

  11. Click on Rand the click on |< --this is a workaround – just do it

  12. Click on > and the simulation will advance one step; continue clicking

  13. Steps • Read the labels on the places in the petri net so that you can understand the flow of the program

  14. Here is what you are going to do • There is an example aadl file on the course resource page. • Do this analysis on your robotic surgery model • Submit a print of your petri net and the .net file

More Related