Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

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

Descripción completa

Detalles Bibliográficos
Otros Autores: Carreira, Paulo (Editor), Carreira, Paulo. editor (editor), Amaral, Vasco. editor, Vangheluwe, Hans. editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham Springer Nature 2020
Cham : 2020.
Edición:1st ed. 2020.
Materias:
Software engineering.
Computer engineering.
Internet of things.
Embedded computer systems.
Special purpose computers.
Application software.
Computer-aided engineering.
Software Engineering.
Cyber-physical systems, IoT.
Special Purpose and Application-Based Systems.
Computer Applications.
Computer-Aided Engineering (CAD, CAE) and Design.
Software Engineering
Cyber-physical systems, IoT
Special Purpose and Application-Based Systems
Computer Applications
Computer-Aided Engineering (CAD, CAE) and Design
Open Access
Embedded and cyber-physical systems
Software design engineering
Model-driven software engineering
Modelica
Performance Analysis
Design Languages
System Description Languages
System and Modeling
DEVS
Statecharts
Petri Nets
Multi-Paradigm Modeling
AADL
Concurrency Modeling
Electrical engineering
Cybernetics & systems theory
Expert systems / knowledge-based systems
Information technology: general issues
Computer-aided design (CAD)
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009437764806719
Tabla de Contenidos:
  • Multi-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.

Ejemplares similares