A5012227233- Real-Time Systems Scheduling
- Embedded Systems Design Techniques
- Parallel Computing and Optimization Techniques
- Interconnection Networks and Systems
- Real-time simulation and control systems
- Robotic Path Planning Algorithms
- Robotics and Automated Systems
- Network Time Synchronization Technologies
- Robotics and Sensor-Based Localization
- Model-Driven Software Engineering Techniques
- Cloud Computing and Resource Management
- Green IT and Sustainability
- Distributed systems and fault tolerance
- Formal Methods in Verification
Scuola Superiore Sant'Anna
2015-2019
Google (United States)
2019
Marche Polytechnic University
2016
In recent years, there has been a growing interest in supporting component-based software development of complex real-time embedded systems. Techniques such as machine virtualisation have emerged interesting mechanisms to enhance the security these platforms, while scheduling techniques proposed guarantee temporal isolation different virtualised components sharing same physical resources. This combination also highlighted criticalities due overheads introduced by hyper-visors, particularly...
Computing platforms are evolving towards heterogeneous architectures including processors of different types and field programmable gate arrays (FPGAs), used as hardware accelerators for speeding up specific functions. The increasing capacity performance modern FPGAs, with their partial reconfiguration capabilities, have made them attractive in several application domains, space applications.This paper proposes a framework supporting the development safety-critical real-time systems that...
Heterogeneous computing platforms including both processors and field programmable gate arrays (FPGAs) represent an attractive solution for balancing software flexibility with high performance energy efficiency of custom hardware modules. Furthermore, the dynamic partial reconfiguration (DPR) capabilities modern FPGAs allow virtualizing available area to support several modules in time sharing, hence making them even more attractive. Such a feature is exploited by FRED framework, recently...
Robots interacting with human beings are widespread in modern environments, and those performing intelligent tasks without supervision need to take into account potential criticalities. Making robots compete enable their evaluation respect navigation, mapping, object recognition, tracking manipulation capabilities. Robot competitions date back the early '80s proving be useful for educational research purposes. Several focused on human-robot interaction, even though they rarely produce as...
The increasing complexity of embedded systems requires an improved capability detecting and fixing errors. availability a modeling environment like Simulink allows the verification by simulation or model checking system properties correct behavior design. This is possible upon condition that requirements are expressed in formal way. Test often time-consuming process developers to translate blocks for verification. performing such translation seldom available prone interpretation We present...
Providing innovative resource-efficient solutions able to mitigate temporal interference among cloud services, concurrently sharing the same underlying platform, is crucial deploy highly time-sensitive applications at edge of network where resources are strongly restrained, and timing constraints stringent. A notable example provided by allocation virtualized functions in radio access modern mobile networks, such as 5G. This paper describes a kernel mechanism that can be applied design an...
In this work, we introduce a power-consumption model for heterogeneous multicore architectures that captures the variability of energy consumption based on processing workload type, in addition to classical variables considered literature, like type and frequency CPU. We motivate approach presenting experimental results gathered Odroid-XU3 board equipped with an Arm big.LITTLE CPU, showing power has non-negligible dependency type. also present define execution time tasks, which depends both...
This paper presents preliminary results from our on-going research for ensuring stable performance of co-located distributed cloud services in a resource-efficient way. It is based on using real-time CPU scheduling policy to achieve fine-grain control the temporal interferences among running containers. We present obtained applying method synthetic application within LXC containers Linux, where modified kernel has been used that includes policy.
Nowadays, the real-time domain cannot neglect modern hardware architectures and programming paradigms developed to fully exploit their capabilities. This has shown limitations of classical task models, like periodic one proposed by Liu&Layland, it is pushing for adoption more realistic models development new schedulability analyses guarantee timing constraints. Self-suspending tasks are representative enhanced considering explicit suspensions execution, happening when a interact with an...