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 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.
  • A concurrent prototype in Smalltalk-8

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

    The implementation of a prototype of a support for a concurrent model called PO (parallel objects) is described. The target environment is Smalltalk-80. Objects in PO can be either passive or active (Aobjects) because of their independent capacity of execution. An Aobject can also host multiple activities within itself. Thanks to a uniform approach, the specification of the scheduling of the activ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The T/D avionics integration methodology

    Publication Year: 1990, Page(s):270 - 272
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (256 KB)

    The methodology of system integration that was applied in the development of the avionics system of the T/D aircraft is described. This methodology is part of the entire-life-cycle methodology. The integration methodology uses the executable system description that evolves during the system development both for test preparation and test execution. The method is equivalent to rapid prototyping View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing the software maintenance factor in JSD using rules

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

    Although the underlying philosophy of the JSD (Jackson System Development) method promotes orthogonality of system components in its specification, it fails to make explicit the business requirement policies that define the systems. The formalism adopted by JSD implicitly translates user requirement policies into lower-level procedural representation, thus burying the requirement policies in progr... 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 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.
  • Requirements of complex computer-based engineering in the motor industry

    Publication Year: 1990, Page(s):363 - 372
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (832 KB)

    It is shown that the requirements for computer-based autoregressive engineering can only be partly identified. The environmental factors responsible for this situation are discussed. Integration of engineering activities and data processing media is considered. A conceptual approach to automotive CAE is outlined View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Information systems architecture: a consulting methodology

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

    A digital consulting methodology for information technology planning is presented. The approach provides improved communications across organizational boundaries throughout the enterprise, resulting in greater management involvement and a clearer understanding of business directions, generating the information technology architecture as well as specific applications requirements. The architecture ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation vs. prototype execution: a case study

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

    In distributed computer environments and parallel applications many factors determine system performance. The main problem in increasing the performance of such systems is the impact of synchronization on the processor utilization. Synchronization overhead is caused mainly by intrinsic properties of the application (inherent parallelism, data and control dependencies, etc.) and by architectural an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Avionic system development and integration

    Publication Year: 1990, Page(s):264 - 269
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (408 KB)

    An integrated avionic integration and support facility for advanced aircraft is described, as are the engineering systems used in the development and integration process. Several types of stations are used for various development stages. The functions of the stations vary, but common architecture, hardware subsystems and software packages are used in stations implementation. This approach provides... View full abstract»

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

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

    A temporal-causal framework that addresses specification, construction and evolution of concurrent and distributed systems in a unified way is presented. A pluralistic approach to specification is pursued, and three different views are used to capture the requirements of the system: informal, causal, temporal-causal. The temporal-causal view is based on the integration of two well-known techniques... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated state-based analysis of distributed systems

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

    A state-based approach to formal specification and verification of distributed systems, and an automated tool for analysis of their communication behavior founded on this approach and written in Prolog, are presented. The approach can typically be used for verification of safety properties of communication protocols and mutual exclusion algorithms 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 (3)
    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.
  • SOLOG-system object oriented logic development

    Publication Year: 1990, Page(s):556 - 557
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (200 KB)

    A brief overview is presented of an intelligent tool, SOLOG, which addresses the problem of system logic development. This tool is part of an environment which is used to support rapid prototyping and development of complex systems. A case study is presented of logic development with SOLOG View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture and design of a pseudo two-port VLSI snoopy cache memory

    Publication Year: 1990, Page(s):400 - 407
    Cited by:  Papers (1)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (880 KB)

    A CMOS VLSI cache memory subsystem that includes a 72 K-bit cache memory, an 11 K-bit tag memory, a 1.3 K-bit state array, two special buffers and cache control logic, has been designed and integrated on a microprocessor chip. The architecture, design and analysis of the cache design are presented. The design achieves higher system performance by reducing the cache reload penalty through a pseudo-... 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.
  • 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.
  • Market research of hardware and software with partial-order classification

    Publication Year: 1990, Page(s):564 - 567
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (208 KB)

    This work deals with one of the basic problems of market research: the evaluation of many different qualities, e.g. price, size, performance, and service. All the above are accumulated into comparable numbers and presented to the decision-makers as a total sum of qualities. To improve the techniques of data representation and accumulation, the author proposes the use of partial order classificatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Σigma game for management

    Publication Year: 1990, Page(s):236 - 240
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (368 KB)

    Project management within a complex organization resembles a game, which the authors call Σigma game, as it results from the summation of many interactions of people trying to reassure resources availability. This work focuses on capturing the dynamics of the game and on the measurement of the player's performance, with the aim of increasing productivity and providing meaningful comparison o... View full abstract»

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

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

    A discussion is presented of the different standpoints which, at the beginning of the eighties, have brought forth prototyping as a strategy. The different lines of development are sketched, and the various trends are examined. An examination is made of the following topics: (1) the history of prototyping and the software crises, (2) prototyping terminology, (3) trends that have supported prototyp... 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.