In work on globally-scheduled soft real-time multiprocessor systems, analysis has been presented for dealing with self-suspensions, but this analysis can be pessimistic. In this paper, we present an approach that is d...
详细信息
In work on globally-scheduled soft real-time multiprocessor systems, analysis has been presented for dealing with self-suspensions, but this analysis can be pessimistic. In this paper, we present an approach that is designed to improve the schedulability of such systems. In experimental results that are presented, the proposed approach significantly improved schedulability in most considered scenarios.
We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the develop...
详细信息
We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the development of the system architecture (using a standard model domain-specific language), the computation of the safety integrity level and the calculation of the reliability of the whole system. We reiterate the safety analysis on the sub-systems. the proposed methodology has found immediate industrial applications.
Multi-cores are the contemporary solution to satisfy high performance and low energy demands in general and embeddedcomputing domains. However, currently available multi-cores are not feasible to be used in safety-cr...
详细信息
Multi-cores are the contemporary solution to satisfy high performance and low energy demands in general and embeddedcomputing domains. However, currently available multi-cores are not feasible to be used in safety-critical environments with hard real-time constraints. Hard real-time tasks running on different cores must be executed in isolation or their interferences must be time-bounded. thus, new requirements also arise for a real-time operating system (RTOS), in particular if the parallel execution of hard real-timeapplications should be supported. In this paper we focus on the MERASA system software as an RTOS developed on top of the MERASA multi-core processor. the MERASA system software fulfils the requirements for time-bounded execution of parallel hard real-time tasks. In particular we focus on thread control with synchronisation mechanisms, memory management and resource management requirements. Our evaluations show that all system software functions are time-bounded by a worst-case execution time (WCET) analysis.
time-series classification is an active research topic in machine learning, as it finds applications in numerous domains. the k-NN classifier, based on the discrete time warping (DTW) distance, had been shown to be co...
详细信息
Towards hardware implementation of real-time visual image processing, we propose a piecewise linear (PWL) approximation of a coupled region-based Markov Random Field (MRF) model with hidden phase variables for coarse ...
详细信息
the aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to provide a thorough comparison with So...
详细信息
the next generation of advanced mechatronic systems is expected to enhance their functionality and improve their performance by context-dependent behavior. therefore, these systems require to represent information abo...
详细信息
the next generation of advanced mechatronic systems is expected to enhance their functionality and improve their performance by context-dependent behavior. therefore, these systems require to represent information about the complex environment and changing sets of collaboration partners internally. this requirement is in contrast to the usually assumed static structures for embeddedsystems. In this paper, we present a model-driven approach which overcomes this situation by supporting dynamic data structures while still guaranteeing that valid worst-case execution times can be derived. It supports a flexible resource management which avoids to operate withthe prohibitive coarse worst-case boundaries but instead supports to run applications in different profiles which guarantee different resource requirements and put unused resources in a profile at other applications' disposal. By supporting the proper estimation of worst case execution time (WCET) and worst case number of iteration (WCNI) at runtime, we can further support to create new profiles, add or remove them at runtime in order to minimize the over-approximation of the resource consumption resulting from the dynamic data structures required for the outlined class of advanced systems.
Formal models used for representing recurrent real-time processes are typically characterized by a period parameter, representing the minimum amount of timethat may elapse between successive invocations of the proces...
详细信息
Formal models used for representing recurrent real-time processes are typically characterized by a period parameter, representing the minimum amount of timethat may elapse between successive invocations of the process. However a recently proposed model called the non-cyclic GMF model deviates from this trend: there is no single period parameter characterizing the recurrent behavior of the task. In this paper we consider schedulability analysis of real-timesystems comprised of collections of such tasks, that are to be scheduled using earliest-deadline first (EDF) scheduling on a single preemptive processor. We provide evidence that indicates that schedulability analysis for such systems is more difficult than for systems in which each recurrent task is characterized by a single period parameter, and derive a pseudo-polynomial time schedulability analysis algorithm for bounded-utilization systems of such tasks.
this paper presents Rapid RT, a novel statistical approach to Worst-Case Response-time (WCRT) analysis targeting complex embeddedreal-timesystems. the proposed algorithm combines Extreme Value theory (EVT) and other...
详细信息
this paper presents Rapid RT, a novel statistical approach to Worst-Case Response-time (WCRT) analysis targeting complex embeddedreal-timesystems. the proposed algorithm combines Extreme Value theory (EVT) and other statistical methods in order to produce a probabilistic WCRT estimate. this estimate is calculated using response time data from either Monte Carlo simulations of a detailed model of the system, or from response-time measurements of the real system. the method could be considered as a pragmatic approach intended for complex industrial systems withreal-time requirements. the target systems contain tasks with many intricate dependencies in their temporal behavior, which violates the assumptions of traditional analytical methods for response time analysis and thereby makes them overly pessimistic. An evaluation is presented using two simulation models, inspired by an industrial robotic control system, and five other methods as reference.
暂无评论