COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems

8-10 May 1990

Filter Results

Displaying Results 1 - 25 of 87
  • Systems engineering approach to time driven systems

    Publication Year: 1990, Page(s):4 - 5
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (126 KB)

    Summary form only given. Basic notions are presented for the design of time-driven systems and a framework to formulate the design problems for such systems. In these systems time plays the fundamental role and all actions are assigned a time when they must take place. The resources are managed by assigning the requires resources to an activity for an appropriate period of time. Such assignment re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VLSI technology: outlook for the year 2000 and its impact on systems

    Publication Year: 1990
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (94 KB)

    Summary form only given. Understanding of physics, process technology and process equipment limitations indicates that fundamental limitations will not be reached by the year 2000. As a result transistor density per chip will reach 50-100 million, with clock frequencies up to 250 MHz. This assumes that the dominant VLSI technology crossing the year 2000 will be silicon-based and there will be a co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • COMPEURO '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering (Cat. No.90CH2867-0)

    Publication Year: 1990
    Request permission for commercial reuse | PDF file iconPDF (13 KB)
    Freely Available from IEEE
  • System engineering from buzzwords to megatrends: the real design issues of the next decade

    Publication Year: 1990, Page(s):339 - 343
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (352 KB)

    The author discusses major trends for the years ahead and identifies the following major issues: (1) improving the achievements of knowledge workers in organizations by designing systems that support takes where they are performed; (2) designing flexible information architectures that provide effective coordination of processes; (3) designing information infrastructures between organizations to ge... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A literate programming design language

    Publication Year: 1990, Page(s):548 - 549
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (152 KB)

    A literate programming paradigm that provides an environment suitable for documenting and organizing the low-level design of a system is presented. It is shown that a literate program design language (PDL) strengthens the bridge design and implementation activities since the documentation generated during the design phase can be used directly as a shell for program construction. In this type of la... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The architecture of Alpes: an open and extendible programming environment

    Publication Year: 1990, Page(s):530 - 531
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    The authors present a logic programming language that was used as a software engineering tool to design, develop and prototype the entire programming environment which supports it. The extended Prolog language called Alpes-Prolog, has been used the basic support to develop and implement the architecture of an advanced logic programming environment (Alpes) in the context of Esprit Project 973 View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Executing JSD specifications: the specification presentation tool

    Publication Year: 1990, Page(s):280 - 287
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (860 KB)

    A specification presentation tool which is founded on the specification execution approach is described. The purpose of the presentation tool is to give automated assistance to the system analyst in the presentation of specifications to the user for validation. Specifically, the software alloys the user to check that the specification meets the requirements by interacting with an actual system. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hierarchical specification of reactive systems: a case study

    Publication Year: 1990, Page(s):109 - 116
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    A development strategy is proposed which bases the specification of a reactive system on the description of its environment. This approach has numerous advantages: easier validation of the specification, availability of suitable modeling languages, and simulation of the environment during the testing phase of the product. The specification of the environment is expressed in the STATECHARTS formali... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new software tool for testability analysis of complex VLSI devices

    Publication Year: 1990, Page(s):560 - 561
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    A testability analysis tool is presented that uses a set of testability conditions which allow qualitative evaluation of the testability of a VLSI device from the earliest phases of the circuit's design. The tool is written in C and runs under MS-DOS and Unix. It has been used on a number of designs, giving good results that have been verified in practice View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sub-system design

    Publication Year: 1990, Page(s):546 - 547
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    A method for subsystem design is described. The method extends the ADISSA methodology for system analysis and design (see P. Shoval, Information Systems, vol.13, p.81-95, 1988), and involves (a) declaration of the transactions belonging to the subsystem, (b) the design of a submenu-tree interface, and (c) design of a database subschema. The method is supported by software tools part of ADISSA PC-b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of simulation strategies for computer networks on parallel MIMD computers

    Publication Year: 1990, Page(s):528 - 529
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (212 KB)

    A comparison by practical evaluation of several general-purpose distributed simulation algorithms that use different ways of bringing parallelism to the simulation of computer networks is presented. A description is given of the characteristics of computer networks relevant to distributed simulation, an approach to their modeling, and the characteristics of the parallel computer architecture used.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CATS: computer aided testing system

    Publication Year: 1990, Page(s):28 - 35
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    CATS, a system that provides a complete development environment for system testing, was developed to provide a clear methodology for the preparation of system test documents supported by a computerized tool. It is expected to increase the level of efficiency and standardization of the testing of various software systems (real-time, data processing, etc.), by breaking down the process of testing a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An application generator for a family of real-time monitor and control systems

    Publication Year: 1990, Page(s):274 - 279
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    An application generator (AG) for a family of real-time monitor and control system (RTMCS) is presented. The input to the AG is a system specification of a desired RTMC system, and the output is an Ada program for the specified system (the target system). The system specification of a desired RTMC system is defined with the aid of an interactive menu-driven program. After checking the specificatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation of a flight trainer simulator using a microprocessor based network: a system architecture selection report

    Publication Year: 1990, Page(s):6 - 11
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (304 KB)

    After a general introduction concerning flight simulator development problems and the goals of the study, functional and development requirements are specified and the needed computing capacity is evaluated. (The same methodology can be applied to any real-time embedded computer system.) Typical benchmarks are introduced and analytical expressions on the time spent on communication are explained f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience in modeling a concurrent software system using STATEMATE

    Publication Year: 1990, Page(s):104 - 108
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    STATEMATE was used to produce an executable model of a software system which would be implemented as a concurrent program with multiple tasks. In addition, the STATEMATE prototyper was used to produce executable Ada code which exhibited the same behavioral characteristics as the STATEMATE model. By augmenting this code with an Ada implementation of low-level primitive activities and a graphical in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VLSI implementation of modulo-arithmetic units using 2-D cellular automata

    Publication Year: 1990, Page(s):558 - 559
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (164 KB)

    The VLSI implementation of a mod-127 multiplier using 2-D cellular automata (CA) is presented. The principle of operation of the multiplier is based on two identical 12×12 null-bounded CA each having semi-group order 126. In practice, implementation utilizes the data compression capabilities of CA to reduce the area required by these arrays by about 90%. This is achieved by using triangular ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new software paradigm for system design

    Publication Year: 1990, Page(s):156 - 163
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (436 KB)

    A new software paradigm for system design is investigated, whereby the class-based synthesis of a system is described in the context of object-oriented design. The ease and control of the design approach are discussed. The design paradigm is contrasted with conventional design paradigms, and the distinguishable features of the two types of approach are identified View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid assessment of decentralized algorithms

    Publication Year: 1990, Page(s):329 - 335
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    The overall aim of the research described is to investigate the use of scalable, decentralized state-feedback algorithms for distributed systems resource management. These algorithms are required to be efficient and to respond to system changes in real time but have to base their decisions on incomplete and inaccurate information of the system state. A description is also given of CNCSIM, a softwa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Top down design of distributed systems: implications of a case study

    Publication Year: 1990, Page(s):254 - 263
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1072 KB)

    Guidelines are presented for the specification and verification of the communication aspects of distributed systems. It is argued that specifications should be expressed formally, since formal methods enable the specifier to write unambiguous, clear, and concise specifications, and they provide a foundation for analyzing specifications for correctness so that errors can be detected early in the de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal approach to system design and refinement

    Publication Year: 1990, Page(s):544 - 545
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (188 KB)

    The Petri net formalism is used in the synthesis of system designs. A methodology is used that makes it possible to synthesize arbitrary size well-behaved Petri nets, using a stepwise refinement technique. This technique provides a method for constructing large systems that are well-behaved by design. The steps that are required in developing a synthesis procedure are outlined and brief mention is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements analysis and specification of embedded systems using ESCAM-a case study

    Publication Year: 1990, Page(s):80 - 89
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (804 KB)

    A description is presented of the experience gained using ECSAM, the embedded computer systems analysis method and STATEMATE, a tool for computer-aided software and systems engineering (CAS2E), in the analysis and specification of the requirements of a project. The project involves a comprehensive enhancement of an existing electrooptic system which requires modifying its conventional e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Paging strategies in an object oriented environment

    Publication Year: 1990, Page(s):526 - 527
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    Paging issues which arise in object-oriented programming systems are considered. Unlike conventional virtual memory systems, object-oriented system provide clues about the underlying structure of the executing programs. This fact is used to suggest improved memory management strategies for object-oriented systems. These strategies are modeled using a kind of simple game on graphs. This game allows... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development and management of large-scale corporate data processing systems in industrial companies

    Publication Year: 1990, Page(s):354 - 361
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    The development and management of an information system is described using examples taken from the steel and mining company Hoesch AG. A discussion of the information processing organization is followed by an examination of standardization in information processing. The development of large-scale data-processing systems is assessed. Large-scale systems management is outlined View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of LOTOS based transformational environments

    Publication Year: 1990, Page(s):552 - 553
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (152 KB)

    A description is given of practical experience with the design and use of transformational environments oriented to the generation of LOTOS specifications. Three different prototypes have been used and evaluated. The first one is a transformational system built on top of the functional language CAML, the second one is an instantiation of the CIP environment to LOTOS (LOTOS-CIP), and the third is b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CRUISE-creative user interface for software engineering: an overview

    Publication Year: 1990, Page(s):298 - 306
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    A description is presented of CRUISE, the graphic user interface of OBSERV. OBSERV is a methodology that allows a rapid construction of an executable specification (or prototype) to support testing of the prototype by simulation, to facilitate smooth transition to a target system, and to provide means for reusing specification, design and code. CRUISE provides OBSERV with graphic editing capabilit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.