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 componentoriented 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 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 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 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 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 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 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.
暂无评论