ICO Tutorial

ICO Tutorial

-

English
66 Pages
Read
Download
Downloading requires you to have access to the YouScribe library
Learn all about the services we offer

Description

ADVISES Tutorials:ICO TutorialLIIHS-IRIT, University Toulouse 3Rémi Bastide, David NavarrePhilippe Palanque1`````aa`OverviewIntroduction to Petri netsprinciplesexemples & exercisesverification techniquesIntroduction to the ICOsprinciplesexemple & exercisetool support2Development processModelsRequirements modellingthActivitiesi iterationQualitative analysisMaintain conformance to Maintain task and systemrequirements models consistencySystem modelling Task modellingththi iterationi iterationQuantitative analysisComplexity Performanceevaluation evaluationTowardsNot OkOkCheckImprove theUsabilitysystem model ObjectivesTesting3ICO Tutorial - Petri Nets4aaaaaContentIntroductionAn intuitive introduction to Petri NetsThe five Petri Nets PrinciplesIntroduction to Analysis TechniquesConclusion5An intuitive introduction : two racing cars (1)6An intuitive introduction : two racing cars (2)List of actions List of conditionsP1: car a; preparing for startT1: car a; send ready signP2: car a; waiting for startT2: car a; start raceP3: car a; runningT3: starter; give start signP4: ready sign of car aT4: car b; send ready signP5: start sign for car aP6: starter; waiting for ready signsT5: car b; start raceP7: starter; start sign givenP8: car b; preparing for startP9: car b; waiting for startP10: car b; runningP11: ready sign of car bP12: start sign for car b7An intuitive introduction : two racing cars ...

Subjects

Informations

Published by
Reads 50
Language English
Report a problem
ADVISES Tutorials: ICO Tutorial LIIHS-IRIT, University Toulouse 3 Rémi Bastide, David Navarre Philippe Palanque 1 ` ` ` ` ` a a ` Overview Introduction to Petri nets principles exemples & exercises verification techniques Introduction to the ICOs principles exemple & exercise tool support 2 Development process Models Requirements modelling th Activities i iteration Qualitative analysis Maintain conformance to Maintain task and system requirements models consistency System modelling Task modelling th th i iteration i iteration Quantitative analysis Complexity Performance evaluation evaluation Towards Not Ok Ok Check Improve the Usability system model Objectives Testing 3 ICO Tutorial - Petri Nets 4 a a a a a Content Introduction An intuitive introduction to Petri Nets The five Petri Nets Principles Introduction to Analysis Techniques Conclusion 5 An intuitive introduction : two racing cars (1) 6 An intuitive introduction : two racing cars (2) List of actions List of conditions P1: car a; preparing for start T1: car a; send ready sign P2: car a; waiting for start T2: car a; start race P3: car a; running T3: starter; give start sign P4: ready sign of car a T4: car b; send ready sign P5: start sign for car a P6: starter; waiting for ready signs T5: car b; start race P7: starter; start sign given P8: car b; preparing for start P9: car b; waiting for start P10: car b; running P11: ready sign of car b P12: start sign for car b 7 An intuitive introduction : two racing cars (3) car a; preparing for start P1=true P1 car a; preparing for start car a; waiting for start P2 P2=true car a; waiting for start car a; running P3 P3 car a; running ready sign of car a P4 P4=true ready sign of car a start sign for car a P5 P5 start sign for car a T1 starter; waiting for ready s. P6=true P6=true starter; waiting for ready s. starter; start sign given P7 P7 starter; start sign given car b; preparing for start P8=true P8=true car b; preparing for start car b; waiting for start P9 P9 car b; waiting for start car b; running P10 P10 car b; running ready sign of car b P11 P11 ready sign of car b start sign for car b P12 P12 start sign for car b 8 An intuitive introduction : two racing cars (4) car a; preparing for start P1=true P1 car a; preparing for start car a; waiting for start P2 P2=true car a; waiting for start car a; running P3 P3 car a; running T1 ready sign of car a P4 P4=true ready sign of car a start sign for car a P5 P5 start sign for car a starter; waiting for ready s. P6=true P6=true starter; waiting for ready s. starter; start sign given P7 P7 starter; start sign given car b; preparing for start P8=true P8=true car b; preparing for start car b; waiting for start P9 P9 car b; waiting for start car b; running P10 P10 car b; running ready sign of car b P11 P11 ready sign of car b start sign for car b P12 P12 start sign for car b 9 An intuitive introduction : two racing cars (5) car a; preparing for start P1=true P1 car a; preparing for start car a; waiting for start P2 P2=true car a; waiting for start car a; running P3 P3 car a; running T1 ready sign of car a P4 P4=true ready sign of car a start sign for car a P5 P5 start sign for car a starter; waiting for ready s. P6=true P6=true starter; waiting for ready s. starter; start sign given P7 P7 starter; start sign given car b; preparing for start P8=true P8 car b; preparing for start car b; waiting for start P9 P9=true car b; waiting for start car b; running P10 P10 car b; running T4 ready sign of car b P11 P11=true ready sign of car b start sign for car b P12 P12 start sign for car b 10