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

作者： Eakman, Gregory Todd Boston University

学位级别：Ph.D.

Integration testing of embedded systems developed using object-oriented technology can be a difficult task due to complex interactions among objects, the distribution of system state information among many objects, and encapsulation that prevents easy access to the state of the system. This thesis describes a method and an architecture providing automated support for validating domains (well-bounded software components) during integration testing. The method compares the behavior of the domain against an oracle, a requirements-level model expressed in an executable formal methods language (LOTOS). The domains are developed using object-oriented techniques and are expressed using the Unified Modeling Language (UML), an industry standard notation. The models use well-defined executable semantics and allow code generators to produce the implementation code; other design languages could be substituted for UML if they meet the requirements for executable semantics. A test architecture is defined within which code generators can insert test instrumentation code to enable integration testing at the UML model level. The test code allows the internal state of the software to be examined directly for correctness without depending upon a distinguishing sequence of external stimulus to propagate the error to the output. The architecture provides a generic test harness in which test case execution and data collection can be automated, which in turn provides the required test information to the oracle. UML models serve as the basis for implementation through code generation, and another model, the oracle, serves as the basis for test result validation. The oracle is a requirements-level model of the domain, expressed using formal methods, which describes its behavior in response to external stimuli. An abstraction function defines equivalent states between the UML and formal specification models, allowing the internal state of the system to be included as part of the test results

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using transition systems to unify UML models 4th

Using transition systems to unify UML models

引用

4th International Conference on Formal Engineering Methods (ICFEM 2002)

作者： Liu, ZM Li, XS He, JF International Institute for Software Technology The United Nations University Macao The University of Macau Macao

ISBN: (纸本)3540000291

The Unified Modeling Language (UML) is the de-facto standard modeling language for the development of software with broad ranges of applications. It supports for modeling a software at different stages during its development: requirement analysis, design and implementation. The models to produce for an object-oriented requirement analysis are a conceptual class model and a use-case model. This paper proposes a method to combine these two models by using a classic transition system. Then we can reason about and refine such systems with well established methods and tools.

关键词： object-orientation UML conceptual model use-case model transition systems

来源：评论

学校读者我要写书评

暂无评论

Practical Statecharts in C C++: Quantum Programming for Embedded systems with CDROM

引用

2002年

作者： Miro Samek

ISBN: (纸本)9781578201105

Model your reactive systems without heavyweight, expensive CASE tools. The author's Quantum Programming is a new paradigm that treats statecharts as a way of design rather than the use of a particular tool. It includes a complete software infrastructure for executing statecharts tailored for multithreaded embedded applications. Flexible, efficient, portable, scalable, and maintainable, this lightweight Quantum Framework permits you to quickly hand-code working real-time systems in C or C++ directly from UML statecharts. The Quantum Framework is a complete implementation environment - an active-object framework carefully designed to work with nearly any RTOS. It supports rapid prototyping, easy modification of states and transitions at any stage of development, and the choice of implementation language (C or C++) to match the resource constraints of the target system. Best of all, it is compact, with complete QF code typically requiring less than 5KB of code and data. In Part I of this book, you get a clear, articulate description of the relevant concepts including traditional finite state machines, statecharts, and several statechart-based design patterns in the form of executable code examples. Learn how state nesting leads to behavioral inheritance and how it enables reuse through programming-by-difference. Part II fully describes the implementation of the Quantum Framework and explains how you can use it in your applications and port it to an RTOS of your choice. The CD-ROM includes complete source code for the author's Quantum Framework, answers to all exercises scattered throughout the book, and an evaluation version of RTOS-32 - a 32-bit real-time operating system for x86 processors.

关键词： object-oriented Programming Computer Architecture/Engineering C/C++ General Software Engineering

来源：评论

学校读者我要写书评

暂无评论

object-oriented implementation of an integrated design and analysis tool for fiber placed structures

Object-oriented implementation of an integrated design and a...

引用

43rd Structures, Structural, Dynamics and Materials Conference

作者： Schueler, Kurt Hale, Richard University of Kansas Lawrence KS 66045 United States

With the expanding use of fiber placement technology to control fiber orientations in composite parts, a need exists for an integrated system allowing concurrent design, modeling and analysis. Currently, the capability of designing fiber placed parts resides with the offline programming systems of the fiber placement machines themselves. This design capability exists independently of modeling and analysis capabilities. This paper presents the design and implementation of an integrated design and analysis system for use in preliminary through detailed design phases of a fiber placed structure. The described system is unique in that it controls the design of tows rather than plies, and as such enables an evaluation of manufacturability during preliminary design. implementation includes the development of self-positioning tow representations, simulating the manufactured part, using specified fiber angle control methods;validation of these representations;integration of self-positioning tow representations with a pre-existing analysis tool;and integration with finite element analysis tools accepting the NASTRAN file format. This system allows for the generation and evaluation of multiple solutions in the preliminary design phase without the use of proprietary machine programming systems.

关键词： Composite structures

来源：评论

学校读者我要写书评

暂无评论

object-oriented design and analysis tools for fiber placed and fiber steered structures

Object-oriented design and analysis tools for fiber placed a...

引用

47th International SAMPE Symposium and Exhibition

作者： Hale, Richard D. Schueler, Kurt Aerospace Engineering University of Kansas Lawrence KS United States

With the expanding use of fiber placement technology to control fiber orientations in composite parts, a need exists for an integrated system allowing concurrent design, modeling and analysis. This paper presents the design and implementation of an integrated design and analysis system for use in preliminary through detailed design phases of a fiber placed structure. The described system is unique in that it controls the design of tows rather than plies, and as such enables an evaluation of manufacturability during preliminary design. implementation includes the development of self-positioning tow representations, simulating the manufactured part, using specified fiber angle control methods;validation of these representations;integrated of self-positioning tow representations with a pre-existing analysis tool;and integration with finite element analysis tools accepting the NASTRAN file format. This system allows for the generation and evaluation of multiple solutions in the preliminary design phase without the use of proprietary machine programming systems.

关键词： Fiber reinforced materials

来源：评论

学校读者我要写书评

暂无评论

A dynamically configurable GPR data acquisition and display application

A dynamically configurable GPR data acquisition and display ...

引用

9th International Conference on Ground Penetrating Radar (GPR 2002)

作者： Wallis, A Langman, A Inggs, MR Univ Cape Town Dept Elect Engn Radar Remote Sensing Grp ZA-7701 Rondebosch South Africa

ISBN: (纸本)0819445223

The GPR data acquisition software is arguably one of the most important components of a Ground Penetrating Radar system. This software needs to ensure the capture of reliable and repeatable data by a diverse user community. Yet, too many commercial and academic systems provide a single-user highly configurable interface for all applications. This paper describes the development of a configurable data acquisition and display application for use with ground penetrating radar. It is proposed that the standard GUI-based application that offers access to all controls and settings is distracting to many GPR end-users. It is therefore suggested that an application should present only the necessary controls to the end-user, and all other options should be inaccessible. This paper describes the development of such an application from a user requirements analysis to the design and implementation of an object-oriented, Java-based solution.

关键词： Java RMI object-oriented application GUI GPR software

来源：评论

学校读者我要写书评

暂无评论

可视化编程环境下人机界面的面向对象设计

引用

软件学报 2002年第8期13卷 1494-1499页

作者：邵维忠刘昕北京大学计算机科学技术系北京100871

可视化编程环境的出现给人机界面的开发带来了巨大的变化,使人机界面的实现可以通过可视化操作,以所见即所得的方式进行定制,并在环境的支持下生成程序代码.这种变化给人机界面的面向对象设计提出了新的问题:既然界面的实现主要不是靠... 详细信息

可视化编程环境的出现给人机界面的开发带来了巨大的变化,使人机界面的实现可以通过可视化操作,以所见即所得的方式进行定制,并在环境的支持下生成程序代码.这种变化给人机界面的面向对象设计提出了新的问题:既然界面的实现主要不是靠手工编程,那么在实现之前还要不要进行设计?面向对象的设计阶段建立的类图还有什么用?旨在对此问题作出回答.首先论述这种条件下的人机界面开发仍然需要设计,但设计策略应当改进.然后给出针对可视化编程环境的人机界面OOD(objected-oriented design)策略.该策略使设计工作大为简化,且更为有效、更适合基于可视化编程环境的人机界面开发.

关键词：可视化编程人机界面面向对象软件工程软件设计

来源：评论

学校读者我要写书评

暂无评论

Techniques to evolve a C++ based system design language

Techniques to evolve a C++ based system design language

引用

design, Automation and Test in Europe Conference and Exhibition

作者： R. Pasko S. Vernalde P. Schaumont Inter University Micro Electronics Center Leuven Belgium Electrical Engineering Department University of California Los Angeles Los Angeles CA USA

ISBN: (纸本)0769514715

Complex systems-on-chip present one of the most challenging design problems. To meet this challenge, new design languages capable of modelling such heterogeneous, dynamic systems are needed. For implementation of such a language, the use of an object oriented C++ class library has proven to be a promising approach, since new classes dealing with design- and platform-specific problems can be added in a conceptual and seamlessly reusable way. This paper shows the development of such an extension aimed to provide a platform-independent high-level structured storage object through hiding of the low-level implementation details. It results in a completely virtualised, user-extendible component, suitable for use in heterogeneous systems.

关键词： object oriented modeling design methodology Libraries Process design Microelectronics System-on-a-chip Hardware Intellectual property object oriented programming Data structures

来源：评论

学校读者我要写书评

暂无评论

Patterns and performance of a CORBA event service for large-scale distributed interactive simulations

引用

COMPUTER systems SCIENCE AND ENGINEERING 2002年第2期17卷 115-132页

作者： O'Ryan, C Schmidt, DC Noseworthy, JR Univ Calif Irvine Dept Elect & Comp Engn Irvine CA 92697 USA Object Sci Corp Alexandria VA 22312 USA

Advanced distributed interactive simulations have stringent quality of service (QoS) requirements for throughput, latency, and scalability, as well as requirements for a flexible communication infrastructure to reduce software lifecycle costs. The CORBA Event Service provides a flexible model for asynchronous communication among distributed and collocated objects. However, the standard CORBA Event Service specification lacks important features and QoS optimizations required by distributed interactive simulation systems. This paper makes five contributions to the design, implementation, and performance measurement of distributed interactive simulation systems. First, it describes how the CORBA Event Service can be implemented to support key QoS features. Second, it illustrates how to extend the CORBA Event Service so that it is better suited for distributed interactive simulations, such as the next-generation Run Time Infrastructure (RTJ-NG) implementation for the Defense Modeling and Simulation Organization's (DMSO) High Level Architecture (HLA). Third, it describes how to develop efficient event dispatching and scheduling mechanisms that can sustain high throughput. Fourth, it describes how to use multicast protocols to reduce network traffic transparently and to improve system scalability. Finally, it illustrates how an Event Service framework can be strategized to support configurations that facilitate high throughput, predictable bounded latency, or some combination of each.

关键词： scalable CORBA event systems object-oriented communication frameworks DMSO HLA RTI

来源：评论

学校读者我要写书评

暂无评论

An approach to develop component-based control software for flexible manufacturing systems

An approach to develop component-based control software for ...

引用

American Control Conference (ACC)

作者： Yu.T. Morton D.A. Troy G.A. Pizza Department of Manufacturing Engineering Miami University Oxford OH USA Department of Computer Science and Systems Analysis Miami University Oxford OH USA

In recent years, component-based software engineering has emerged as an approach for creating control software for flexible manufacturing systems (FMS). This paper presents a state-based approach to model software components as building blocks for flexible manufacturing control software. A general framework for modeling object-oriented manufacturing software is extended to component-oriented modeling. General approaches in developing state models, control logic, and interface components are presented. Software components that simulate sensors and control activities of the work cell were also created. The simulated components can interact with or replace real system components for planning, debugging, and testing purposes. Great emphasis has been placed on the generic features, reusability, ease of use, and ease of maintenance in the design of the software components. We implemented our software components in Java and tested our design and implementation using the Miami University Computer Integrated Manufacturing Laboratory FMS work cell. The benefits of the design were fully demonstrated through experiments at Miami.

关键词： Control systems Flexible manufacturing systems object oriented modeling Virtual manufacturing Software engineering Pulp manufacturing Logic Debugging System testing Software design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：