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.
the following topics are dealt with: objectoriented programming; component based software development; realtimedistributedcomputing; realtime Java; software design; wireless and mobile networks; middleware; compo...
the following topics are dealt with: objectoriented programming; component based software development; realtimedistributedcomputing; realtime Java; software design; wireless and mobile networks; middleware; component execution support; sensor networks; scheduling and resource management; model-driven development; embedded systems; handling time faults; execution time analysis and program verification; and UML and modeling
Traditionally, real-time requirements are expressed by means of deadlines, which are imposed by the environment on the system. this approach, however, is not well suited for expressing real-time requirements on the in...
详细信息
ISBN:
(纸本)076952124X
Traditionally, real-time requirements are expressed by means of deadlines, which are imposed by the environment on the system. this approach, however, is not well suited for expressing real-time requirements on the interaction between objects;such as found in distributed systems supporting autonomy of objects. this paper presents a coherent framework in which real-time requirements for such interacting objects can be expressed Two interrelated system layers are considered together: the communication layer and the distributed programming layer that describes how interactions between the objects are organized In particular, the paper evaluates the relationship between real-time requirements and real-time activities in distributedobject-oriented systems.
real-time (RT) applications are designed to control systems that are inherently parallel. For easing development, abstractions are mandatory to model this concurrency. To achieve this goal, the real-timeobject paradi...
详细信息
ISBN:
(纸本)076952124X
real-time (RT) applications are designed to control systems that are inherently parallel. For easing development, abstractions are mandatory to model this concurrency. To achieve this goal, the real-timeobject paradigm is proposed. It is used to demonstrate how to separate functional and concurrency concerns ensuring also high-level abstraction for parallelism modeling.
暂无评论