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