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

11th international conference on Computer Aided Verification, CAV 1999

作者： Alur, Rajeev Department of Computer and Information Science University of Pennsylvania Lucent Technologies United States

ISBN: (纸本)3540662022

Model checking is emerging as a practical tool for automated debugging of complex reactive systems such as embedded controllers and network protocols (see [20] for a survey). In model checking, a high-level description of a system is compared against a logical correctness requirement to discover inconsistencies. Traditional techniques for model checking do not admit an explicit modeling of time, and are thus, unsuitable for analysis of real-time systems whose correctness depends on relative magnitudes of different delays. Consequently, timed automata [6] were introduced as a formal notation to model the behavior of real-time systems. Its definition provides a simple, and yet general, way to annotate state-transition graphs with timing constraints using finitely many real-valued clock variables. Automated analysis of timed automata relies on the construction of a finite quotient of the infinite space of clock valuations. Over the years, the formalism has been extensively studied leading to many results establishing connections to circuits and logic, and much progress has been made in developing verification algorithms, heuristics, and tools. this paper provides a survey of theory of timed automata, and their role in specification and verification of real-time systems. © Springer-Verlag Berlin Heidelberg 1999.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

the detector control system for BABAR 11

The detector control system for BABAR

引用

11th IEEE NPSS real time conference - Computer applications in Nuclear Particle and Plasma Physics, RT 1999

作者： Abrams, G. Allison, S. Anthony, P. Kirkby, D. Lewis, S. Lionberger, C. Meyer, T. Morandin, K. Olsen, J. Paolucci, P. Vasileiadis, G. Zioulas, G. Lawrence Berkeley National Laboratory BerkeleyCA94720 United States Stanford Linear Accelerator Center StanfordCA94309 United States Stanford University StanfordCA94309 United States Iowa State University AmesIA5001 1-3160 United States University of Padua Padova1-35 13 1 Italy University of Maryland College ParkMD20742 United States University of Naples Napoli1-80125 Italy Ecole Polytechnique PalaiseauF-91128 France UC Irvine IrvineCA92717-4575 United States

ISBN: (纸本)078035463X

the hardware/software system for the control of the BABAR detector at PEP-II is described. the contributions of a large and diverse collaboration were channeled into a standard hardware selection (VME crate, embedded CPU, fieldbus, etc.) and a uniform software environment, EPICS (Experimental Physics and Industrial Control System). these choices, with a judicious naming convention in place, allowed a distributed and modular development of the control system, which was then integrated within the Online System in the Interaction Hall. the design of the software to complement the EPICS layer is presented. © 1999 IEEE.

关键词： Control systems

来源：评论

学校读者我要写书评

暂无评论

Architecture of distributed media servers for supporting guaranteed QoS and media indexing

International Conference on Multimedia Computing and Systems...

引用

international conference on Multimedia computing and systems -Proceedings 1999年 2卷 1-5页

作者： Cao, Feng Smith, Jeff Takahashi, Kenji Cisco Systems Inc San Jose United States

A new architecture to provide the guaranteed Quality of Service (QoS) to real-time applications is proposed. the mobile media servers can fit in this architecture by the updates of membership status from the registration agents. the new IETF drafts such as SIP, RTSP and RTP are embedded into this architecture to support the general multiparty multimedia applications for real-time media streams.

关键词： Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

TUML: A method for modelling temporal information systems 11th

引用

11th international conference on Advanced Information systems Engineering, CAiSE 1999

作者： Svinterikou, Marianthi theodoulidis, Babis Intrasoft GIS Department Adrianiou 2 Athens11525 Greece UMIST Department of Computation Sackville Street P.O. Box 88 ManchesterM60 1QD United States

ISBN: (纸本)3540661573

time is a very important aspect of the real world. the importance of time in database applications has led to work on the extension of existing database technologies in order to handle time efficiently. Nevertheless, little work has been done in the area of temporal application development methods. In this paper we present the Temporal Unified Modelling Language (TUML) method. the TUML method extends the Unified Modelling Language (UML) with the temporal semantics defined in the TAU Temporal Object Model and the process of the Booch method to enable the capturing of the temporal semantics of information during information system development. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Flying Objects: a modular real time object operating system

Flying Objects: a modular real time object operating system

引用

IEEE NPSS conference on real time

作者： F. Colaco F. Cardoso Departamento de Fisica Universidade de Coimbra Polo II Coimbra Portugal

Flying Objects is a real time operating system for the Siemens C167 or ST/spl sim/10 built in C++ from the scratch, without sacrificing a significant amount of resources, including time, when compared to other real time operating systems, programmed in C. the purpose of Flying Objects is to provide the applications developer the resources to easily build an embedded system through a well defined high level interface, with little or no recourse to low level, buffer oriented programming. Flying Objects has a strong influence from the programming environments and philosophy of Java and Smalltalk. Every application is an object with a state machine, and the memory space is shared among the concurrent threads. there are plans to port Flying Objects to other microcontrollers.

关键词： real time systems Operating systems embedded system Java Yarn Kernel Production systems Programming profession Libraries Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Use of CORBA in the PHENIX distributed online computing system

Use of CORBA in the PHENIX distributed online computing syst...

引用

IEEE NPSS conference on real time

作者： E. Desmond S. Adler L. Ewell J. Haggerty H.J. Kehayias S. Pate M. Purschke R. Roth C. Witzig Physics Department Brookhaven National Laboratory Upton NY Department of Physics New Mexico State University Las Cruces NM

the PHENIX online control system is responsible for the configuration, control and monitoring of the PHENIX detector data acquisition system and ancillary control hardware, and the collection and archiving of the event data. the detector consists of 11 distinct subsystems, which are distributed physically and partitioned logically while ultimately being combined into a single operating unit. the online system consists of a large number of embedded commercial and custom processors as well as custom software processes which are involved in the collection, monitoring and control of the detector and the event data. these processing elements are distributed over a diverse set of computing platforms including VME based Power PC controllers, Pentium based NT systems, and SUN Solaris SPARC processors. CORBA has been adopted as the standard communication mechanism for PHENIX online system. this paper describes the design, implementation and use of CORBA to achieve a uniform and platform independent control environment while providing for the access, control and monitoring of the online detector elements over the distributed and diverse control environment. Synchronous and asynchronous communication issues are discussed as well as the development of CORBA compliant components which were developed to achieve client/server isolation and deterministic system behavior. the use and interaction between JAVA based clients and C++ based CORBA servers to further achieve a platform neutral environment are presented.

关键词： Distributed computing Control systems Communication system control Detectors Monitoring Event detection Data acquisition Hardware embedded software Sun

来源：评论

学校读者我要写书评

暂无评论

Development of a data acquisition system for the BABAR CP violation experiment

Development of a data acquisition system for the BABAR CP vi...

引用

IEEE NPSS conference on real time

作者： R. Claus P. Grosso R.T. Hamilton M.E. Huffer C.P. O'Grady J.J. Russell I. Scott Linear Accel. Center Stanford Univ. CA USA INFN Torino Italy Department of Physics and Astronomy University of Iowa Iowa IA USA Stanford Linear Accelerator Center Menlo Park CA USA Boyal Holloway & Bedford New College University of London UK

Experiences developing a data acquisition system for the BABAR CP violation experiment located at the Stanford Linear Accelerator Center are presented. the BABAR detector consists of multiple independent subdetectors joined with a data acquisition system consisting of a large number of embedded PowerPC single board computers residing in VME crates. the data acquisition software is layered on the VxWorks real-time operating system. It is partitionable to allow subsystems (as well as test stands) to operate independently. Data is assimilated into events through a combination of shared memory and a high performance network. this system presents data to a UNIX farm via a high speed non-blocking ethernet switch at a rate of 2 KHz. Topics such as bootstrapping and loading 200 processors, NFS file access for these processors and software development and deployment are discussed.

关键词： Data acquisition Switches Linear accelerators Detectors embedded computing real time systems Operating systems Testing Ethernet networks Programming

来源：评论

学校读者我要写书评

暂无评论

Rate monotonic scheduling of real-time control systems with the minimum number of priority levels

Rate monotonic scheduling of real-time control systems with ...

引用

Euromicro conference on real-time systems

作者： R. Cayssials J. Orozco J. Santos R. Santos CONICET Universidad Nacional del Sur Bahia Blanca Argentina

When applying the Rate Monotonic discipline to schedule a set of periodic preemptible real-time tasks, the scheduler may be able to distinguish only a limited number of priority levels. this is common in control applications using low cost embedded controllers. If the number of tasks to be scheduled is larger than the number of distinguishable levels, the set of tasks must be partitioned in a set of priority classes. RM can be used only to arbitrate conflicts between tasks of different classes. In this paper a method to determine the minimum number of priority levels necessary to schedule the set of tasks is formally proved and its complexity analysed. Finally, a systematic method to obtain all the possible partitions with the minimum number of classes, resembling the Quine's method to minimize Boolean functions, is also given.

关键词： real time systems Control systems Costs Postal services Bit rate Automotive electronics Navigation Safety Vehicle dynamics NASA

来源：评论

学校读者我要写书评

暂无评论

General purpose RISC based unit: a building block for fast data acquisition systems

General purpose RISC based unit: a building block for fast d...

引用

IEEE NPSS conference on real time

作者： A. Epstein C. Boulin Cell Biology and Biophysics Programme European Molecular Biology Laboratory Heidelberg Germany

the development of a fast, modular and distributed data acquisition system for a large number of parallel channels is based on the design of a building block which will be presented in this paper. the small format of this unit (3"/spl times/4"), achieved through the use of surface mount components, makes it a powerful and versatile plug-in board for the realization of numerous RlSC embedded, data acquisition system functions. Some examples of applications are the SCSI interface for a protein crystallography detector, and the acquisition board, crate controller and CAMAC optical link interface boards. the board consists of an IDT R3081, up to 2 MB static RAM, up to 1 MB of EPROM, 2 serial ports, a 16-bit timer and all the necessary glue logic implemented in an AMD MACH231. One feature that makes this module suitable for data acquisition applications is the fast 32-bit external bus interface. It allows the implementation of fast data transfers, histogramming and LUTs. On-board address decoding provides up to four external chip select lines. Support for quad-reads is included, which result in up to 64 MB/s data transfers on the external bus (128 MB/s for SRAM access). Four synchronized interrupt inputs and a large instruction cache also makes the board suitable for fast demanding real time applications.

关键词： Reduced instruction set computing Data acquisition Proteins Crystallography Optical control CAMAC Optical fiber communication EPROM Logic Table lookup

来源：评论

学校读者我要写书评

暂无评论

the detector control system for BABAR

The detector control system for BABAR

引用

IEEE NPSS conference on real time

作者： G. Abrams S. Allison P. Anthony D. Kirkby S. Lewis C. Lionberger T. Meyer K. Morandin J. Olsen P. Paolucci G. Vasileiadis G. Zioulas Lawrence Berkeley National Laboratory Berkeley CA USA Stanford Linear Accelerator Center Stanford CA USA University of Stanford Stanford CA USA Iowa State University Ames IA USA University of Padua Padova Italy University of Maryland College Park MD USA University of Naples Napoli Italy Eole Polytechnique Palaiseau France University of California Irvine Irvine CA USA

关键词： Detectors Control systems Hardware Collaborative software Software systems Software standards Field buses embedded software Physics Industrial control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：