Browsing by Author "Oliveira, Renato"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
- A Domain Specific Language for Automotive Systems IntegrationPublication . Oliveira, Renato; Pereira, David; Maia, Cláudio; Santos, PedroDeveloping complex safe and secure Cyber-Physical Systems (CPS) applications for the automotive domain is typically a complex task, due to the criticality inherent to this domain. Considering such known complexity of the development process, we propose a novel solution that aims to provide a quasiautomatic1 integration process between the different components of such CPS systems via the support of a Domain Specific Language (DSL) that provides several views of the system, abstracting away the more technical implementation details, while imposing system properties and restrictions that have the potential to be formally verified (either statically or at run-time) during design, and facilitates the process of customization and quasi-automatic build and deployment processes. In this paper, we briefly analyze the tools that are available and that cover partially the characteristics of our envisioned DSL, describe its building blocks, and show how it can be applied in a small, yet sufficiently complex CPS application whose architecture is very close to what we may expect for the modern and future generation of CPS application in the automotive domain.
- Emulation-in-the-loop for simulation and testing of real-time critical CPSPublication . Oliveira, Renato; Meireles, Manuel; Maia, Cláudio; Miguel Pinho, LuisComplex cyber-physical systems are more and more a set of components working tightly coupled, with little or no human intervention. Assessing the correctness of these systems by testing components individually, one-by-one, is obviously not sufficient, being required to also test and validate the overall system. KhronoSim is a modular and extensible platform for testing cyber-physical systems in closed-loop, which enables the integration of simulation models and platform emulators to build a closed loop test environment. This paper presents the emulator module of KhronoSim, developed to integrate the well-known QEMU emulator in the closed-loop testing platform.
- Exploiting a Throttle Mechanism for QEMUPublication . Oliveira, Renato; Maia, Cláudio; Miguel Pinho, LuisThis paper proposes the implementation of a throttle mechanism for QEMU in order to allow the testing of Cyber-Physical Systems via emulation.