By Topic

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
  • 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
  • Uncertainty in computer application is certain-software engineering as a control

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

    A summary of the fundamental concepts of software engineering and of the process of software development leads to the formulation of a principle of uncertainty that applies, in general, to all computer application in the real world. A brief analysis of the implications of uncertainty and their relationship in software engineering follow. The views presented are reviewed in the context of the relev... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interconnect optimisation for multiprocessor architectures

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

    In the design of multiprocessor architecture for high-speed applications the number of busses and local interconnection links often becomes a bottleneck. The problem is solved here by determining only the number of processors and the number of register files in the early stages of the architectural synthesis. The actual assignment of operations to processors and of variables to register files is p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data confidentiality service on top of transmission control protocol/internet protocol

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

    A scheme for providing data confidentiality service on top of transmission control protocol/internet protocol (TCP/IP) is proposed for connection-oriented message transmission. A novel security service architecture consisting of interactive application program, client/server, and security service modules is presented to provide the data confidentiality service. Also, the functional mechanism of th... 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.
  • Scalable Coherent Interface

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

    The Scalable Coherent Interface Project (IEEE P1596) is establishing an interface standard for very-high-performance multiprocessors, supporting a cache-coherent-memory model scalable to systems with up to 64K nodes. The P1596 Scalable Coherent Interface (SCI) will supply a peak bandwidth per node of 1 Gb/s. The SCI standard should facilitate assembly of processor, memory, I/O and bus bridge cards... View full abstract»

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

    Publication Year: 1990, Page(s):307 - 311
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    A description is given of a software development and integration environment for local area networks. It is based on a discrete-event simulation of the required network (MAC layer) along with a powerful network analyzer. Each node in the network can be configured as a MAC layer only, or can be configured to communicate with upper layers/applications. The network analyzer makes possible the monitor... 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.
  • 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.
  • 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.
  • 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.
  • Massively Concurrent Computer: the configuration problem

    Publication Year: 1990, Page(s):97 - 102
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    The MC2/64 machine is a distributed parallel machine using the Inmos transputer and based on the concept of reconfigurable nodes. A description is given of the architecture, configuration and the system software of MC2/64. The MC2/64 system consists of four configurable clusters consisting of up to 16 worker cards each, while the MC3/256 will have 16 clu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid prototyping through graphical operational specification and automated code generation

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

    The application of PROTOB, an object-oriented CASE system based on high-level Petri nets, to rapid prototyping of distributed systems is presented. PROTOB consists of several tools supporting specification, modeling and prototyping activities within the framework of the operational software life-cycle paradigm. As its major application area it addresses distributed systems, such as real-time embed... 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.
  • Design of a general blackboard shell

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

    Considerations for making blackboard shells more general in order to improve the knowledge engineering process are described. An architecture for general blackboard shells is then proposed. It includes a set of generalized functions for constructing and supporting various operations on different types of blackboards, i.e. planning, constraint, domain, and context blackboards. A general structure f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending modular languages with persistent data

    Publication Year: 1990, Page(s):542 - 543
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB)

    A method for introducing data persistence in modular languages is presented; the method is based on an extension of the module concept that performs in the framework of an object-oriented paradigm. Application of the method to Modula-2, a language that supports modularity and encapsulation, is described. The method, however, is more general, being a simple and powerful approach to introducing data... 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.
  • Some complexities in computerbased systems and their implications for system development

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

    Mastering complexity is central to the software development task, and separation of concerns is the chief tool. An informal framework is proposed within which concerns may be identified. An example of a completely simple system is given, and some sources and cases of complexity are considered with respect to the framework. Implications for software development method are discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A risk driven reasoning-based development paradigm for high performance trusted system in Ada

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

    Initial results are presented of a research effort to enhance and tailor a paradigm for the development of high-performance trusted systems in Ada. The paradigm is aimed at improving the construction process and the future products of Ada systems having both broad trust and high-performance requirements. The unique characteristics and primary risks of high-performance trusted systems development a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 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 (104 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.
  • Complexity and uncertainty in software design

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

    The authors focus on two modes of operation, namely, rational and experimental, and on two means of expression, namely, specifications and prototypes, as key features of approaches to software design. The discussion is based on an examination of relevant trends in software development and on reappreciation of well-known principles of human problem-solving. They conclude that the effectiveness of a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience in data and process modelling at Thyssen Steel

    Publication Year: 1990, Page(s):117 - 123
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    A description is given of the use of the entity/relationship model to model the data structures, data flow, process structures, and control flow in the planning, production and disposition of steel products. The purpose of the modeling is to rationalize the operational processes and to provide more information on these processes. The model also serves as a base for the generation of a technical so... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge-based approach for parallel software verification

    Publication Year: 1990, Page(s):322 - 328
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    The development of parallel-processing software products with the assistance of an expert system is described. This software design method aims at producing quality software code starting from a formal specification, using artificial intelligence techniques. The author describes available FDTs (formal description techniques) and expert systems, pointing out their characteristics and relevance for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Configuration programming-a framework for the development of distributable systems

    Publication Year: 1990, Page(s):374 - 384
    Cited by:  Papers (30)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1088 KB)

    A brief description is given of the author's use of configuration programming in the conic environment, and an assessment is made of the benefits of such an approach. Based on this experience, the author extends the notions of configuration programming to cover many more aspects of the software development process. Emphasis is on the structural decisions and descriptions for each of the phases in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A test strategy for the distributed real-time system MARS

    Publication Year: 1990, Page(s):20 - 27
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    The testing of real-time systems within the framework of the distributed real-time system MARS (maintainable real-time system), is considered. After a brief survey of the available literature and an overview of the background of this work, a proposed test strategy for MARS is described and two architectures for testbeds that allow actual test execution in two different test modes are derived. The ... View full abstract»

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