Browsing by Author "Miguel Pinho, Luis"
Now showing 1 - 7 of 7
Results Per Page
Sort Options
- 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.
- High-Performance and Time-Predictable Embedded ComputingPublication . Miguel Pinho, Luis; Quiñones, Eduardo; Bertogna, Marko; Marongiu, Andrea; Nélis, Vincent; Gai, Paolo; Sancho, JuanNowadays, the prevalence of computing systems in our lives is so ubiquitous that we live in a cyber-physical world dominated by computer systems, from pacemakers to cars and airplanes. These systems demand for more computational performance to process large amounts of data from multiple data sources with guaranteed processing times. Actuating outside of the required timing bounds may cause the failure of the system, being vital for systems like planes, cars, business monitoring, e-trading, etc. High-Performance and Time-Predictable Embedded Computing presents recent advances in software architecture and tools to support such complex systems, enabling the design of embedded computing devices which are able to deliver high-performance whilst guaranteeing the application required timing bounds. Technical topics discussed in the book include: Parallel embedded platforms Programming models Mapping and scheduling of parallel computations Timing and schedulability analysis Runtimes and operating systems The work reflected in this book was done in the scope of the European project P SOCRATES, funded under the FP7 framework program of the European Commission. High-performance and time-predictable embedded computing is ideal for personnel in computer/communication/embedded industries as well as academic staff and master/research students in computer science, embedded systems, cyber-physical systems and internet-of-things.
- Real-Time Support in the Proposal for Fine-Grained Parallelism in AdaPublication . Miguel Pinho, Luis; Moore, BradThe Ada language has for long provided support for the development of reliable real-time systems, with a model of computation amenable for real-time analysis. To complement the already existent multiprocessor support in the language, an ongoing effort is underway to extend Ada with a fine-grained parallel programming model also suitable for realtime systems. This paper overviews the model which is being proposed, pointing out the main issues still open and road ahead.
- Real-Time Support in the Proposal for Fine-Grained Parallelism in AdaPublication . Miguel Pinho, Luis; Moore, BradReal-time parallel models are now common, but little exists on fine-grained parallelism within real-time languages and runtimes. ADA is is a language of choice for reliable real-time systems.
- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMPPublication . Royuela, Sara; Martorell, Xavier; Quiñones, Eduardo; Miguel Pinho, LuisThere is a growing need to support parallel computation in Ada to cope with the performance requirements of the most advanced functionalities of safety-critical systems. In that regard, the use of parallel programming models is paramount to exploit the benefits of parallelism. Recent works motivate the use of OpenMP for being a de facto standard in high-performance computing for programming shared memory architectures. These works address two important aspects towards the introduction of OpenMP in Ada: the compatibility of the OpenMP syntax with the Ada language, and the interoperability of the OpenMP and the Ada runtimes, demonstrating that OpenMP complements and supports the structured parallelism approach of the tasklet model. This paper addresses a third fundamental aspect: functional safety from a compiler perspective. Particularly, it focuses on race conditions and considers the fine-grain and unstructured capabilities of OpenMP. Hereof, this paper presents a new compiler analysis technique that: (1) identifies potential race conditions in parallel Ada programs based on OpenMP or Ada tasks or both, and (2) provides solutions for the detected races.
- Timing Analysis MethodologyPublication . Nélis, Vincent; Meumeu Yomsi, Patrick; Miguel Pinho, LuisThis chapter focuses on the analysis of the timing behavior of software applications that expose real-time (RT) requirements. The state-of-the-art methodologies to timing analysis of software programs are generally split into four categories, referred to as static, measurement-based, hybrid, and probabilistic analysis techniques. First, we present an overview of each of these methodologies and discuss their advantages and disadvantages. Next, we explain the choices made by our proposed methodology in Section 5.2 and present the details of the solution in Section 5.3. Finally, we conclude the chapter in Section 5.4 with a summary.