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

19th IEEE Real-Time systems Symposium (RTSS98)

作者： Saksena, M Ptak, A Freedman, P Rodziewicz, P Concordia Univ Dept Comp Sci Montreal PQ H3G 1M8 Canada

ISBN: (纸本)081869212X

The increasing complexity of real-time software has led to a recent trend in the use of high-level modeling languages for development of real-time software. One representative example is the modeling language ROOM (real-time object-oriented modeling), which provides features such as object-orientation, state machine description of behaviors, formal semantics for executability of models, and possibility of automated code generation. However these modeling languages largely ignore the timeliness aspect of real-time systems, and fail to provide any guidance for a designer to a priori predict and analyze temporal behavior In this paper we consider schedulability analysis for automated implementations of ROOM models, based on the objectime toolset. This work builds on results presented in [8], where we developed some guidelines for the design and implementation of real-time object-oriented models. Using the guidelines, we have modified the run-time system library provided by the objectime toolset to make it amenable to schedulability analysis. Based on the modified toolset, we show how a ROOM model can be analyzed for schedulability, taking into account the implementation overheads and structure. The analysis is validated experimentally first using simple periodic models, and then using a large case study of a train tilting system.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

object nets for the design and verification of distributed and embedded applications 12th

引用

10 IPPS/SPDP 98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium / 9th Symposium on Parallel Distributed Processing

作者： Nützel, J Däne, B Fengler, W Tech Univ Ilmenau Fac Informat & Automat D-98684 Ilmenau Germany

ISBN: (纸本)3540643591

In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed systems. The method is called Concurrent object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction framework for CON accesses hardware in optimized manner. An application example from the automotive domain is used to show further CON details.

关键词： object-orientation verification Petri nets embedded systems

来源：评论

学校读者我要写书评

暂无评论

Linguistic reflection in Java

引用

SOFTWARE-PRACTICE & EXPERIENCE 1998年第10期28卷 1045-1077页

作者： Kirby, G Morrison, R Stemple, D Univ St Andrews Sch Math & Computat Sci St Andrews KY16 9SS Fife Scotland Univ Massachusetts Dept Comp Sci Amherst MA 01003 USA

Reflective systems allow their own structures to be altered from within. Here we are concerned with a style of reflection, called linguistic reflection, which is the ability of a running program to generate new program fragments and to integrate these into its own execution. In particular, we describe how this kind of reflection may be provided in the compiler-based, strongly typed object-oriented programming language Java. The advantages of the programming technique include attaining high levels of genericity and accommodating system evolution, These advantages are illustrated by an example taken from persistent programming, which shows how linguistic reflection allows functionality (program code) to be generated on demand (Just-In-Time) from a generic specification and integrated into the evolving running program. The technique is evaluated against alternative implementation approaches with respect to efficiency, safety and ease of use, (C) 1998 John Wiley & Sons, Ltd.

关键词： persistence language design object database reflection program generation

来源：评论

学校读者我要写书评

暂无评论

Knowledge-based perspective of the distributed design of object oriented databases

Knowledge-based perspective of the distributed design of obj...

引用

Proceedings of the 1988 International Conference on Data Mining

作者： Baiao, Fernanda Mattoso, Marta Zaverucha, Gerson COPPE/UFRJ Rio de Janeiro Brazil

The performance of applications on object oriented Database Management systems (OODBMSs) is strongly affected by Distributed design, which reduces irrelevant data accessed by applications and data exchange among sites. In an OO environment, the Distributed design is a very complex task, and an open research problem. In this work we propose a knowledge based approach to the fragmentation phase of the distributed design of object oriented databases. In this approach, we will show a rule-based implementation of an analysis algorithm from our previous work and propose some ideas towards the use of Inductive Logic Programming (ILP) to perform a knowledge discovery/revision process using our set of rules as background knowledge. The objective of the work is to uncover some previously unknown issues to be considered in the distributed design process. Our main objective here is to show the viability of performing a revision process in order to obtain better and better fragmentation algorithms. We do not intend to propose the best fragmentation algorithm ever possible. We concentrate here on the process of revising a DDOODB algorithm through Knowledge Discovery techniques, rather than only obtaining a final optimal algorithm.

关键词： Distributed database systems

来源：评论

学校读者我要写书评

暂无评论

T++: A test case generator using a debugging information based technique for source code manipulation

T++: A test case generator using a debugging information bas...

引用

Conference on Technology of object-oriented Languages and systems (TOOLS 23)

作者： Gil, JY Holstein, B Technion Israel Inst Technol Fac Comp Sci Software Syst Lab IL-32000 Haifa Israel

ISBN: (纸本)081868383X

T++ is a C++ language extension that aids in systematic testing of C++ code. For each type t used in the code, T++ maintains the set of "typical" values of t, denoted by T(t) (typicals of t). We propose an object-oriented testing scheme in which each class t has a test method implemented as a static member function that runs a test script on each of the values in T(t). T++ supports this scheme by automatically generating a default T(t) based on the declaration of t and on the typicals of each of the types used in this declaration. This default can be easily tuned by the class implementor and users to reflect the particularities of the class. T++ also provides an easy-to-use mechanism for iterating over the typicals of a type. Thus, T++ gives a supporting environment for the design and implementation of test scripts with the familiar Techniques of equivalence testing, boundary value analysis,or functional testing approaches. Most language extensions are realized by either a dedicated pre-processor or by a modification to the compiler. Both techniques suffer from serious drawbacks related to the complexity of C++ and the accessibility of the compiler code. In contrast, the implementation of T++ sidesteps these difficulties by relying on a novel technique that creates a knowledge base of the source code from the debugging information. Manipulation of the software source code is done via a nontrivial exploitation of the C pre-processor while applying the C++ compiler twice: In the first application, whose sole purpose it do generate the debugging information section in the object code file all uses of the language extension features are cancelled. The debugging information, which also includes essential clues of these uses, is then extracted by a dedicated tool, and used for realizing the language extension. A suitable macro definition is synthesized for each of the uses of these features. In the second application of the compiler, each such use is expanded into an appr

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

object-oriented toolkit for adaptive beamforming performance modelling

Object-oriented toolkit for adaptive beamforming performance...

引用

Proceedings of the 1998 IEE colloquium on Radar System Modelling

作者： Wynne, A. Hayward, S.D. Speirs, C.A. Green, A. DERA Malvern United Kingdom

In recent years there has been considerable interest in applying sensor array signal processing techniques to a variety of radar applications. The use of adaptive spatial and temporal filtering techniques has been widely discussed. The relative expense of building hardware and conducting experiments has led to a strong emphasis on simulation as a way of developing new equipment, but there are currently no software tools available that are particularly suited to the problems of simulating sensor array systems. This paper describes the current state of development of an adaptive array processing toolset (AdAPT) (1), which is capable of modelling systems comprising large numbers of sensors. AdAPT encompasses modelling a target environment, design of array hardware, application and design of signal processing algorithms and the display and interaction of data as it flows through the design scenario. We also discuss the graphical user interface to AdAPT.

关键词： Radar systems

来源：评论

学校读者我要写书评

暂无评论

designing Scalable object-oriented Database Applications: object-oriented design, Architectures, and implementations

引用

1998年

作者： Peter M Heinckiens Mary E S Loomis

ISBN: (纸本)9780201310139

From the Publisher: "This is an excellent book. It is relevant, readable, timely, and technically accurate. The author has a good handle on what is important to the industry, separating the hype from the practical solutions." -Rick Cattell "Peter's book is rich with code examples that will help you understand exactly how to follow his footsteps to get a working system." -Mary Loomis Building Scalable Database Applications: object-oriented design, Architectures, and implementation is a comprehensive and authoritative guide to building client/server applications by developing a stable and reusable business model. The business and database models illustrated in this book both address the unique challenge of manipulating object storage and retrieval from a developer's point of view. Software engineers and programmers need this information to lead their development teams toward businesswide distributed software systems. This book demonstrates the pragmatic approach of integrating systems that are currently in use into a cost-effective and time-saving object-oriented system. The approach allows for the business model and the database schema to operate independently so that they can evolve individually, allowing them to be easily reused and maintained. Highlights include: llustration of the design for reusable business components Maximization of reuse and openness Application of inheritance techniques to database design Migration from legacy and relational systems to object orientation without discarding your investments This is the first book to thoroughly cover scalable database applications;Building Scalable Database Applications focuses on building independent models that are free from all database and user-interface aspects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Architecture of ROAFTS/Solaris: A Solaris-based middleware for real-time object-oriented Adaptive Fault Tolerance Support 22

Architecture of ROAFTS/Solaris: A Solaris-based middleware f...

引用

22nd Annual International Computer Software and Applications Conference

作者： Shokri, E Crane, P Kim, KH Subbaraman, C SoHaR Inc. United States University of California Irvine United States

ISBN: (纸本)0818685859

Middleware implementation of various critical services required by large-scale and complex real-time applications on top of COTS operating system is currently an approach of growing interests. Its main goal is to enable significant reduction in the complexity, of application system design and implementation by separating the concerns of the application designer for the application functionality from the concerns for application-independent system issues. This paper presents the middleware architecture named the Realtime object-oriented Adaptive Fault Tolerance Support (ROAFTS) and a prototype implementation ROAFTS/Solaris realized on top of both a COTS operating systems, Solaris, and a COTS CORBA-complaint ORE, Orbix. ROAFTS supports distributed real-rime applications, each structured as a network of Time-triggered Message-triggered objects (TMO's), and the TMO is a major extension of a conventional object for use in hard real-time applications. The major components of ROAFTS include a TMO support manager for supporting the execution of TMO's, a generic fault tolerance server, and a network surveillance manager (NSM) which provides the generic fault tolerance sewer with fast fault detection notices. The generic fault tolerance server and the NSM themselves have been structured as TMO's. A discussion on an effective use of CORBA standards for moderate-precision real-time applications to run on COTS operating systems is also presented.

关键词： CORBA real-time objects fault tolerance middleware COTS adaptive TMO

来源：评论

学校读者我要写书评

暂无评论

Timing and scheduling analysis of real-time object-oriented models.

Timing and scheduling analysis of real-time object-oriented ...

引用

作者： Rodziewicz, Pawel Olgievd. Concordia University

学位级别：Master

The increasing complexity of real-time software has led to a recent trend in the use of high-level modelling languages for the development of real-time software. One representative example is the Real-Time object oriented Modeling (ROOM) language, which provides features such as encapsulation, polymorphism, inheritance, state machine descriptions of system behavior, formal semantics for executability of models and the possibility of automated code generation. The full benefits of the ROOM language are obtained through the use of the objectime toolset, designed to support the ROOM language and its development process in order to automatically create an executable for a target platform equipped with a real-time operating system. However, the ROOM language and the objectime toolset largely ignore the temporal aspects of real-time systems, and fail to provide any guidance to the designer about predicting and analyzing the temporal behavior of their intended applications.;The main objective of this thesis is to develop ways to perform such timing and scheduling analysis for single- and multi-threaded ROOM models. This work builds on results presented in (SFR97) and (SPFR98), where guidelines for the design and implementation of real-time object oriented (ROOM) models were developed and tested.;In this thesis, we shall consider three orthogonal timing analysis methods: real-time scheduling theory, symbolic model checking and discreet task simulation. We formulate design guidelines for single-and multi-threaded ROOM executables. Then we develop and validate canonical scheduling models for each type of executable. Finally, we present a case study of an automobile cruise control system to further illustrate the concepts presented in this thesis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An object oriented approach to web-based applications design

引用

THEORY AND PRACTICE OF object systems 1998年第4期4卷 207-225页

作者： Schwabe, D Rossi, G PUC RIO Dept Informat Rio De Janeiro Brazil

In this paper we discuss the use of an object-oriented approach for web-based applications design, based on a method named object-oriented Hypermedia design Method (OOHDM). We first motivate our work discussing the problems encountered while designing large scale, dynamic web-based applications, which combine complex navigation patterns with sophisticated computational behavior. We argue that a method providing systematic guidance to design is needed. Next, we introduce OOHDM, describing its main activities, namely: conceptual design, navigational design, abstract interface design and implementation, and discuss Row OOHDM designs can be implemented in the WWW. Finally, related work and future research in this area are further discussed. (C) 1998 John Wiley & Sons, Inc.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：