Search Results - "Serra, Gabriele"

Memory Integrity Techniques for Memory-Unsafe Languages: A Survey by Moghadam, Vahid Eftekhari, Serra, Gabriele, Aromolo, Federico, Buttazzo, Giorgio, Prinetto, Paolo

“…The complexity of modern software systems, the integration of several software components, and the increasing exposure to public networks make systems more…”
Get full text

Maximizing the Security Level of Real-Time Software while Preserving Temporal Constraints by Di Leonardi, Sandro, Aromolo, Federico, Fara, Pietro, Serra, Gabriele, Casini, Daniel, Biondi, Alessandro, Buttazzo, Giorgio

“…Embedded computing systems are becoming increasingly relevant in the Internet of Things (IoT) and edge computing domains, where they are often employed as the…”
Get full text

KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions by Ostapyshyn, Illia, Serra, Gabriele, Thomas, Tim-Marek, Lohmann, Daniel

“…ARMv8.3-A has introduced the pointer authentication (PA) feature, a new set of measures and instructions to sign and validate pointers. PA is already used and…”
Get full text

ReTiF: A declarative real-time scheduling framework for POSIX systems by Serra, Gabriele, Ara, Gabriele, Fara, Pietro, Cucinotta, Tommaso

“…This paper proposes a novel framework providing a declarative interface to access real-time process scheduling services available in an operating system…”
Get full text

PAC-PL: Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC Platforms by Serra, Gabriele, Fara, Pietro, Cicero, Giorgiomaria, Restuccia, Francesco, Biondi, Alessandro

“…Control-flow integrity (CFI) is an effective technique to enhance the security of software systems. Processor designers recently started to provide…”
Get full text

MFB50 on-board estimation methodology for combustion control by Ponti, Fabrizio, Ravaglioli, Vittorio, Moro, Davide, Serra, Gabriele

“…Due to the increasing request for pollutant emissions reduction, modern closed-loop combustion control strategies require the on-board evaluation of the center…”
Get full text

An Architecture for Declarative Real-Time Scheduling on Linux by Serra, Gabriele, Ara, Gabriele, Fara, Pietro, Cucinotta, Tommaso

“…This paper proposes a novel framework and programming model for real-time applications supporting a declarative access to real-time CPU scheduling features…”
Get full text

Instantaneous Engine Speed Measurement and Processing for MFB50 Evaluation by Ponti, Fabrizio, Ravaglioli, Vittorio, Serra, Gabriele, Stola, Federico

“…Evaluation of MFB50 is very useful for combustion control, since it gives an evaluation of the combustion process effectiveness. Real-time monitoring its value…”
Get full text

Bounded transmission latency in real-time edge computing: a scheduling analysis by Fara, Pietro, Serra, Gabriele, Aromolo, Federico

“…With the recent advancements in computing power and energy efficiency, embedded system platforms have become capable of providing services that previously…”
Get full text

Enhancing the Availability of Web Services in the IoT-to-Edge-to-Cloud Compute Continuum: A WordPress Case Study by Serra, Gabriele, Fara, Pietro, Casini, Daniel

“…The IoT-to-Edge-to-Cloud compute continuum presents vast opportunities for innovative applications, including crowdsensing, which leverages interconnected…”
Get full text

Em-RIPE: Runtime Intrusion Prevention Evaluator for ARM Microcontroller Systems by Roascio, Gianluca, Serra, Gabriele, Eftekhari Moghadam, Vahid

“…Although they have been known for some time, the security implications of buffer overflows (BOF) continue to rouse great attention among software experts in…”
Get full text

Message from the Organizers; RAGE 2024 by Pazzaglia, Paolo, Shallari, Irida, Sarigiannidis, Panagiotis, Casini, Daniel, Dasari, Dakshina, Becker, Matthias, Lagkas, Thomas, Serra, Gabriele

“…Welcome to the third edition of the Real-Time And intelliGent Edge computing workshop (RAGE 2024), which is held in conjunction with the Cyber-Physical Systems…”
Get full text

EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel by Donnarumma, Ciro, Fara, Pietro, Serra, Gabriele, Di Leonardi, Sandro, Marinoni, Mauro

“…The growing complexity and the need for high safety standards in railways infrastructures are pushing the infrastructure operators toward the adoption of newer…”
Get full text

Analysis of a Dual Mass Flywheel System for Engine Control Applications by Cavina, Nicolò, Serra, Gabriele

“…Dual Mass Flywheel (DMF) systems are today widely adopted in compression ignition automotive powertrains, due to the well-known positive effects on vehicle…”
Get full text

Analysis of a dual mass flywheel system for engine control applications: Journal of passenger cars: electronic and electrical systems by CAVINA, Nicolo, SERRA, Gabriele

Get full text

Hybrid multi-rate control of the common-rail by Balluchi, Andrea, Bicchi, Antonio, Mazzi, Emanuele, Sangiovanni-Vincentelli, Alberto L., Serra, Gabriele

“…We present an industrial case study in automotive control of significant complexity: the new common-rail fuel-injection system for Diesel engines developed by…”
Get full text

Control oriented models for TWC-equipped spark ignition engines during the warm-up phase by Fiengo, G., Glielmo, L., Santini, S., Serra, G.

“…Introduces phenomenological models of the spark ignition engine combustion and the three-way catalyst, able to describe the dynamic behaviors of the system in…”
Get full text

Engine Control Strategy to Optimize a Shift Transient During Clutch Engagement by Amisano, Fabrizio, Serra, Gabriele, Velardocchia, Mauro

“…To optimize a shift transient during clutch engagement (third phase of a gearshift) it is fundamental to define the engine velocity reference and the more…”
Get full text

Misfire Detection Based on Engine Speed Time-Frequency Analysis by Cavina, Nicolò, Corti, Enrico, Minelli, Giorgio, Serra, Gabriele

“…The paper presents the development of a methodology for detecting the misfire event using the time-frequency analysis of the instantaneous engine speed signal…”
Get full text

A Computer Code for S.I. Engine Control and Powertrain Simulation by Arsie, Ivan, Pianese, Cesare, Rizzo, Gianfranco, Flora, Roberto, Serra, Gabriele

“…A computer code oriented to S. I. engine control and powertrain simulation is presented. The model, developed in Matlab-Simulink® environment, predicts engine…”
Get full text