Multi-Paradigm Modelling Approaches for Cyber-Physical Systems PDF
Preview Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
MULTI-PARADIGM MODELLING APPROACHES FOR CYBER-PHYSICAL SYSTEMS This page intentionally left blank MULTI-PARADIGM MODELLING APPROACHES FOR CYBER-PHYSICAL SYSTEMS Editedby BEDIRTEKINERDOGAN DOMINIQUEBLOUIN HANSVANGHELUWE MIGUELGOULÃO PAULOCARREIRA VASCOAMARAL AcademicPressisanimprintofElsevier 125LondonWall,LondonEC2Y5AS,UnitedKingdom 525BStreet,Suite1650,SanDiego,CA92101,UnitedStates 50HampshireStreet,5thFloor,Cambridge,MA02139,UnitedStates TheBoulevard,LangfordLane,Kidlington,OxfordOX51GB,UnitedKingdom Copyright©2021ElsevierInc.Allrightsreserved. MATLAB®isatrademarkofTheMathWorks,Inc.andisusedwithpermission. TheMathWorksdoesnotwarranttheaccuracyofthetextorexercisesinthisbook. Thisbook’suseordiscussionofMATLAB®softwareorrelatedproductsdoesnotconstituteendorsementor sponsorshipbyTheMathWorksofaparticularpedagogicalapproachorparticularuseoftheMATLAB®software. Nopartofthispublicationmaybereproducedortransmittedinanyformorbyanymeans,electronicor mechanical,includingphotocopying,recording,oranyinformationstorageandretrievalsystem,without permissioninwritingfromthepublisher.Detailsonhowtoseekpermission,furtherinformationaboutthe Publisher’spermissionspoliciesandourarrangementswithorganizationssuchastheCopyrightClearanceCenter andtheCopyrightLicensingAgency,canbefoundatourwebsite:www.elsevier.com/permissions. ThisbookandtheindividualcontributionscontainedinitareprotectedundercopyrightbythePublisher(other thanasmaybenotedherein). Notices Knowledgeandbestpracticeinthisfieldareconstantlychanging.Asnewresearchandexperiencebroadenour understanding,changesinresearchmethods,professionalpractices,ormedicaltreatmentmaybecomenecessary. Practitionersandresearchersmustalwaysrelyontheirownexperienceandknowledgeinevaluatingandusingany information,methods,compounds,orexperimentsdescribedherein.Inusingsuchinformationormethodsthey shouldbemindfuloftheirownsafetyandthesafetyofothers,includingpartiesforwhomtheyhaveaprofessional responsibility. Tothefullestextentofthelaw,neitherthePublishernortheauthors,contributors,oreditors,assumeanyliability foranyinjuryand/ordamagetopersonsorpropertyasamatterofproductsliability,negligenceorotherwise,or fromanyuseoroperationofanymethods,products,instructions,orideascontainedinthematerialherein. LibraryofCongressCataloging-in-PublicationData AcatalogrecordforthisbookisavailablefromtheLibraryofCongress BritishLibraryCataloguing-in-PublicationData AcataloguerecordforthisbookisavailablefromtheBritishLibrary ISBN:978-0-12-819105-7 ForinformationonallAcademicPresspublications visitourwebsiteathttps://www.elsevier.com/books-and-journals Publisher:MaraConner EditorialProjectManager:JohnLeonard ProductionProjectManager:PoulouseJoseph Designer:GregHarris TypesetbyVTeX Contents Listofcontributors ix 1. Introduction 1 BedirTekinerdogan,DominiqueBlouin,HansVangheluwe,MiguelGoulão,PauloCarreira andVascoAmaral 1.1. Objectives 1 1.2. Outlineofthebook 2 1.3. Acknowledgements 6 Part1. Ontologicalframework 2. Anontologicalfoundationformulti-paradigmmodellingforcyber-physical systems 9 DominiqueBlouin,RimaAl-Ali,MauroIacono,BedirTekinerdoganandHolgerGiese 2.1. Introduction 9 2.2. Ontologydevelopmentapproach 11 2.3. Modellinglanguagesandtools 14 2.4. Ontologyarchitecture 17 2.5. Sharedontology 19 2.6. Introductionofexamples 31 2.7. Conclusion 40 References 41 3. Afeature-basedontologyforcyber-physicalsystems 45 BedirTekinerdogan, RakshitMittal,RimaAl-Ali,Mauro Iacono, EvaNavarro, SoumyadipBandyopadhyay,KenVanherpenandAnkicaBarišic´ 3.1. Introduction 45 3.2. Metamodelofcyber-physicalsystems 46 3.3. Featuremodelofcyber-physicalsystems 47 3.4. ArchitectureofCPS 58 3.5. Examples 59 3.6. Conclusion 65 References 65 v vi Contents 4. Anontologyformulti-paradigmmodelling 67 HolgerGiese,DominiqueBlouin,RimaAl-Ali,HanaMkaouar,SoumyadipBandyopadhyay, MauroIacono,MoussaAmrani,StefanKlikovitsandFerhatErata 4.1. Introduction 67 4.2. Stateoftheart 68 4.3. MPMontology 81 4.4. Examples 90 4.5. Conclusion 114 References 116 5. Anintegratedontologyformulti-paradigmmodellingforcyber-physical systems 123 DominiqueBlouin,RimaAl-Ali,HolgerGiese,StefanKlikovits,SoumyadipBandyopadhyay, AnkicaBarišic´andFerhatErata 5.1. Introduction 123 5.2. Stateoftheart 124 5.3. Ontology 128 5.4. Examples 133 5.5. Conclusion 143 References 144 Part2. Methodsandtools 6. Enablingcompositionofcyber-physicalsystemswiththetwo-hemisphere model-drivenapproach 149 OksanaNikiforova,MauroIacono,NisrineElMarzouki,AndrejsRomanovsand HansVangheluwe 6.1. Introduction 149 6.2. Componentsofcyber-physicalsystems 150 6.3. Cyber-physicalsystemsinthecontextofsystemcomposition 153 6.4. Two-hemispheremodel-drivenapproach 155 6.5. Thetwo-hemispheremodel-drivenapproachforsolvingcompositionproblems 159 6.6. Conclusions 163 Acknowledgements 164 References 164 7. Multi-paradigmmodellingandco-simulationinprototypingacyber-physical productionsystem 169 MihaiNeghina˘,ConstantinBa˘la˘Zamfirescu,PeterGormLarsenandKenPierce 7.1. Introduction 169 7.2. Casestudydescription 170 7.3. Techniques 173 Contents vii 7.4. Methodology 175 7.5. Modellingofthesubsystems 176 7.6. Verification&validation 182 7.7. Conclusion 190 Acknowledgements 192 References 193 8. Agent-basedcyber-physicalsystemdevelopmentwithSEA_ML++ 195 MoharramChallenger,BarisTekinTezel,VascoAmaral,MiguelGoulãoandGeylaniKardas 8.1. Introduction 195 8.2. Background 196 8.3. Relatedwork 197 8.4. SEA_ML++ 199 8.5. Agent-basedCPSmodellinganddevelopmentusingSEA_ML++ 203 8.6. Developmentofamulti-agentgarbagecollectionCPS 207 8.7. Conclusion 215 Acknowledgements 216 References 216 9. CREST–aDSMLforhybridCPSmodelling 221 StefanKlikovitsandDidierBuchs 9.1. Introduction 221 9.2. Hybridformalisms 222 9.3. Domain-specific,hybridmodellingusingCREST 226 9.4. Implementation 235 9.5. Discussion 238 9.6. Summary 239 References 240 Part3. Casestudies 10.DevelopmentofanIoTandWSNbasedCPSusingMPMapproach:asmartfire detectioncasestudy 245 MoharramChallenger,RahelehEslampanah,BurakKaraduman,JoachimDeniland HansVangheluwe 10.1. Introduction 245 10.2. Requirementelicitation 246 10.3. Systemdesign 249 10.4. Modellingandsimulation 255 10.5. Implementation 258 10.6. Multi-paradigmdevelopmentprocessinFTG+PMframework 262 viii Contents 10.7. Summary 267 10.8. Literatureandfurtherreading 267 Acknowledgements 268 References 268 11.Development of industry oriented cross-domain study programs in cyber-physicalsystemsforBelarusianandUkrainianuniversities 271 Anatolijs Zabasta, Nadezda Kunicina, Oksana Nikiforova, Joan Peuteman, AlexanderK.Fedotov,AlexanderS.FedotovandAndriiHnatov 11.1. Introduction 271 11.2. Relatedwork 273 11.3. ReviewofthelabourmarketsofBelarusandUkraine 276 11.4. COSTActioninputtoEuropeancurriculaonCPS 278 11.5. Identificationofindustryneeds 280 11.6. ValidationofCOSTfindingsforcurriculaonCPSinBelarusianandUkrainianuniversities 284 11.7. Discussionsandconclusions 287 Acknowledgements 288 References 288 Index 293 List of contributors Rima Al-Ali CharlesUniversity,Prague,CzechRepublic Vasco Amaral UniversityofLisbon,Lisbon,Portugal Moussa Amrani UniversityofNamur,Namur,Belgium Soumyadip Bandyopadhyay BITSGoa,Sancoale,India Ankica Barišic´ NOVALINCSResearchCenter,Lisbon,Portugal Dominique Blouin TelecomParis,InstitutPolytechniquedeParis,Paris,France Didier Buchs UniversityofGeneva,Carouge,Switzerland Paulo Carreira UniversityofLisbon,Lisbon,Portugal Moharram Challenger UniversityofAntwerpandFlandersMake,Antwerp,Belgium Joachim Denil UniversityofAntwerpandFlandersMake,Antwerp,Belgium Nisrine El Marzouki LIMSLaboratory,USMBA,Fez,Morocco Ferhat Erata YaleUniversity,NewHaven,CT,UnitedStates Raheleh Eslampanah UniversityofAntwerpandFlandersMake,Antwerp,Belgium Alexander K. Fedotov EnergyPhysicsDepartment,PhysicsFaculty,BelarusianStateUniversity,Minsk,Belarus Alexander S. Fedotov EnergyPhysicsDepartment,PhysicsFaculty,BelarusianStateUniversity,Minsk,Belarus ix
The list of books you might like
