A5019258757- Real-Time Systems Scheduling
- Distributed systems and fault tolerance
- Embedded Systems Design Techniques
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Distributed and Parallel Computing Systems
- Parallel Computing and Optimization Techniques
- Context-Aware Activity Recognition Systems
- Software System Performance and Reliability
- IoT and Edge/Fog Computing
- Cloud Computing and Resource Management
- Network Time Synchronization Technologies
- Blockchain Technology Applications and Security
- Security and Verification in Computing
- Digital Transformation in Industry
- Mobile Agent-Based Network Management
- Healthcare Technology and Patient Monitoring
- Peer-to-Peer Network Technologies
- Advanced Malware Detection Techniques
- Real-time simulation and control systems
- Petri Nets in System Modeling
- Software Reliability and Analysis Research
- Network Traffic and Congestion Control
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
Universitat Politècnica de València
2013-2024
California University of Pennsylvania
2018
Polytechnic Institute of Porto
2018
Universidad Carlos III de Madrid
2009-2018
Australian National University
2018
Centro Tecnológico de Investigación, Desarrollo e Innovación en tecnologías de la Información y las Comunicaciones (TIC)
2016
Sichuan University
2013
University of Electronic Science and Technology of China
2013
Embedded Systems (United States)
2013
University of Aveiro
2008
Future networked embedded systems will be complex deployments deeply integrated in the environment that they monitor. They have to react both user and environmental events, this may require modifying their structure handle changing situations. In a number of domains including industrial environments, modification system need take place real time. This is hard problem novel paradigmatic solutions involving cross-domain knowledge build middleware for enabling real-time interaction between...
If last decade viewed computational services as a utilitythen surely this has transformed computation into commodity. Computation is now progressively integrated the physical networks in seamless way that enables cyber-physical systems (CPS) and Internet of Things (IoT) meet their latency requirements. Similar to concept "platform service" or "software service", both cloudlets fog computing have found own use cases. Edge devices (that we call end user for disambiguation) play role personal...
This paper presents a model for quality-of-service (QoS)-aware service composition in distributed systems with real-time and fault-tolerance requirements. can be applied application domains like, example, remote monitoring, control surveillance. Classic approaches to do not provide the flexibility required new emerging environments that need combine high degree of dynamism temporal predictability. Our approach addresses these challenges by combining concepts from oriented paradigm systems....
Timely operation is a key factor in CPS that challenged by their inherent distributed nature. The variability introduced the network and its unpredictable effects have to be handled. Thus, vertical understanding of involved software layers needed at levels operating system, networking middleware. Typically, middleware has been described quite independent way from underlying system kernel software. That not appropriate as some degree control over resource assignment expected means ensure...
Integrating digital twin technology in Cyber-Physical Systems and Internet of Things can boost their intelligence. Given the current maturity (yet progress), improving models that these systems use is typically achieved off-line, requiring system to stop reconfigure run each new model version. In fact, most works cloud back-ends heavy machine learning algorithms, imposing strict requirements on data exchange between physical cloud. We address online improvement cyber–physical by supporting...
The design of embedded real-time systems requires skills from multiple specific disciplines, including, but not limited to, control, computer science, and electronics. This often involves experts differing backgrounds, who do recognize that they address similar, if identical, issues complementary angles. Design methodologies are lacking in rigor discipline so demonstrating correctness an design, at all possible, is a very expensive proposition may delay significantly the introduction...
Communication middleware technologies are powerful instruments to develop and deploy remote laboratories for students practice the control of real application cases. Middleware allows rapid development deployment actual distributed settings since it abstracts specifics different hardware platforms communication media involved in access lab material. This paper describes practical carried out a case successful laboratory experience that simulate on-line monitoring systems, i.e., train traffic...
This paper presents a software framework containing reconfiguration mechanism that provides realtime execution guarantees in intensive media processing consumer electronic devices. Our approach offers real-time during all of the system operation, i.e., not only normal mode but also event reconfigurations (a is transition among two different states). enhances budget scheduling model to provide time-partition availability resources transitions. Results are presented validate proposed approach.
More and more, the use of real-time distribution middlewares programmed with high-level languages like Java is becoming interest for industrial systems because this type infrastructures reduce development efforts required to both design maintain complex networked applications. In that way towards having better tools, paper deals very specific issue asynchronism from particular perspective Java's distributed technologies. It proposes evaluates an extension remote method invocation (RMI)...
SUMMARY Timely run‐time software replacement techniques are a corner stone for reconciling real‐time systems development and dynamic behavior. Typical do not consider behavior because it deeply challenges predictability timeliness. Current efforts starting to merge the safe predictable execution with controllable level of dynamicity by imposing set bounds limitations system One obstacles this is how time‐bound different operations required effectively implement component replacement. In...
There is a trend in industrial systems towards the use of common-off-the-shelf (COTS) components to develop applications that interact with open systems. This includes among others high-level languages, such as Java, and Internet protocols (HTTP Web Services). Although many these technologies at their business layers, they are far from offering homogeneous programming platform most internal infrastructures. paper extends current practice by introducing real-time Java-centric architecture for...
The inherent dynamic nature of Cyber Physical Systems (CPS) requires novel mechanisms to support their evolution over operation life time. Though typically the development CPS integrates software (cyber) design with physical domain, this contribution concentrates mainly on another essential integration plane: level. This paper presents an approach adaptation process required by evolution. It is based run-time generation verified system configurations and analysis guide through correct that...
Media processing in high-quality multimedia embedded systems (HQMES) has real-time constraints. Timely and rendering of video frames audio samples is essential to meet user expectations. The nature incoming media suffers unforeseen variations which have different resource requirements. Therefore, HQMES integrate policies for efficiently smoothly adapting these changes. Mode change protocols allow applications switch their state (for instance, transition from one quality level another) by...
An increasing number of industrial applications include video processing capacities, which allow, among others, remote monitoring processes and control private public areas. Image has real-time requirements result in resource demands at both node network levels. Moreover, is usually compressed coded to be transmitted generates variable bit-rate streams. This introduces inside the terms memory processor cycles required for sequence different frames. A direct impact on also obvious since...
Current trends in real-time systems identify Java as a new alternative to develop both centralized and distributed systems. Many efforts have been devoted the Real-Time Specification for (RTSJ), there is substantial ongoing activity produce straightforward valuable Distributed (DRTSJ). The current paper provides contribution this latter defining, from different angles, synchronous scheduling service aligned with principles of some popular architectures. This orchestrates system such way that...