La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

ICO Tutorial

De
66 pages
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 ...
Voir plus Voir moins
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