the proceedings contain 39 papers. the topics discussed include: model-driven development of real-time software using OMG standards;realtimedistributed control systems using RTAI;RTC: a real-time communication middl...
ISBN:
(纸本)0769519288
the proceedings contain 39 papers. the topics discussed include: model-driven development of real-time software using OMG standards;realtimedistributed control systems using RTAI;RTC: a real-time communication middleware on top of RTAI-Linux;embedded Linux outlook in the PostPC industry;introduction to the TOPPERS project-open source RTOS for embedded systems;the next generation software platform for mobile phones;compositional design of RT systems: a conceptual basis for specification of linking interfaces;general framework for the description of QoS in UML;towards model-based and CCM-based applications for real-time systems;a cooperative simulation mechanism of distributed control systems based on object-oriented design patterns;issues withobject orientation in verifying safety-critical systems;and a systems engineering approach for constructing certifiable real-timedistributed systems.
the proceedings contain 59 papers. the topics discussed include: IKE 2 - implementing the stateful distributedobject paradigm;national-level R&D Programs/movements in the software technology field;a real-time Jav...
ISBN:
(纸本)0769515584
the proceedings contain 59 papers. the topics discussed include: IKE 2 - implementing the stateful distributedobject paradigm;national-level R&D Programs/movements in the software technology field;a real-time Java system on a multithreaded Java microcontroller;analyzing the performance of memory management in RTSJ;approximate real-time clocks for scheduled events;unreliable distributed timing scrutinizer: adapting asynchronous algorithms to the environment;mobile agent model for distributedobjects systems;a framework for integrating the real-time specification for java and java's remote method invocation;a prototype tool for flow analysis of object-oriented programs;integrating real-time synchronization schemes into preemption threshold scheduling;a replication strategy for distributedreal-timeobject-oriented databases;addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems;and service differentiation in real-time main memory databases.
the proceedings contain 53 papers. the topics discussed include: a profile for high-integrity real-time java programs;design and implementation of a SCI-based real-time CORBA;deterministic java in tiny embedded system...
ISBN:
(纸本)0769510892
the proceedings contain 53 papers. the topics discussed include: a profile for high-integrity real-time java programs;design and implementation of a SCI-based real-time CORBA;deterministic java in tiny embedded systems;real-time garbage collection for a multithreaded java microcontroller;strategies for improving connection management in a java-based, GlOP ORB;Performance evaluation of a fault-tolerant mechanism based on replicated distributedobjects for CORBA;on applying coordinated atomic actions and dependable software architectures for developing complex systems;designing a service of failure detection in asynchronous distributed systems;and hardware/software codesign for automotive applications: challenges of the architectural level.
the proceedings contain 21 papers. the topics discussed include: providing real-time scheduling for mobile agents in the JADE platform;an open-source flexible scheduling simulator for real-time applications;event hand...
ISBN:
(纸本)9780769546438
the proceedings contain 21 papers. the topics discussed include: providing real-time scheduling for mobile agents in the JADE platform;an open-source flexible scheduling simulator for real-time applications;event handling for distributedreal-time cyber-physical systems;hardware support for safety-critical java scope checks;assessment and evaluation of Internet-based virtual computing infrastructure;a fault injection method for testing dependable web service systems;online energy-efficient hard real-time scheduling for component oriented systems;worst-case execution time based optimization of real-time java programs;schedulability analysis abstractions for safety critical java;architecting health management into software component assemblies: lessons learned from the ARINC-653 component mode;and an approach to control transmission of medical data over cellular networks using location information.
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:
(纸本)9780769540375
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 54 papers. the topics discussed include: a systematic approach to domain-specific language design using UML;periodic finite-state machines;engineering self-coordinating real-time systems;effici...
详细信息
ISBN:
(纸本)0769527655
the proceedings contain 54 papers. the topics discussed include: a systematic approach to domain-specific language design using UML;periodic finite-state machines;engineering self-coordinating real-time systems;efficient adaptations of the non-blocking buffer for event message communication between real-timethreads;a timing assumption and a t-resilient protocol for implementing an eventual leader service in asynchronous shared memory systems;time-predictable task preemption for real-time systems with direct-mapped instruction cache;integrating priority inheritance algorithms in the real-time specification;analyzing behavior of concurrent software design for embedded systems;and evaluating real-time publish/subscribe service integration approaches in QoS-enabled component middleware.
the proceedings contain 55 papers. the topics discussed include: STELAE - a model-driven test development environment for avionics systems;a metamodel for tracing requirements of real-time systems;HeroeS: virtual plat...
ISBN:
(纸本)9781479921119
the proceedings contain 55 papers. the topics discussed include: STELAE - a model-driven test development environment for avionics systems;a metamodel for tracing requirements of real-time systems;HeroeS: virtual platform driven integration of heterogeneous software components for multi-core real-time architectures;a model driven engineering approach based on aspects for high speed scientific x-rays cameras;achieving timing composability with measurement-based probabilistic timing analysis;computation efficiency driven job removal policies for meeting end-to-end deadlines in distributedreal-time systems;optimizing general-purpose software instrumentation middleware performance for distributedreal-time and embedded systems;scalable real-time compatibility for embedded components using language-progressive TIOA;time-predictable code execution - instruction-set support for the single-path approach;and HR-TECS: component technology for embedded systems with memory protection.
the proceedings contain 53 papers. the topics discussed include: distributed and managed: research challenges and opportunities of the next generation cyber-physical systems;a uniform model for tolerance-based real-ti...
ISBN:
(纸本)9781479944309
the proceedings contain 53 papers. the topics discussed include: distributed and managed: research challenges and opportunities of the next generation cyber-physical systems;a uniform model for tolerance-based real-timecomputing;on the needs and challenges of model-based engineering for spaceflight software systems;combining model-based systems engineering, simulation and domain engineering in the development of industrial automation systems: industrial case study;iPlace: an intelligent and tunable power- and performance-aware virtual machine placement technique for cloud-based real-time applications;experimental analysis of real-time multitasking on multicore systems;analyzing the overhead of self-optimization through task migration within a decentralized task control mechanism for dependable system-on-chip architectures;a real-time instruction cache with high average-case performance;and introducing virtual accelerators to decrease the communication overhead of an artificial hormone system for task allocation.
the proceedings contain 37 papers. the topics discussed include: an invariant preserving transformation for PLC models;product model derivation by model transformation in software product lines;component-based hazard ...
ISBN:
(纸本)9780769543772
the proceedings contain 37 papers. the topics discussed include: an invariant preserving transformation for PLC models;product model derivation by model transformation in software product lines;component-based hazard analysis for mechatronic systems;model-based hardware generation and programming - the MADES approach;architectural design patterns for flight software;abstract infrastructure for real systems: reflection and autonomy in realtime;knowledge representation and awareness in autonomic service-component ensembles - state of the art;developing mechanisms for determining 'good enough' in SORT systems;a lazy algorithm for distributed priority assignment in real-time systems;a service discovery approach for testing dynamic SOAs;middleware support for a self-configurable wireless sensor network;and using transactional memory to synchronize an adaptive garbage collector in real-time Java.
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.
暂无评论