Titlebook: Software Technologies for Embedded and Ubiquitous Systems; 6th IFIP WG 10.2 Int Uwe Brinkschulte,Tony Givargis,Stefano Russo Conference pro

Haphazard

Improving Real-Time Performance of a Virtual Machine Monitor Based System the requirements to make Gandalf interruptible, designed and implemented the mechanisms to realize it. The experimental results shows that making Gandalf interruptible significantly reduces a duration of execution time with interrupts disabled while it does not impact the performance.

大猩猩

Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults users’ perspective and from the mobile operator’s one. The classical QoS analysis is enhanced by taking into account the congestion both caused by the outage events and by the varying traffic conditions.

Gratuitous

Model-Integrated Development of Cyber-Physical Systemsopment needs of such systems through the pervasive use of models. A complete model-based view is proposed that covers all aspects of the hardware and software components, as well as their interactions. Early experiments and work in progress are also reported.

无政府主义者

A Two-Layered Management Architecture for Building Adaptive Real-Time Systemsnt a two-layered management architecture. We discuss aspects of internal communication and design a communication model. Finally, we present a generic classification system for the upper layer of the management architecture.

生命

Cost-Performance Tradeoff for Embedded Systems are often performance and cost. Thus the purpose of this paper is to describe an approach to aid in the design decision process on cost and performance tradeoffs for embedded systems. Specifically, it presents a model-driven approach to understand and communicate the performance-cost tradeoff.

Coterminous

Resolving Performance Anomaly Using ARF-Aware TCPirness and enhanced throughput. The fairness index in our cases increases from 0.63, 0.74 to 0.99, 0.99 respectively. In addition, it improves the performance of sessions up to 30% by resolving the performance anomaly.

不可救药

Chemotherapy

Formal Specification of Gateways in Integrated Architectures. The contribution of this paper is a formal specification of gateways that contain structured collections of time-sensitive variables associated with timing information (called real-time databases) in order to separate the application subsystems. The formal specification can serve as a basis for automatic code generation or formal verification.

ALE

Self-describing and Data Propagation Model for Data Distribution Serviceg nodes, which have not participated in the data distribution network at the data sample distribution time. The proposed schemes can be utilized to support data sample structure changes during operation time and to provide data persistency in various environments, such as real-time enterprise environments and connection-less internet environments.

hegemony

Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaningroposed approach called partial block cleaning. Using partial block cleaning, the process of garbage collection is divided into several smaller, deterministic steps. Partial block cleaning comes with an overhead of additional space requirements. We provide a proof on the limit of the additional space requirements.