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.
this paper examines the structures that are used by traditional real-time and networked operating systems in order to show that they are poorly suited to providing efficient access to remote devices. It also argues th...
详细信息
ISBN:
(纸本)9780769529752
this paper examines the structures that are used by traditional real-time and networked operating systems in order to show that they are poorly suited to providing efficient access to remote devices. It also argues that efficiency can be improved by being more specific and by making better use of the network mediums characteristics.
this paper analyses the computational relationships of two types of window-based real-time constraint, sliding and fixed window constraint. First, based on the definition of "strict harder", the paper gives ...
详细信息
ISBN:
(纸本)9780769529752
this paper analyses the computational relationships of two types of window-based real-time constraint, sliding and fixed window constraint. First, based on the definition of "strict harder", the paper gives out the computing system, making possible of precisely comparing or translating window constraints. the analyses on the constraints are helpful for arranging task scheduling. thereby, a scheduling framework that is capable of adapting to the changing environment is presented next, it bases on the idea that trying to guarantee unsolvable constraints is not as good as adjusting them. the scheduling framework modulates real-time system by adjusting the constraints on tasks so as to fit the changed resources. Last, evaluation results are presented to show that the scheduling framework is efficient and can largely decrease the mean rate of missed constraints for real-time tasks.
In this paper we introduce deterministic bridge connectors, a type of construct that ensures deterministic data-flow communication in asynchronous real-timesystems. We also present a methodology for generating these ...
详细信息
ISBN:
(纸本)9780769529752
In this paper we introduce deterministic bridge connectors, a type of construct that ensures deterministic data-flow communication in asynchronous real-timesystems. We also present a methodology for generating these connectors automatically from the application's architecture description in order to reduce programmer effort and the chance of error We provide a process algebraic verification of the determinism property of these connectors. We conclude by presenting arguments in favor of using this verification in lieu of expensive certification to qualify these constructs for onboard deployment.
In this paper we introduce an extension of Duration Calculus called Simple Probabilistic Duration Calculus (SPDC) to express dependability requirements for real-timesystems, and address the problem to decide if a pro...
详细信息
ISBN:
(纸本)9780769529752
In this paper we introduce an extension of Duration Calculus called Simple Probabilistic Duration Calculus (SPDC) to express dependability requirements for real-timesystems, and address the problem to decide if a probabilistic timed automaton satisfies a SPDC formula. We prove that the problem is decidable for a class of SPDC called probabilistic linear duration invariants, and provide a model checking algorithm for solving this problem.
Energy-efficient designs have played import roles for hardware and software implementations for a decade. Withthe advanced technology of VLSI circuit designs, energy-efficiency can be achieved by adopting the dynamic...
详细信息
ISBN:
(纸本)9780769529752
Energy-efficient designs have played import roles for hardware and software implementations for a decade. Withthe advanced technology of VLSI circuit designs, energy-efficiency can be achieved by adopting the dynamic voltage scaling (DVS) technique. In this paper we survey the studies for energy-efficient scheduling in real-timesystems on DVS platforms to cover boththeoretical and practical issues.
Each domain has its own interpretation of time. We propose to extend UML, which is more and more used in the domain of real-timeembeddedapplications, with. a concept of time inherited from reactive system modeling :...
详细信息
ISBN:
(纸本)9780769529752
Each domain has its own interpretation of time. We propose to extend UML, which is more and more used in the domain of real-timeembeddedapplications, with. a concept of time inherited from reactive system modeling : multiform time. After a brief review of some UML profiles, we present our extensions and we illustrate-on an example from the automotive industry-how to represent and to constraint behaviors depending on multiform time. We advocate that this model of time offers wider possibilities than restricting models only to the physical time.
暂无评论