the proceedings contain 15 papers. the topics discussed include: A timed-automata based middleware for time-critical multicore applications;models of communication for multicore processors;optimized adaptation of mixe...
ISBN:
(纸本)9781467377096
the proceedings contain 15 papers. the topics discussed include: A timed-automata based middleware for time-critical multicore applications;models of communication for multicore processors;optimized adaptation of mixed-criticality systems with periodic tasks on uniform multiprocessors in case of faults∗;integer range analysis for whiley on embedded systems;global and thread-local activation of contextual program execution environments;addressing non-functional requirements for embedded applications with platform based aspect design;integrated analysis of temporal behavior of component-based distributedreal-time embedded systems;a time-triggered constraint-based calculus for avionic systems;stack caching using split data caches;and a time-predictable instruction-cache architecture that uses prefetching and cache locking.
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 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 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 39 papers. the topics discussed include: applying real-time programming to legacy embedded control software;buffer sizing to reduce interference and increase throughput of real-time stream proc...
ISBN:
(纸本)9781479987818
the proceedings contain 39 papers. the topics discussed include: applying real-time programming to legacy embedded control software;buffer sizing to reduce interference and increase throughput of real-time stream processing applications;timely long tail identification through agent based monitoring and analytics;a generator for time-predictable code;code optimization of periodic preemptive hard real-time multitasking systems;message passing on a time-predictable multicore processor;deterministic scheduling in networks-on-chip using the trajectory approach;a function for hard real-time system search-based task mapping optimization;flexible framework for statistical schedulability analysis of probabilistic sporadic tasks;and response time analysis for thermal-aware real-time systems under fixed-priority scheduling.
Integrated analysis of temporal behavior for distributedreal-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time. In earlier work, we have s...
详细信息
ISBN:
(纸本)9781467377096
Integrated analysis of temporal behavior for distributedreal-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time. In earlier work, we have shown a Colored Petri Net-based (CPN) approach to modeling and analyzing component-based DRE systems. In this paper, we present new CPN-based modeling approaches and advanced state space methods that improve on the scalability and efficiency of the analysis. the generality of the modeling principles used show the applicability of this approach to a wide range of systems.
To efficiently use multicore processors we need to ensure that almost all data communication stays on chip, i.e., the bits moved between tasks executing on different processor cores do not leave the chip. Different fo...
详细信息
ISBN:
(纸本)9781467377096
To efficiently use multicore processors we need to ensure that almost all data communication stays on chip, i.e., the bits moved between tasks executing on different processor cores do not leave the chip. Different forms of on-chip communication are supported by different hardware mechanism, e.g., shared caches with cache coherency protocols, core-to-core networks-on-chip, and shared scratchpad memories. In this paper we explore the different hardware mechanism for on-chip communication and how they support or favor different models of communication. Furthermore, we discuss the usability of the different models of communication for real-time systems.
Cache memories are widely used in microprocessors to improve the average -case memory performance. However, they are harmful to time predictability, and thus may not be desirable for real-time systems. In this paper, ...
详细信息
ISBN:
(纸本)9781479987818
Cache memories are widely used in microprocessors to improve the average -case memory performance. However, they are harmful to time predictability, and thus may not be desirable for real-time systems. In this paper, we make simple hardware extensions of a regular cache to implement the performance enhancement guaranteed cache (PEG -C). the PEG -C is totally controlled by hardware, which can automatically improve the average -case performance of real-time software with guaranteed and enhanced worst -case performance.
the Integrated Modular Avionics (IMA) architecture and the time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. We propose a real-...
详细信息
ISBN:
(纸本)9781467377096
the Integrated Modular Avionics (IMA) architecture and the time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. We propose a real-time constraint-based calculus targeted at the analysis of such concepts of avionic embedded systems. We show our framework at work on the modelisation of boththe (IMA) architecture and the TTEthernet network, illustrating their behavior by the well-known Flight Management System (FMS).
the ability to reliably distribute simulations across a distributed system and seamlessly integrate them as a workflow regardless of their level of abstraction is critical to improving the quality of product manufactu...
详细信息
ISBN:
(纸本)9781479987818
the ability to reliably distribute simulations across a distributed system and seamlessly integrate them as a workflow regardless of their level of abstraction is critical to improving the quality of product manufacturing. this paper presents the DIVIDER architecture for managing and maintaining real-time performance simulations integrated through SOAs. the described approach captures features present in complex workflow patterns such as asynchronous arbitrary cycles and estimates the worst case execution time in the context of the interfering execution environment.
暂无评论