ICO Tutorial

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