LEADER 06432nam 22010695 450 001 996465472303316 005 20230125223154.0 010 $a3-030-43946-1 024 7 $a10.1007/978-3-030-43946-0 035 $a(CKB)4100000011273845 035 $a(DE-He213)978-3-030-43946-0 035 $a(MiAaPQ)EBC6419639 035 $a(Au-PeEL)EBL6419639 035 $a(OCoLC)1155113748 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/39590 035 $a(PPN)248397710 035 $a(EXLCZ)994100000011273845 100 $a20200507d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Multi-Paradigm Modelling for Cyber-Physical Systems$b[electronic resource] /$fedited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe 205 $a1st ed. 2020. 210 $aCham$cSpringer Nature$d2020 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) 311 $a3-030-43945-3 327 $aMulti-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. 330 $aThis open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems?known as cyber-physical systems?that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners. 606 $aSoftware engineering 606 $aComputer engineering 606 $aInternet of things 606 $aEmbedded computer systems 606 $aSpecial purpose computers 606 $aApplication software 606 $aComputer-aided engineering 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aCyber-physical systems, IoT$3https://scigraph.springernature.com/ontologies/product-market-codes/T24080 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 606 $aComputer-Aided Engineering (CAD, CAE) and Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I23044 610 $aSoftware Engineering 610 $aCyber-physical systems, IoT 610 $aSpecial Purpose and Application-Based Systems 610 $aComputer Applications 610 $aComputer-Aided Engineering (CAD, CAE) and Design 610 $aOpen Access 610 $aEmbedded and cyber-physical systems 610 $aSoftware design engineering 610 $aModel-driven software engineering 610 $aModelica 610 $aPerformance Analysis 610 $aDesign Languages 610 $aSystem Description Languages 610 $aSystem and Modeling 610 $aDEVS 610 $aStatecharts 610 $aPetri Nets 610 $aMulti-Paradigm Modeling 610 $aAADL 610 $aConcurrency Modeling 610 $aElectrical engineering 610 $aCybernetics & systems theory 610 $aExpert systems / knowledge-based systems 610 $aInformation technology: general issues 610 $aComputer-aided design (CAD) 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aInternet of things. 615 0$aEmbedded computer systems. 615 0$aSpecial purpose computers. 615 0$aApplication software. 615 0$aComputer-aided engineering. 615 14$aSoftware Engineering. 615 24$aCyber-physical systems, IoT. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Applications. 615 24$aComputer-Aided Engineering (CAD, CAE) and Design. 676 $a005.1 700 $aCarreira$b Paulo$4edt$01354843 702 $aCarreira$b Paulo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAmaral$b Vasco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVangheluwe$b Hans$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465472303316 996 $aFoundations of Multi-Paradigm Modelling for Cyber-Physical Systems$93358441 997 $aUNISA