000 04560nam a22006015i 4500
001 978-3-030-43946-0
003 DE-He213
005 20240507154520.0
007 cr nn 008mamaa
008 200507s2020 sz | s |||| 0|eng d
020 _a9783030439460
_9978-3-030-43946-0
024 7 _a10.1007/978-3-030-43946-0
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aFoundations of Multi-Paradigm Modelling for Cyber-Physical Systems
_h[electronic resource] /
_cedited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aXX, 285 p. 157 illus., 54 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _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.
506 0 _aOpen Access
520 _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 properlyapplied, 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.
650 0 _aSoftware engineering.
650 0 _aCooperating objects (Computer systems).
650 0 _aComputers, Special purpose.
650 0 _aApplication software.
650 0 _aComputer-aided engineering.
650 1 4 _aSoftware Engineering.
650 2 4 _aCyber-Physical Systems.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aComputer and Information Systems Applications.
650 2 4 _aComputer-Aided Engineering (CAD, CAE) and Design.
700 1 _aCarreira, Paulo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aAmaral, Vasco.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aVangheluwe, Hans.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030439453
776 0 8 _iPrinted edition:
_z9783030439477
776 0 8 _iPrinted edition:
_z9783030439484
856 4 0 _uhttps://doi.org/10.1007/978-3-030-43946-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-SOB
999 _c37381
_d37381