Methods and Tools for Efficient Model-Based Development of Cyber-Physical Systems with Emphasis on Model and Tool Integration
Language: en
Pages: 95
Authors: Alachew Mengist
Categories:
Type: BOOK - Published: 2019-08-21 - Publisher: Linköping University Electronic Press

GET EBOOK

Model-based tools and methods are playing important roles in the design and analysis of cyber-physical systems before building and testing physical prototypes.
Designing a Modern Skeleton Programming Framework for Parallel and Heterogeneous Systems
Language: en
Pages: 155
Authors: August Ernstsson
Categories:
Type: BOOK - Published: 2020-10-21 - Publisher: Linköping University Electronic Press

GET EBOOK

Today's society is increasingly software-driven and dependent on powerful computer technology. Therefore it is important that advancements in the low-level proc
Formal Verification of Tree Ensembles in Safety-Critical Applications
Language: en
Pages: 22
Authors: John Törnblom
Categories:
Type: BOOK - Published: 2020-10-28 - Publisher: Linköping University Electronic Press

GET EBOOK

In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of
Latency-aware Resource Management at the Edge
Language: en
Pages: 126
Authors: Klervie Toczé
Categories:
Type: BOOK - Published: 2020-02-19 - Publisher: Linköping University Electronic Press

GET EBOOK

The increasing diversity of connected devices leads to new application domains being envisioned. Some of these need ultra low latency or have privacy requiremen
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
Language: en
Pages: 316
Authors: Bedir Tekinerdogan
Categories: Computers
Type: BOOK - Published: 2020-11-20 - Publisher: Academic Press

GET EBOOK

Multi-Paradigm Modelling for Cyber-Physical Systems explores modeling and analysis as crucial activities in the development of Cyber-Physical Systems, which are