In this paper we propose a simple model for component based real-timesystems using duration automata. For this simple model we propose an algorithm for solving the emptiness problem using black-box testing for compon...
详细信息
In this paper we propose a simple model for component based real-timesystems using duration automata. For this simple model we propose an algorithm for solving the emptiness problem using black-box testing for components which is in the same complexity class as for solving the emptiness problem for untimed component based systems. Furthermore, the verification of behavioural real-time properties in this model can be done with techniques from duration Calculus.
Microkernel based systems tend to depend heavily on IPC. this paper addresses the problem of a system response spanning more than one task in an embeddedreal-time system. the approach is based on a mix of classical r...
详细信息
Microkernel based systems tend to depend heavily on IPC. this paper addresses the problem of a system response spanning more than one task in an embeddedreal-time system. the approach is based on a mix of classical response time analysis equations and a graph based approach to estimate the impact of different parts of the system on the time needed by the system to respond. this approach has the major advantage of being intuitive.
We present an approach to the analysis and optimization of heterogeneous distributed embeddedsystems for hard real-timeapplications. the systems are heterogeneous not only in terms of hardware components, but also i...
详细信息
We present an approach to the analysis and optimization of heterogeneous distributed embeddedsystems for hard real-timeapplications. the systems are heterogeneous not only in terms of hardware components, but also in terms of communication protocols and scheduling policies. When several scheduling policies share a resource, they are organized in a hierarchy. In this paper, we address design problems that are characteristic to such hierarchically scheduled systems: assignment of scheduling policies to tasks, mapping of tasks to hardware components, and the scheduling of the activities. We present algorithms for solving these problems. Our heuristics are able to find schedulable implementations under limited resources, achieving an efficient utilization of the system.
When real-timeembedded system software needs to be upgraded, it will be more dependable if the new software is sufficiently tested on the actual deployment platform. the challenge is to provide a safeguard for protec...
详细信息
When real-timeembedded system software needs to be upgraded, it will be more dependable if the new software is sufficiently tested on the actual deployment platform. the challenge is to provide a safeguard for protecting the normal operations from faulty upgrades. However, the safeguard must be not only efficient but also able to be added and taken away as needed without shutting down the normal operations. We have developed an architecture based on simplex architecture and process resurrection and have applied it to the inverted pendulum control system. the measurements show that the overhead is small and justifiable.
the proceedings contain 52 papers. the topics discussed include: model driven development for distributed real-time and embeddedsystems;activity diagram patterns for modeling quality constraints in business processes...
详细信息
ISBN:
(纸本)3540290109
the proceedings contain 52 papers. the topics discussed include: model driven development for distributed real-time and embeddedsystems;activity diagram patterns for modeling quality constraints in business processes;code generation from UML models with semantic variation points;composing domain-specific languages for wide-scope software engineering applications;model typing for improving reuse in model-driven engineering;computing refactorings of behavior models;dynamic secure aspect modeling with UML: from models to code;domain models are aspect free;properties of stereotypes from the perspective of their role in designs;and a modeling and simulation based approach to dependable system design.
the development of many systems suffer from unexpected problems during development leading to time and cost penalties. A common situation that leads to problems is when components are integrated and un-anticipated fea...
详细信息
the development of many systems suffer from unexpected problems during development leading to time and cost penalties. A common situation that leads to problems is when components are integrated and un-anticipated features are formed. these features are often termed emergent properties. In this paper, a compositional approach is adopted where components are parameterized with extra information that can then be used to understand the implications of integration and mapping.
this paper presents a robust signal processing system for tracking individual harmonic components that is suitable for selective harmonics compensation in active power filter applications. the proposed signal processi...
详细信息
this document presents a MDA-based method for the development of systems dedicated to process control. It proposes to introduce a first sensors/actuators independent model. QoS semantic definitions are then stated; th...
详细信息
this document presents a MDA-based method for the development of systems dedicated to process control. It proposes to introduce a first sensors/actuators independent model. QoS semantic definitions are then stated; thus, dealing with quality of service (QoS) requirements is a way to safely introduce sensors/actuators in the model.
this paper presents an implementation of feedback control strategy on distributed static scheduling. the static schedule is created taking into account the average execution times of the tasks. Feedback control algori...
详细信息
this paper presents an implementation of feedback control strategy on distributed static scheduling. the static schedule is created taking into account the average execution times of the tasks. Feedback control algorithm handles the unestimated dynamic behaviors in the system and keeps the performance at a desired level. the approach of feedback control supporting static scheduling yields more flexible scheduling, low scheduling overhead and better resource utilization while preserving the realtime constraints.
In this paper, we propose an approach to integrate a hybrid garbage collection algorithm (a combination of reference counting and mark-and-sweep techniques) into the current response time analysis framework for real-t...
详细信息
In this paper, we propose an approach to integrate a hybrid garbage collection algorithm (a combination of reference counting and mark-and-sweep techniques) into the current response time analysis framework for real-timesystems. Instead of collecting garbage incrementally, we put most GC work into a periodic real-timethread, namely the GC thread, which is scheduled according to the dual priority scheduling method. More importantly, we can perform schedulability analysis (response time analysis) for all the real-timethreads including the GC thread.
暂无评论