Currently, the real-time Specification for Java (RTSJ) is silent on multiprocessor issues It attempts not to preclude multiprocessor implementations but provides no direct support. this paper discusses the issues that...
详细信息
Currently, the real-time Specification for Java (RTSJ) is silent on multiprocessor issues It attempts not to preclude multiprocessor implementations but provides no direct support. this paper discusses the issues that need to be addressed if the RTSJ is to be better defined for execution on a multiprocessor system. It proposes new dispatching and allocation models. Issues of cost enforcement, interrupts affinity and processor failure are covered.
In object-orientedreal-timecomputing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Corba object references as authorization...
详细信息
In object-orientedreal-timecomputing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Corba object references as authorization tokens. this paper investigates the security of this method in principle, and it presents the results of the analysis of the work and computing effort necessary for a potential attacker to fabricate Corba object references to existing objects for the purpose of illegitimately gaining access to these objects at the instance of seven widely used Corba products
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of in-node processing in combination with ...
详细信息
ISBN:
(纸本)9781595936387
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of in-node processing in combination withdistributed reasoning algorithms as the key enablers for such intelligent surveillance systems. To put these systems into practice still requires a considerable amount of research ranging from mote architectures, pixel-processing algorithms, up to distributed reasoning engines. this paper introduces MeshEye, an energy-efficient smart camera mote architecture that has been designed with intelligent surveillance as the target application in mind. Special attention is given to MeshEye's unique vision system: a low-resolution stereo vision system continuously determines position, range, and size of moving objects entering its field of view. this information triggers a color camera module to acquire a high-resolution image sub-array containing the object, which can be efficiently processed in subsequent stages. It offers reduced complexity, response time, and power consumption over conventional solutions. Basic vision algorithms for object detection, acquisition, and tracking are described and illustrated on real-world data. the paper also presents a basic power model that estimates lifetime of our smart camera mote in battery-powered operation for intelligent surveillance event processing.
In this paper, we propose a method to verify software executed on RTOS which conforms to mulTRON with a model checking tool Spin. the RTOS provides facilities such as priorities and service calls to control the execut...
详细信息
ISBN:
(纸本)9780769531328
In this paper, we propose a method to verify software executed on RTOS which conforms to mulTRON with a model checking tool Spin. the RTOS provides facilities such as priorities and service calls to control the execution of tasks, however, Spin does not provide them. thus, we implemented a middleware which allows us to use the facilities and simulate the execution of the tasks in Spin. the paper shows how it is implemented and its evaluation.
Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these languages from being widely accepted and adopted. the pape...
详细信息
ISBN:
(纸本)9780769531328
Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these languages from being widely accepted and adopted. the paper identifies three key areas contributing to this non-acceptability. the paper also suggests future directions and advancements needed in the identified areas.
the real-time specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps the Java garbage collector. While scope...
详细信息
ISBN:
(纸本)9780769531328
the real-time specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps the Java garbage collector. While scoped memory succeeds in protecting real-time tasks from execution time jitter, practical experience points to shortcomings. this paper takes stock of the state of the art in memory management for RTSJ programs.
AADL is an architecture description language intended for model-based engineering of high-integrity systems. the AADL Behavior Annex is an extension allowing the refinement of behavioral aspects described through AADL...
详细信息
AADL is an architecture description language intended for model-based engineering of high-integrity systems. the AADL Behavior Annex is an extension allowing the refinement of behavioral aspects described through AADL. When implementing distributedreal-time Embedded system, fault tolerance concerns are integrated by applying replication patterns. We considered a simplified design of the primary backup replication pattern to express the modeling capabilities of AADL and its annex. Our contribution intends to give accurate description of the synchronization mechanisms integrated in this example.
We give an introduction and survey of a formal modeling and verification approach that has been successfully applied to time-triggered protocols. this method allows us to capture and reason about real-time properties ...
详细信息
ISBN:
(纸本)9780769531328
We give an introduction and survey of a formal modeling and verification approach that has been successfully applied to time-triggered protocols. this method allows us to capture and reason about real-time properties of distributed systems. It relies on the modeling concept of calendar similar to what has been used for a long time in discrete event simulation. It is also supported by efficient symbolic verification tools provided by the SAL environment. We present the basis of the modeling method and discuss two related verification approaches for analyzing complex, real-timedistributed systems.
Several approaches for scalable interest management (IM) within real-timedistributed virtual environments (DVEs) have been proposed based upon some division of the data-space in to disjoint volumes or cells. Any such...
详细信息
ISBN:
(纸本)9780769531328
Several approaches for scalable interest management (IM) within real-timedistributed virtual environments (DVEs) have been proposed based upon some division of the data-space in to disjoint volumes or cells. Any such approach, however, must implement some mechanism for propagating the query and update messages around the distributed system. the efficiency of this process can greatly effect the scalability of such systems. In this paper we evaluate an adaptive approach to this problem.
暂无评论