检索结果-内蒙古大学图书馆

Integrating data flow equations with UML/realtime

real-time SYSTEMS 2004年第1期26卷 107-125页

作者： Bichler, L Radermacher, A Schürr, A Univ Fed Armed Forces Inst Software Technol D-85577 Neubiberg Germany

object-oriented (OO) modeling languages, tools, and methods more and more attract the interest of embedded (real-time) system developers. this is especially true if embedded (real-time) system software has to cooperate with interactive multimedia software, as it is more and more the case in automotive systems. It is still an open question whether and how the standard OO modeling language UML and its accompanying tools have to be adapted to the regarded application domain. this paper evaluates the development of a rapid prototype for an air condition controller with the popular CASE tool Rational Rose/RT(R). We point out some weaknesses of the presented solution and propose an extension to Rose/RT(R), which overcomes the weaknesses by combining Rose/RT's UML dialect with data flow equations.

关键词： object-oriented modeling dataflow modeling UML/realtime Rational Rose/RT (R)

来源：评论

学校读者我要写书评

暂无评论

VERTAF: An object-oriented application framework for embedded real-time systems 5

VERTAF: An object-oriented application framework for embedde...

引用

5th ieee international symposium on object-oriented real-time distributed computing (ISORC 2002)

作者： Hsiung, PA Lee, TY See, WB Fu, JM Chen, SJ Natl Chung Cheng Univ Chiayi 62117 Taiwan

ISBN: (纸本)0769515584

Embedded real-time applications are often built from scratch on a trial-and-error basis, which leads to sub-optimal designs with latent errors that are not detectable in early stages of use or deployment and often incurs prolonged time-to-market. A new application framework, called Verifiable Embedded real-time Application Framework (VERTAF) is proposed for embedded real-time application development, with the aim of reducing design errors and increasing design productivity VERTAF is an integration of three technologies, namely object-oriented technology, software component technology, and formal verification technology. VERTAF consists of five software components: Implanter, Modeler, Scheduler, Verifier, and Generator. Experiences of using VERTAF show a significant increase in design productivity through design reuse, and a significant decrease in design time and effort through design verification. An example shows a relatively low design effort on the part of the designer using VERTAF.

关键词： Application software Councils Design engineering Ear Electrical capacitance tomography Postal services Process design Productivity Read only memory real time systems

来源：评论

学校读者我要写书评

暂无评论

A profile for safety critical Java

A profile for safety critical Java

引用

10th ieee international symposium on object and Component-oriented real-time distributed computing

作者： Schoeberl, Martin Sondergaard, Hans thomsen, Bent Ravn, Anders P. Vienna Univ Technol Inst Comp Engn A-1040 Vienna Austria Vitus Bering Denmark Univ Coll DK-8700 Horsens Denmark Aalborg Univ Dept Comp Sci DK-9220 Aalborg Denmark

ISBN: (纸本)9780769527659

We propose a new, minimal specification for real-time Java,for safety critical applications. the intention is to provide a profile that supports programming of applications that can be validated against safety critical standards such as DO-178B[15]. the proposed profile is in line with the Java specification request JSR-302: Safety Critical Java Technology, which is still under discussion. In contrast to the current direction of the expert group for the JSR-302 we do not subset the rather complex real-time Specification for Java (RTSJ). Nevertheless, our profile can be implemented on top of an RTSJ compliant JVM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

realization of a distributed OS component for internal clock synchronization in a LAN environment 5

Realization of a distributed OS component for internal clock...

引用

5th ieee international symposium on object-oriented real-time distributed computing (ISORC 2002)

作者： Kim, KHK Im, C Athreya, P Univ Calif Irvine Irvine CA 92717 USA

ISBN: (纸本)0769515584

A key challenge in keeping distributed clocks well synchronized in a LAN environment via OS- or middleware-level mechanisms is to create an interference-free condition in a network channel(s) and a nonpreemptible on-alert condition in the responsible thread in each node during each resynchronization round while keeping the length of each round as short as possible. An approach for meeting this challenge which is based on the middleware architecture TMOSM, has been presented. A prototype implementation and its measurements indicated that with a typical network of PCs connected via a 10 Mbps Ethernet, the PC nodes can be kept synchronized within the deviation bound of 0.5 milliseconds. the organizing principle is believed to be applicable to many real-time OSs or middleware used to support distributed computing applications.

关键词： real time clock synchronization deviation embedded TMO time triggered message object middleware distributed parallel programming

来源：评论

学校读者我要写书评

暂无评论

Experiences from building service and object replication middleware

Experiences from building service and object replication mid...

引用

6th ieee international symposium on Network computing and Applications

作者： Osrael, Johannes Froihofer, Lorenz Goeschka, Karl M. Vienna Univ Technol Inst Informat Syst Argentinierstr 8-184-1 A-1040 Vienna Austria

ISBN: (纸本)9780769529226

Replication is a primary means to achieve fault tolerance in distributed systems. While replication techniques are well known and have been widely applied in distributed object and database systems, they have not yet been extensively used in service oriented systems. However if the success of service oriented computing shall continue in critical settings, replication middleware will play a crucial role in service oriented infrastructures. thus, we contribute with a discussion of our experiences in building distributed object and service replication middleware and present the main lessons learned. Our conclusions are drawn from several replication middleware implementations built upon J2EE, NET CORBA, and Axis2.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Supporting real-time multimedia applications with distributed object controlled networks. 1

Supporting real-time multimedia applications with distribute...

引用

1st international symposium on object-oriented real-time distributed computing (ISORC 98)

作者： Oliver, H Edwards, C Tran, FD Stefani, JB Hutchison, D Hewlett Packard Labs Bristol BS12 6QZ Avon England

ISBN: (纸本)0818684321

the ReTINA project (ACTS AC048) is an industrial collaboration to explore the use of CORBA for the support of real-time multimedia services, from the point of view of network control and from the point of view of middleware services. this paper covers CORBA for network control, and CORBA extensions towards a DPE framework for flexible binding and real-time support.

关键词： ReTINA CORBA connection management real-time services

来源：评论

学校读者我要写书评

暂无评论

Dynamic real-time reconfiguration in distributed systems: Timing issues and solutions

Dynamic real-time reconfiguration in distributed systems: Ti...

引用

8th ieee international symposium on object-oriented real-time distributed computing

作者： Brinkschulte, U Schneider, E Picioroaga, F Univ Karlsruhe IPR Prof Brinkschulte D-76131 Karlsruhe Germany

ISBN: (纸本)0769523560

Dynamic software reconfiguration is a useful tool to adapt and maintain software systems. In most approaches, the system has to be stopped while the reconfiguration is in progress. this is not suitable for real-time systems, even on small-embedded systems. Timing constraints must be met even while the system is reconfiguring. Our approach is based on the realtime middleware OSA+. Our main objective is to be able to reconfigure services during run-time, with a predictable and predefined blackout time (the time the systems does not react due to the reconfiguration). three different approaches concerning the blocking or non-blocking state of a service are presented. these approaches can be used to realize a tradeoff between the reconfiguration time and the blackout time.

关键词： dynamic reconfiguration real-time blackout time embedded systems distributed systems

来源：评论

学校读者我要写书评

暂无评论

distributed real-time simulation of the group manager executing the multicast protocol RFRM 5

Distributed real-time simulation of the group manager execut...

引用

5th ieee international symposium on object-oriented real-time distributed computing (ISORC 2002)

作者： Hong, YS Kim, TG Dongguk Univ Seoul South Korea

ISBN: (纸本)0769515584

Group communication in real-time computing systems is useful for building fault-tolerant distributed real-time applications. the purpose of this paper is to show the efficiency of the group membership manager executing the multicast protocol RRFM(Release-time based Fault-tolerant real-time Multicast) which is based on the idea of attaching the official release time to each group view send message. In this approach, the group membership manager interacts with the fault detector and the client application do not send view-ack message to the group membership manager. A real-time simulation based on the TMO structuring scheme is conducted to study its performance for both the proposed approach and the group management scheme which receives view-ack messages. Simulation results show that with a proper value of the official release time interval, our approach improves the delay in completing the group view change event.

关键词： Computational modeling Delay effects Discrete event simulation distributed computing Fault detection Fault tolerance Fault tolerant systems Joining processes Multicast protocols real time systems

来源：评论

学校读者我要写书评

暂无评论

Practical considerations in making CORBA services fault-tolerant 5

Practical considerations in making CORBA services fault-tole...

引用

5th ieee international symposium on object-oriented real-time distributed computing (ISORC 2002)

作者： Narasimhan, P Carnegie Mellon Univ Sch Comp Sci Inst Software Res Int Pittsburgh PA 15213 USA

ISBN: (纸本)0769515584

this paper examines the CORBA Naming, Event, Notification, Trading, time and Security Services, with the objective of identifying the issues that must be addressed in order make these Services fault-tolerant. the reliability considerations for each of these Services involves strategies for replicating the Service objects, and for keeping the states of the replicas consistent. Of particular interest are the sources of non-determinism in each of these Services, along with the means for addressing the non-deterministic behavior in the interests of ensuring strong fault tolerance.

关键词： Computer architecture Computer languages Computer science Computer security distributed computing Fault diagnosis Fault tolerance Java Network servers Program processors

来源：评论

学校读者我要写书评

暂无评论

QoS management of real-time data stream queries in distributed environments

QoS management of real-time data stream queries in distribut...

引用

10th ieee international symposium on object and Component-oriented real-time distributed computing

作者： Wei, Yuan Prasad, Vibha Son, Sang H. Univ Virginia Dept Comp Sci Charlottesville VA 22904 USA

ISBN: (纸本)9780769527659

Many emerging applications operate on continuous unbounded data streams and need real-time data services. Providing deadline guarantees for queries over dynamic data streams is a challenging problem due to bursty stream rates and time-varying contents. this paper presents a prediction-based QoS management scheme for real-time data stream query processing in distributed environments. the prediction-based QoS management scheme features query workload estimators, which predict the query workload using execution time profiling and input data sampling. In this paper, we apply the prediction-based technique to select the proper propagation schemes for data streams and intermediate query results in distributed environments. the performance study demonstrates that the proposed solution tolerates dramatic workload fluctuations and saves significant amounts of CPU time and network bandwidth with little overhead.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：