Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carr...
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center. The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors or the Institute of Electrical and Electronics Engineers, Inc.
The proceedings contain 42 papers. The topics discussed include: fundamental design principles for embedded systems: The architectural style of the cross-domain architecture GENESYS;delivering sustainable capability o...
ISBN:
(纸本)9780769535739
The proceedings contain 42 papers. The topics discussed include: fundamental design principles for embedded systems: The architectural style of the cross-domain architecture GENESYS;delivering sustainable capability on evolutionary service-oriented architecture;towards configurable real-time hybrid structural testing: a cyber-physical system approach;Fault-tolerance for component-based systems - an automated middleware specialization approach;compensating for timing jitter in computing systems with general-purpose operating systems;a document centric framework for building distributed smart object systems;model-driven design and organic computing - contradictory or synergetic approaches to overcome the embedded software crisis;and model-driven design and organic computing - two different but possibly accordable concepts for the design of embedded systems.
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 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 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 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 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 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 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.
暂无评论