the proceedings contain 64 papers. the topics discussed include: dynamic policy-driven quality of service in service-oriented systems;a scheme for reliable real-time messaging with bounded delays;energy-saving mechani...
ISBN:
(纸本)9780769540382
the proceedings contain 64 papers. the topics discussed include: dynamic policy-driven quality of service in service-oriented systems;a scheme for reliable real-time messaging with bounded delays;energy-saving mechanisms in the time-triggered architecture;model-based programming of modular robots;design and performance evaluation of binary code packing for protecting embedded software against reverse engineering;architectural and behavioral modeling with AADL for fault tolerant embedded systems;model-driven development of a web service-oriented architecture and security policies;real-time-component based software architecture for QoS-adaptive networked multimedia applications;flexible resource management for self-x systems: an evaluation;real-time distribution of time-dependant tasks in heterogeneous environments;towards a framework for self-adaptive reliable network services in highly-uncertain environments;and policy-based reprogramming for wireless sensor networks.
the proceedings contain 32 papers. the topics discussed include: real-time multicast and memory replication channels with delay bounded error detection and retry capabilities;scheduling multi clock realtime systems: ...
ISBN:
(纸本)9780769543680
the proceedings contain 32 papers. the topics discussed include: real-time multicast and memory replication channels with delay bounded error detection and retry capabilities;scheduling multi clock realtime systems: from requirements to implementation;modeling MARTE sequence diagram with timing Pi-calculus;a model-based transformation process to validate and implement high-integrity systems;modeling interface definition language extensions (IDL3+) using domain-specific modeling languages;a generalized model to control the throughput in a processor for real-time applications;modeling and analyzing real-time data streams;a time-predictable object cache;refactoring real-time java profiles;the design of middleware support for real-time SOA;accurate measurement-based WCET analysis in the absence of source and binary code;and determining actual response time in P-FRP using idle-period game board.
the proceedings contain 34 papers. the topics discussed include: STeC: a location-triggered specification language for real-time systems;functional safety analysis method for CTCS Level 3 based on hybrid automata;low ...
ISBN:
(纸本)9780769546698
the proceedings contain 34 papers. the topics discussed include: STeC: a location-triggered specification language for real-time systems;functional safety analysis method for CTCS Level 3 based on hybrid automata;low power consumption data structure design for embedded applications in real-time systems;measuring time lag with nested preemptions and resumptions;component based design of fault tolerant devices in cyber physical system;RESTful management for cyber-physical systems;a novel self-adaptive fault-tolerant mechanism and its application for a dynamic pervasive computing environment;design and implementation of an automotive telematics gateway based on virtualization;ESF - an extensive service foundation from internet of things perspective;research of context situation awareness technology.
the proceedings contain 68 papers. the topics discussed include: getting more flexible scheduling in the RTSJ;automatic memory management in utility accrual scheduling environments;a hybrid scheduling scheme for hard,...
详细信息
ISBN:
(纸本)076952561X
the proceedings contain 68 papers. the topics discussed include: getting more flexible scheduling in the RTSJ;automatic memory management in utility accrual scheduling environments;a hybrid scheduling scheme for hard, soft and non-real-time tasks;scheduling non-preemptive periodic tasks in soft real-time systems using fuzzy inference;load balancing techniques for distributed stream processing applications in overlay environments;MDA-based development in the DECOS integrated architecture-modeling the hardware platform;looking ahead in open multithreaded transactions;a space-efficient caching mechanism for flash-memory address translation;java framework for distributedreal-time embedded systems;a software enhancement system for embedded software development;integrated scheduling with garbage collection for real-time embedded applications in CLI;and embedded sensor networked operating system.
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...
详细信息
ISBN:
(纸本)9780769527659
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.
this paper describes an extension to the component-based programming model to support real-time dynamic guarantee for distributed applications. the extended model aims to include an acceptance tests to component-based...
详细信息
ISBN:
(纸本)9780769527659
this paper describes an extension to the component-based programming model to support real-time dynamic guarantee for distributed applications. the extended model aims to include an acceptance tests to component-based servers at bind time. We present the mapping of our model to the CORBA component Model, the architecture to support the dynamic guarantee in component-based middleware, the implementation of this architecture in CIAO (component Integrated ACE ORB) and the result of experiments run to evaluate the cost of the mechanisms used.
Although distributedreal-time (RT) systems are intrinsically complex to develop and maintain, the use of certain object-oriented (OO) technologies such as CORBA and CORBA-RT facilitates those tasks. this is the main ...
详细信息
ISBN:
(纸本)9780769527659
Although distributedreal-time (RT) systems are intrinsically complex to develop and maintain, the use of certain object-oriented (OO) technologies such as CORBA and CORBA-RT facilitates those tasks. this is the main reason why these technologies are becoming increasingly popular. Moreover, CORBA is complemented with additional services that solve specific requirements for some applications, so developers may concentrate on the application functionality. Following this approach, this paper presents a new service that allows the synchronous scheduling of different activities in a distributed RT system in a simple and flexible way. this paper also explains how this service can be used for optimizing that access to shared resources in a distributed system and presents several experimental data that show the service performance.
Requirements of High Integrity systems now encompass distribution mechanisms along with strong functional and non-functional features (run-time support for hardware, dependability, safety, analyzability). In this pape...
详细信息
ISBN:
(纸本)9780769527659
Requirements of High Integrity systems now encompass distribution mechanisms along with strong functional and non-functional features (run-time support for hardware, dependability, safety, analyzability). In this paper, we show how model processing help addressing such needs. We present a generic distribution model suitable for High Integrity systems, and demonstrate how a high-level modeling deployment view allows one to greatly reduce the model complexity. Finally, we conclude by assessing a case study.
暂无评论