Results 11 to 20 of about 22,125,892 (242)
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach [PDF]
Frontiers in Robotics and AI, 2022 Due to the severe consequences of their possible failure, robotic systems must be rigorously verified as to guarantee that their behavior is correct and safe.
Mohammed Foughali, Alexander Zuepke
doaj +2 more sources
Novel Hybrid Scheduling Technique for Sensor Nodes with Mixed Criticality Tasks [PDF]
Sensors, 2017 Sensor networks become increasingly a key technology for complex control applications. Their potential use in safety- and time-critical domains has raised the need for task scheduling mechanisms specially adapted to sensor node specific requirements ...
Mihai-Victor Micea +3 more
doaj +2 more sources
Schedulability Analysis using Two Clocks
, 2003 In classic scheduling theory, real-time tasks are usually assumed tobe periodic, i.e. tasks arrive and compute with fixed ratesperiodically. To relax the stringent constraints on task arrivaltimes, we propose to use timed automata to describe task ...
Fersman, Elena, +3 more
core +8 more sources
Improved Multiprocessor Global Schedulability Analysis [PDF]
, 2010 A new technique was recently introduced by Bonifaci et al. for the analysis of real-time systems scheduled on multiprocessor platforms by the global Earliest Deadline First (EDF) scheduling algorithm.
Bonifaci, V. +12 more
core +2 more sources
Q-CSF: Quantum-Aware Compositional Scheduling Framework for Hierarchical Real-Time Systems
IEEE Access, 2021 Component-based design has received considerable attention owing to its advantages in terms of security and safety when developing modern embedded systems.
Jaewoo Lee, Hyeongboo Baek
doaj +1 more source
Mapping AADL models to a repository of multiple schedulability analysis techniques [PDF]
, 2013 To fill the gap between the modeling of real-time systems and the scheduling analysis, we propose a framework that supports seamlessly the two aspects: 1) modeling a system using a methodology, in our case study, the Architecture Analysis and Design ...
Grolleau, Emmanuel +6 more
core +1 more source
Contracts for Schedulability Analysis [PDF]
, 2015 International audienceIn this paper we propose a framework of Assume / Guarantee contracts for schedulability analysis. Unlike previous work addressing compositional scheduling analysis, our objective is to provide support for the OEM / supplier ...
Ingo Stierand +7 more
core +1 more source
Revista Iberoamericana de Automática e Informática Industrial RIAI, 2013 Resumen: Durante la etapa de diseño de un sistema multiprocesador de tiempo real, los test de planificabilidad son una parte clave de los algoritmos de asignación de tareas. El uso de test de planificabilidad exactos permite aumentar la eficiencia de los
Sergio Sáez, Alfons Crespo
doaj +1 more source
Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems
IEEE Access, 2020 As the demand for more functions and capabilities in the system increases, the application of multiprocessors has brought advantages in many ways.
Hyuk Lee, Jin-Young Choi
doaj +1 more source
Utilization Bound Scheduling Analysis for Nonpreemptive Uniprocessor Architecture Using UML-RT
Modelling and Simulation in Engineering, 2014 The key for adopting the utilization-based schedulability test is to derive the utilization bound. Given the computation times, this paper proposes two utilization bound algorithms to derive interrelease times for nonpreemptive periodic tasks, using a ...
S. Ewins Pon Pushpa +1 more
doaj +1 more source