Multitasking is a topic on which many discussions have been held. There are different opinions about its need. Our own operating system, Oberon, was originally designed as a single user and single process system. Whil...
详细信息
The main purpose of this paper is to present an object-oriented PN model (shobi-PN) to specify industrial digital controllers. The shobi-PN model (synchronous, hierarchical, object-oriented and interpreted Petri net),...
详细信息
The main purpose of this paper is to present an object-oriented PN model (shobi-PN) to specify industrial digital controllers. The shobi-PN model (synchronous, hierarchical, object-oriented and interpreted Petri net), was developed to support the use of hierarchy to model both the control unit and the plant of the systems. A CAD environment, SOFHIA, was developed to model digital controllers, to validate their properties and to simulate their behaviour. SOFHIA has an open architecture, which eases the integration of multiple code generator blocks to allow the implementation of the system in a wide range of technologies (hardwired, microprogrammed, programmed). Modelling of an industrial reactor control system is considered as a case study to illustrate the model's applicability and capabilities.
Summary form only given. The authors demonstrate the main results of the Esprit Project P6333 IDEA, which lasted from June 1992 to March 1997, whose main contributors are five industrial partners from five European co...
详细信息
Summary form only given. The authors demonstrate the main results of the Esprit Project P6333 IDEA, which lasted from June 1992 to March 1997, whose main contributors are five industrial partners from five European countries: Bull, the main contractor (France), TXT-Informatica (Italy), Sema (Spain), Dutch PTT (Holland), and Bim (Belgium), and four research institutes: ECRC in Munich, INRIA in Paris, the University of Bonn, and Politecnico di Milano. The main objective of the IDEA Project is to investigate the use and promote the spread of object-oriented and rule-based technologies in next-generation information systems. One of the major results of the IDEA Project is the IDEA Methodology and its supporting environment. The IDEA Methodology addresses the analysis, design, prototyping, and implementation of modern database systems applications, taking advantage of modern approaches developed in the context of database design, but also in the broader area of object-oriented software engineering. The distinguishing feature of the IDEA Methodology is the emphasis on both deductive rules and active rules, which significantly enrich the semantics supported within database applications.
Hybrid simulation includes both functional computer software models and actual hardware subsystems operating as an integrated whole. A ''hot test bed'' or a ''hybrid simulator-emulator''...
详细信息
Hybrid simulation includes both functional computer software models and actual hardware subsystems operating as an integrated whole. A ''hot test bed'' or a ''hybrid simulator-emulator'' enables design engineers to evaluate conceptual models in a more realistic real-lime context, but places increased cognitive demands on the designer. This paper describes an architecture, and results from a prototype implementation, for a design decision support system to allow a designer to make more productive and cost effective use of a test bed system.
One of the central tasks in developing information systems is the specification of desired system properties. We use the object specification language TROLL light to formalize the conceptual model of a system. A TROLL...
详细信息
One of the central tasks in developing information systems is the specification of desired system properties. We use the object specification language TROLL light to formalize the conceptual model of a system. A TROLL light specification describes structural as well as dynamic characteristics of objects representing real world entities. For validating specifications, we have developed an animation tool, allowing us to reflect structural properties and dynamic behaviour. The main concepts of the animator are illustrated by a working example. We present a simple specification of a car rental company and describe some of the steps performed during a typical animation session. The animation allows us to check whether desired properties are fulfilled by the given object descriptions. Finally, some design and implementation issues regarding the utilized persistent programming environment and the Web based user interface are discussed.
Reconfigurable logic is hardware that can change its functionality by downloading a new configuration. A new branch of research-called Reconfigurable Computing-is investigating the application of reconfigurable logic....
详细信息
Reconfigurable logic is hardware that can change its functionality by downloading a new configuration. A new branch of research-called Reconfigurable Computing-is investigating the application of reconfigurable logic. One main obstruction to the widespread use of reconfigurable logic is the lack of high level modeling techniques. Modeling reconfigurable systems for automation systems needs defined concepts. Since the implementation may be not well defined at the system level, it will be necessary to model the behavior of the reconfigurable part of the system. In this paper we present concepts to model behavior of automation systems and ways to implement it. Our modeling methodology is based on SDL and VHDL. Our implementation concept is based on function blocks.
MAPA (Modular Accelerator Physics Analysis) is an objectoriented application for accelerator design and analysis with a Motif based graphical user interface. MAPA has been ported to AIX, Linux, HPUX, Solaris and IRIX...
详细信息
MAPA (Modular Accelerator Physics Analysis) is an objectoriented application for accelerator design and analysis with a Motif based graphical user interface. MAPA has been ported to AIX, Linux, HPUX, Solaris and IRIX. MAPA provides an intuitive environment for accelerator study and design. The user can bring up windows for fully nonlinear analysis of accelerator lattices in any number of dimensions. The current analysis methods of lifetime plots and surfaces of sections have been used to analyze the improved lattice design of Wan, Cary and Shasharina (this conference). MAPA can now read and write Standard Interchange Format (MAD) accelerator description files and it has a general graphical user interface for adding, changing and deleting elements. Consistency checks prevents deletion of used elements and creation of recursive beamlines. Plans include development of a richer set of modeling tools and the ability to invoke existing modeling codes through the MAPA interface.
Integrated principle, integration scheme and integrated interface design of CAD/CAPP/CAM system based on STEP were introduced. More thorough discussions for key techniques of integrated system was made. It was proved ...
详细信息
Integrated principle, integration scheme and integrated interface design of CAD/CAPP/CAM system based on STEP were introduced. More thorough discussions for key techniques of integrated system was made. It was proved that integrated efficiency and quality can be enhanced greatly if development of the system was based on STEP standard, and full use of integrated function for commercial software and unified information integrated environment were made. Taking the wall-plate as a example object-orienteddesign techniques, implementation and procedures were described for integrated system of commercial CAD/CAM software.
The proceedings contains 8 papers. Some of the specific topics discussed are: some experiments in traffic management system design;an objectoriented expert identifier system;and a camera vision process control system...
详细信息
The proceedings contains 8 papers. Some of the specific topics discussed are: some experiments in traffic management system design;an objectoriented expert identifier system;and a camera vision process control system for the manufacture of rivets.
暂无评论