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

C04: Microcontroller applications reconfiguration method and development system

IFAC Proceedings Volumes 2004年第20期37卷 284-287页

作者： Marius Oteşteanu Aurel Gontean “Politehnica” University of Timişoara Bv. V. Parvan 2 300275 Timisoara Romania

The paper presents support solutions for designing, reconfiguration and testing embedded system applications with microcontrollers. The proposed method allows the reconfiguration of an industrial application, in different versions, by following the next steps: designing the core software independent to the hardware input and output signal pins; defining a table of pins – signals correspondence, for each particular configuration; adding particular software, involving usually just number of signals, input – output functions, etc. The proposed development system offers the needed functions for redesigning the application, without changing the core software, and even without knowing the assembler details of the application.

关键词： programming support systems design microprogramming graphic display embedded systems microprocessor control

来源：评论

学校读者我要写书评

暂无评论

Managing Scripts for Interactive Service Robots by Using Action-Relation Rules

引用

IFAC Proceedings Volumes 2010年第13期43卷 164-168页

作者： Yochan Kim Wan C. Yoon Department of Industrial & Systems Engineering Korea Advanced Institute of Science and Technology Daejeon Korea Department of Knowledge Service Engineering Korea Advanced Institute of Science and Technology Daejeon Korea (Tel: 82+42-350-3119

An approach in which manually written task procedures are used is proposed for generating natural and comprehensive task plans. However, semantic inconsistencies may occur in manually programmed procedures. In this paper, we propose a script management system on the basis of action-relation rules that have been generated from patterns mined by the Prefixspan algorithm. Action-relation rules generated in an interactive manner act as a guide for eliminating or modifying task plans. This paper presents the principle and user interface of the management system and the result of implementing the proposed method.

关键词： Robot programming programming support Sequential algorithm Planning

来源：评论

学校读者我要写书评

暂无评论

Why is software configuration management so complicated? [Tech Focus: Configuration Management]

引用

Information Professional 2005年第1期2卷 38-42页

作者： Laura Wingerd Product technology at Perforce Technology

Software configuration management has a reputation of being difficult to use but it does not have to be that way. Making the most of using it depends on simplifying the process for developers.

关键词： software tools project management open systems software development Software engineering techniques software configuration management programming support Distributed systems software configuration management interoperability

来源：评论

学校读者我要写书评

暂无评论

Simulation concert party

引用

IEE Review 1999年第2期45卷 82-84页

作者： P. Clarke Integrated Systems Limited Letchworth

Modern design increasingly demands the use of co-simulation, with effective interworking between software simulation tools from multiple vendors. The pLUG&SIM development environment has been designed specifically... 详细信息

关键词： pLUG&SIM development environment software engineering software tools software simulation tools programming support system simulation Software engineering techniques software packages interworking co-simulation Simulation techniques digital simulation design

来源：评论

学校读者我要写书评

暂无评论

An execution environment for real-time model-based supervisory control and diagnostic systems

引用

Annual Review in Automatic programming 1992年 17卷 521-526页

作者： Z. Papp J.A. van Woerden B.J.F. Driessen TNO Institute of Applied Physics P.O. Box 155 2600 AD Delft The Netherlands

The paper presents a Lisp based programming tool and the underlying computational model, which support implementing real-time model/knowledge-based control and diagnostic systems by giving architectural and algorithmic background for both the data processing and the scheduling aspects. The temporal characterization of the tasks and the execution requirements are generalized allowing expressing the special run-time behaviour of the artificial intelligence originated processing algorithms. The execution environment provides smooth integration of numeric and symbolic data processing methods, thus expressing the relevant knowledge-according to the model formation and execution constraints - on qualitative, quantitative and heuristic level by cooperating data processing subsystems is supported. The system architecture encourages the decomposition of the control system into loosely coupled subsystems. This feature and the message passing type of communication mechanism implemented make the distributed control system implementation possible. The basic programming features of the implementation is shown.

关键词： real-time computer systems computer control programming support artificial intelligence expert systems distributed control model-based systems

来源：评论

学校读者我要写书评

暂无评论

Formal verification of PLC-programs

引用

IFAC Proceedings Volumes 1999年第2期32卷 1513-1518页

作者： Th. Filkorn M. Hölzlein P. Warkentin M. Weiβ Siemens Corporate Technology 81730 Munich Germany

Siemens Corporate Technology has developed a methodology for formal verification. This methodology allows to prove or falsify the correctness of programs for a PLC (programmable logical controller) fully automatically and exactly in a strongly mathematical sense. A program is correct, if eveiy possible execution trace of the program fulfils a set of required properties specified by the user. For instance, a property for a traffic light control at some given intersection could be 'traffic lights never all show green at the same time' or 'when a car stops at a red traffic light that traffic light will eventually switch to green'. For this verification method a tool has been developed that checks properties fully automatically and completely. In case a given property is not satisfied by the PLC-program, the verification tool generates an execution trace of the program (a so-called countersequence) that illustrates its erroneous behaviour. In a pilot application, tool machine manufacturers used and evaluated the verification tool with respect to specification, error detection, cost/benefit-estimation and other criteria for verification. The verification tool was received very well.

关键词： Formal Verification Control Design programming support Debugging Error Detection Productivity Quality Control

来源：评论

学校读者我要写书评

暂无评论

Enabling Efficient Schedulability Analysis through Program Transformations and Restricted Resource Contention

引用

IFAC Proceedings Volumes 1992年第11期25卷 269-273页

作者： Alexander D. Stoyenko Thomas J. Marlowe Wolfgang A. Halang Real-Time Computing Laboratory Computer and Information Science New Jersey Institute of Technology Newark New Jersey 07102 USA Mathematics and Computer Science Seton Hall University South Orange New Jersey 07079 USA Computing Science University of Groningen P.O. Box 800 9700 AV Groningen The Netherlands

We present polynomial-time static semantics-preserving transformations of real-time programs. Used in conjunction with schedulability analysis, the transformations significantly increase the class of real-time programs that may be analyzed efficiently for guaranteed schedulability at compile-time. In cases where the form of resource contention among processes resists efficient transformation, we apply a heuristic transformation (and a consequent run-time scheduling heuristic) to allow the programs to be analyzed efficiently.

关键词： Real time computer systems schedulability analysis software tools programming languages deterministic analysis performance bounds compilers parallel processing load modeling programming support

来源：评论

学校读者我要写书评

暂无评论

Small chips in crossed wires

引用

IEE Review 2003年第11期49卷 42-45页

作者： C. Edwards

Could the next generation in semiconductor process technology be undermined by the legacy of unresolved technical problems? As we enter 2004, the next phase in integrated circuit manufacturing will begin in earnest, with companies starting to ramp up production of chips based on the 90 nm process. But bad experiences with the 130 nm process, which was heavily delayed by manufacturing problems, have made chipmakers cautious. Many companies are holding back from moving to the new process until they see the results that the more optimistic chipmakers get. A number of those who have decided to take the plunge early have been careful to keep their options open and trade off die size or speed against manufacturability. Thanks to rapid advances in lithography-the photographic processes used to create tiny features on chips-transistors have shrunk more quickly than was expected in the late 1990s. These gains have not been reflected in other chip-level features. Chipmakers have faced increasing problems scaling down the wires that join transistors together. To maintain an effective doubling in density between generations, the distance between the wires and their lateral thickness has to reduce by about 30%. Unfortunately as the wires get closer together, interference between signals on adjacent wires becomes harder and harder to overcome.

关键词： software engineering UML 2 specification languages programming support system model UML 1.5 Object Management Group Model Driven Architecture Software engineering techniques running code model development software development Formal methods hardware independence High level languages high-level abstraction

来源：评论

学校读者我要写书评

暂无评论

Software Quality and Productivity – Is There a Choice? – Does There Have To Be?

引用

IFAC Proceedings Volumes 1990年第5期23卷 35-39页

作者： C.R. Hall Allied-Signal Aerospace Company Bendix Engine Controls Division South Bend Indiana USA

Bendix Engine Controls Division delivers a wide variety of aviation-related software, both for military applications as well as for commercial uses. Much of this software is utilized in propulsion control systems for aircraft engines, and most involve computation functions which require the extensive use and control of embedded software. This paper will provide analyses of past and current software projects from the viewpoint of Software Quality Assurance (SQA). It will address not only the administering and enforcement of SQA policies, but also will provide workable solutions to the SQA-related problems that have surfaced. In addition, it steps through the traditional software development cycle, and pinpoints potential problem areas which may be encountered during that phase.

关键词： Coding coding errors computer programming computer software computer testing programming languages programming support quality control software development software engineering

来源：评论

学校读者我要写书评

暂无评论

Personal-computer Based Software Development for Dedicated Real-time Systems

引用

IFAC Proceedings Volumes 1990年第8期23卷 273-277页

作者： W.P. Paula Filho Computer Science Department Universidade Federal de Minas Cerais Caixa Postal 702 30161 Belo Horizonte M.C. Brazil

For cost reasons, real-time dedicated computer systems often do not have the hardware necessary to support software development tools, such as editors, compilers and file systems. They may be suppl led by a specialized microprocessor development system, but these are expensive and often need retool Ing for every new microproce s sor generation, leading to high development costs. Personal computers are Inexpensi ve ; affordable and high-quality software tools are currently available in their market : on the other hand, rei labi I Ity and performance reasons often preclude u~lng PCs themselve s as target machines. We discuss the alternatives which we Ilave used for a number of projects, both in lab and Industry: portlng the PC operating systems themselves, so as to execute s tandard PC object fi les In the target : and transforming the object code generated by standar d PC compilers, so as to have them executed on PROM-based target systems.

关键词： Real time computer systems software development micro-computer-based control programming environment programming support

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：