Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000)

3-7 April 2000

Filter Results

Displaying Results 1 - 25 of 51
  • Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000)

    Publication Year: 2000
    Request permission for commercial reuse | PDF file iconPDF (244 KB)
    Freely Available from IEEE
  • IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems

    Publication Year: 2000, Page(s): 382
    Request permission for commercial reuse | PDF file iconPDF (11 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 2000, Page(s): 398
    Request permission for commercial reuse | PDF file iconPDF (6 KB)
    Freely Available from IEEE
  • Java-prototyping of hardware/software CBS using a behavioral OO model

    Publication Year: 2000, Page(s):73 - 81
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (168 KB)

    This paper presents a method to build software-prototypes of Computer-Based Systems (CBS) that describe and simulate parts of software and parts of hardware using a common concurrent software Behavioral Object Oriented Model (BOOM). For the hardware objects this behavioral prototyping can be viewed as a pre-stage of specification and analysis before the real physical design. The CBS prototypes are... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and simulating functional and timing aspects of real-time systems by delegated execution

    Publication Year: 2000, Page(s):64 - 72
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (116 KB)

    Scheduling simulators are useful in the design exploration phase of the development of reactive embedded real-time computer systems. However, most conventional scheduling simulators do not fulfil all the requirements needed for the modeling of application functionality and system environment. Other system modeling approaches exist for this purpose, but these usually do not deal with scheduling asp... View full abstract»

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

    Publication Year: 2000, Page(s):56 - 61
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    Because there are different types of software (e.g., language, application, target environment, etc.), different software certification methodologies are needed. Software process improvement schemes have not taken this approach and have therefore suffered in widespread adoption as a result. Their “one approach fits all” perspective is one reason why we are now seeing more customized pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SAABNet: Managing qualitative knowledge in software architecture assessment

    Publication Year: 2000, Page(s):45 - 53
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    Quantitative techniques have traditionally been used to assess software architectures. We have found that early in development process there is often insufficient quantitative information to perform such assessments. So far the only way to make qualitative assessments about an architecture, is to use qualitative assessment techniques such as peer reviews. The problem with this type of assessment i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A component-based architecture for software communication systems

    Publication Year: 2000, Page(s):36 - 44
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (124 KB)

    We examine the usefulness of component-based software-engineering for the implementation of software communication systems. We present an architecture that allows to divide protocol software into fully de-coupled components that can be plugged together using visual builder tools to rapidly prototype flexible, robust, and application-tailored communication protocols. We show the feasibility of comp... View full abstract»

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

    Publication Year: 2000, Page(s):299 - 307
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (80 KB)

    System level specification and analysis has become a critical issue in designing today's ever increasingly complex systems. System level design is distinguished from other design activities by its heterogeneous nature. Specifically, systems level designers must integrate information from many different design domains in a single design decision making activity. Rosetta is a systems level specifica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture-based performance analysis of the COLLINS class submarine open system extension (COSE) concept demonstrator (CD)

    Publication Year: 2000, Page(s):26 - 35
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB)

    Being able to predict the overall performance of a computer based system, prior to building it, is one of the greatest challenges facing system engineers today. The emerging discipline of system architecture, by defining a high level abstraction of the overall structure of the system, hopes to provide the foundation for this reasoning. The authors demonstrate an architecture-based performance anal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating CAD and CAM via CORBA

    Publication Year: 2000, Page(s):3 - 8
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (36 KB)

    CAD and CAM were developed independently in the past. CAD was heavily influenced by Computer Graphics, whereas CAM by NC (Numerical Control) Integrating them turns out to be the challenge of the century. The integration of CAD and CAM in terms of CORBA is explored. Then Open I-DEAS is presented as a special case View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Refinement in requirements specification and analysis: a case study

    Publication Year: 2000, Page(s):290 - 298
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (100 KB)

    This paper presents a formal method for requirements specification and analysis. Using this method some techniques for step-wise refinement are studied. During the early phases of system development, where the exact requirements are yet unclear these techniques allow to write incomplete and global specifications, which during successive steps can be refined and completed. At each step the method s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Truly distributed control systems using fieldbus technology

    Publication Year: 2000, Page(s):165 - 173
    Cited by:  Papers (16)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    This paper outlines the three main field bus type standards: FOUNDATION Fieldbus; WorldFIP; and the CAN bus, each of which have great advantages over traditional instrumentation networking technology. The paper shows, using their specification, how they improve traditional control and data acquisition methods. By analysing the main fieldbus types the paper shows how they are more robust, how they ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A survey of software reuse repositories

    Publication Year: 2000, Page(s):92 - 100
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    Reuse libraries are organizations of personnel, procedures, tools, and software components directed toward facilitating software component reuse to meet specific cost-effectiveness and productivity goals. The paper gives a survey of the major software reusable component repositories. This survey will be a base to develop future efficiently searchable, user-friendly, useful, and well-organized repo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A choice of SM/DM parallel ANN implementation for embedded applications

    Publication Year: 2000, Page(s):18 - 23
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    This paper examines implementations of a multi-layer perceptron (MLP) on bus-based shared memory (SM) and on distributed memory (DM) multiprocessor systems. The goal has been to optimize HW and SW architectures in order to obtain the fastest response possible. Prototyping parallel MLP algorithms for up to 8 processing nodes with the DM as well as SM memory was done using CSP-based TRANSIM tool. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The use of architecture description languages to describe a distributed measurement system

    Publication Year: 2000, Page(s):185 - 193
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (148 KB)

    This paper describes and specifies architectural features of an industrial distributed measurement system, using two architectural description languages (ADLs). A discussion of the advantages and disadvantages of the ADLs is given View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ECBS Education and Training Working Group Report

    Publication Year: 2000, Page(s):395 - 396
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (20 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Java-based CSCW tool for supporting software processes

    Publication Year: 2000, Page(s):368 - 374
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2164 KB)

    PSTOOL is designed as a tool of the supporting environment based on P-F method. The P-F method is a description methodology for supporting software processes improvements. It consists of concept model and implementation model. The mechanism of CSCW on the WWW within PSTOOL is described by the user awareness rules, client/server architecture with Java applet. An example of BugFix process on discuss... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software agents and computer network security

    Publication Year: 2000, Page(s):211 - 217
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    Preventing unauthorised access to corporate information systems is essential for many organisations. To address this problem we built a security enhancement software system using software agents, in which a core software agent resides on a server and user end software agents reside at each user workstation. By downloading a pattern of typical user behaviour and rules governing invalid behaviour fr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PuLSE-I: Deriving instances from a product line infrastructure

    Publication Year: 2000, Page(s):237 - 245
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (48 KB)

    Reusing assets during application engineering promises to improve the efficiency of systems development. However in order to benefit from reusable assets, application engineering processes must incorporate when and how to use the reusable assets during single system development. However, when and how to use a reusable asset depends on what types of reusable assets have been created. Product line e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Forensic ECBS: A Situational Assessment

    Publication Year: 2000, Page(s):390 - 392
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (24 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ensuring structure and behavior correctness in design composition

    Publication Year: 2000, Page(s):279 - 287
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (100 KB)

    The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advocate that more rigorous analysis methods to check the correctness of component composition would allow combination problems to be detected early in the development process so that people can save considerable effort offerin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Support for representation of functional behaviour specifications in AP-233

    Publication Year: 2000, Page(s):351 - 358
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    This paper discusses the topic of functional behaviour representations from a data exchange point of view. The motivation comes from our work with developing a standard information model for systems engineering data exchange-ISO 10303-233. In this setting it is not sufficient that the exchanged model displays the same behaviour as the original one. When possible, the structure of the original spec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Virtual Automation Lab-Web based teaching of automation engineering concepts

    Publication Year: 2000, Page(s):156 - 164
    Cited by:  Papers (12)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB)

    Our Virtual Automation Lab is a Web based interactive learning environment for both Computer Science and Automation Engineering concepts within a virtual university setting. We describe three Lab exercises in which students learn how to operate CAN fieldbus devices without any physical proximity to the devices themselves. One of the exercises is a pure simulation realized with a Java applet. In th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing a model-based interaction planner with dialogue analysis

    Publication Year: 2000, Page(s):82 - 90
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (60 KB)

    We present an approach to computer-based training that takes advantage of two techniques related to modelling. Dialogue modelling (DM) and model-based training (MBT) are examined here with a view to using DM to provide the models needed in MBT. Our work is motivated by the fact that certain domains are very difficult to produce models for, which makes MBT impracticable. We describe a computer-base... View full abstract»

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