By Topic

Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001

20-20 April 2001

Filter Results

Displaying Results 1 - 25 of 48
  • Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001

    Publication Year: 2001
    Request permission for commercial reuse | PDF file iconPDF (215 KB)
    Freely Available from IEEE
  • Using Extensible Query Language (XQL) for database applications

    Publication Year: 2001, Page(s):2 - 9
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (655 KB) | HTML iconHTML

    An important application of XML is the interchange of electronic data (EDI) between multiple data sources on the Web. As XML data proliferates on the Web, applications will need to integrate and aggregate data from multiple sources and clean and transform data to facilitate exchange. Data extraction, conversion, transformation, and integration are all well-understood database problems, and their s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • XML based security for e-commerce applications

    Publication Year: 2001, Page(s):10 - 17
    Cited by:  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (629 KB) | HTML iconHTML

    The eXtensible Markup Language (XML) is widely seen as the successor to HTML. XML facilitates Internet B2B messaging owing to its simplicity and flexibility. XML's strength for e-commerce applications will be realized only when its inherent security weaknesses are identified and dislodged. XML was initially introduced as a data format for documents. Some applications need to block or allow access ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Unified modeling of real-time control systems and their physical environments using UML

    Publication Year: 2001, Page(s):18 - 25
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (653 KB) | HTML iconHTML

    Modeling languages that are used to capture the essential properties of embedded real-time computer systems must also allow a description of the system's physical environment. The reason is that the environment is the ultimate source of all requirements on the system, and in particular, real-time constraints are derived from the dynamics of the physical objects under control. However, most modelin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System composition strategies, panel introduction

    Publication Year: 2001, Page(s):28 - 29
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (145 KB) | HTML iconHTML

    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.
  • System composition strategies. My position: analogy questionable, intentions estimable

    Publication Year: 2001, Page(s):30 - 31
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (198 KB) | HTML iconHTML

    There can surely be no doubt that appropriate, automated design techniques are essential for the success of any complex computer based system. No computer system can succeed unless the complexity is well managed. The techniques cited are fundamental for the management of complexity and the development of a computer based system. My position is that automated system composition is inevitable if com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Habitats-infrastructure for knowledge-centric operations (KO)

    Publication Year: 2001, Page(s):32 - 33
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (150 KB) | HTML iconHTML

    The concept of operations is shifting-from large static units with fixed missions to small groups operating independently, with shifting goals. These groups need to coordinate with respect to information, goals and resources. They need to predictably interact with each other and with autonomous, distributed sensors and operational equipment. Unpredictability regarding where, when, how, and with wh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategies for developing distributed computing solutions for industrial environments

    Publication Year: 2001, Page(s):36 - 44
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB) | HTML iconHTML

    Manufacturing environments are currently largely isolated from the wider community of general purpose networking and software technologies. This paper explores strategies for developing distributed computing solutions for industrial environments. It offers a case study which introduces emerging technologies and demonstrates how they can be engineered to bridge between proprietary industrially base... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Risk management for an open CBS project

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

    Open Systems are being presented as the way forward for the construction of complex Computer Based Systems (CBS) of all types. They have had some success but as with all such attempts to solve problems in computing, it is being toured as a panacea. Three years of work by UTS into Open Systems has recognised the following pitfalls with the current Open Systems approaches. Firstly, there is no Open ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimum information queue lengths in semi-batch power management methods for a palmtop multimedia terminal

    Publication Year: 2001, Page(s):54 - 60
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (483 KB) | HTML iconHTML

    In this paper, we propose a method for finding the optimum information queue length of a palmtop multimedia terminal, which is equipped with semi-batch power management. This optimum queue length is determined by the minimization of power consumption, which is based on the balance of the probability combination of high-power state and low-power state. The low-power states are derived from the "idl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An agent for web-based process management

    Publication Year: 2001, Page(s):62 - 67
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (619 KB) | HTML iconHTML

    A web-based process management system retains all relevant knowledge within virtual web documents. A generic process agent is used to build a web-based business process management system. The process agent architecture is a three-layer BDI, hybrid architecture. The agents in this system attempt to improve performance by observing the system environment. The performance is defined in therms of esti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented analysis and design of web-based information systems

    Publication Year: 2001, Page(s):68 - 75
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (550 KB) | HTML iconHTML

    In recent years, the progress of Web technology has made more demanding and pervasive of Web-based information systems (WISs). These WISs support not only processing business data to achieve user goals, but also navigating the user through Web resources to get desired information. This paper presents an object-oriented method for the analysis and design of WISs. The method uses a use case analysis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesis of high-level requirements models for automatic test generation

    Publication Year: 2001, Page(s):76 - 82
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (550 KB) | HTML iconHTML

    Describes research and development into techniques to support the automatic generation of test cases for event-oriented, real-time embedded systems. A consistent suite of test scenarios can assure consistency at all levels of design activities. Although we have developed algorithms that are designed to generate test scenarios from a state-based functional requirements model, their applicability is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coverage based test-case generation using model checkers

    Publication Year: 2001, Page(s):83 - 91
    Cited by:  Papers (59)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1050 KB) | HTML iconHTML

    Presents a method for automatically generating test cases according to structural coverage criteria. We show how a model checker can be used to automatically generate complete test sequences that provide a pre-defined coverage of any software development artifact that can be represented as a finite state model. Our goal is to help reduce the high cost of developing test cases for safety-critical s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward a real-time event flow architecture style

    Publication Year: 2001, Page(s):94 - 102
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (814 KB) | HTML iconHTML

    Recent literature on the architectures of real-time systems reveals striking similarities among designs used in many different domains, including avionics, satellites, process control, signal processing, power generation and manufacturing. This paper presents an architecture style that can be used for a large class of real-time event-processing systems. It gives the common requirements of these sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reservation-based timing analysis - a practical engineering approach for distributed real-time systems

    Publication Year: 2001, Page(s):103 - 110
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (777 KB) | HTML iconHTML

    Proposes a timing analysis technique that gives practical support to the industrial systems engineering process for large-scale, distributed real-time systems. The technique, known as reservation-based timing analysis (RBA), gives support throughout the life-cycle of the system, from the early stages of system development through to implementation stages and later in-service upgrades. RBA allows t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiences from introducing state-of-the-art real-time techniques in the automotive industry

    Publication Year: 2001, Page(s):111 - 118
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (749 KB) | HTML iconHTML

    The use of state-of-the-art real-time techniques in industry remains infrequent. The reason for this, we believe, is three-fold: (1) the lack of commercially available tools, (2) the lack of methodologies based on real-time theory throughout the complete development process, and (3) the lack of competence in real-time theory among industrial practitioners. In this paper, we present a case study of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On adaptive communication in asynchronous real-time distributed systems

    Publication Year: 2001, Page(s):119 - 126
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (714 KB) | HTML iconHTML

    Presents adaptive communication heuristic algorithms for periodic tasks in asynchronous real-time distributed systems. The heuristic algorithms adapt the application to workload changes through trans-node message-level adaptation mechanisms. We present adaptive communication heuristics for IEEE 802.5 token ring networks that support the priority-driven protocol, and for FDDI networks that use the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systematic definition of reusable architectures

    Publication Year: 2001, Page(s):128 - 135
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (790 KB) | HTML iconHTML

    Reusable architectures, like frameworks or product lines, can improve the efficiency of software development. In this paper, methods from the areas of software engineering, domain engineering, software architectures and tool-supported implementation are combined and integrated to successfully build reusable architectures. Special emphasis is placed on process issues and on modeling. Software produ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Information modelling for system specification representation and data exchange

    Publication Year: 2001, Page(s):136 - 143
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (759 KB) | HTML iconHTML

    Presents the emerging STEP standard AP-233, with a focus on the non-functional requirements that have guided the development process. The purpose of this paper is to present and motivate the modelling assumptions and approach selected for the AP-233 information model, and to describe how the EXPRESS information modelling language has been used. Although the paper focuses on AP-233 and the constrai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developing a traceable domain reference architecture to support clinical trials at the National Cancer Institute. An experience report

    Publication Year: 2001, Page(s):144 - 151
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (811 KB) | HTML iconHTML

    Presents the requirements gathering and software architecture derivation approach developed by the University of Texas at Austin and leveraged by the National Cancer Institute (NCI) in their efforts to automate the creation, management and evaluation of clinical trials. NCI must face the complexity of managing clinical trials and of coordinating large numbers and varied types of stakeholders. SEPA... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using 'parallel automaton' as a single notation to specify, design and control small computer based systems

    Publication Year: 2001, Page(s):152 - 159
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (817 KB) | HTML iconHTML

    Presents a methodology for using a 'parallel automaton' to set up the requirements, to specify and to execute small computer-based systems (CBSs). A parallel automaton is an extended form of the Mealy machine. It handles a finite set of events (variable conditions or clock conditions) which can occur in parallel, and performs a finite set of actions which can be carried out in parallel. In the par... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effective values: an approach for characterizing dependability parameters

    Publication Year: 2001, Page(s):162 - 170
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB) | HTML iconHTML

    The authors discuss a novel direction for evaluating system dependability. The research efforts outlined are part of a special focus concerning the dependability of complex distributed systems at the Department of Computer Engineering of the Federal Armed Forces University in Munich, Germany. Our approach emphasizes the behavior of components after they have been embedded in a system. We use the n... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Need-based requirements change management

    Publication Year: 2001, Page(s):171 - 178
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (674 KB) | HTML iconHTML

    Many changes of system requirements can be continuously proposed during the life cycle of the system. Those continuous changes of system requirements can cause many kinds of difficult and costly errors throughout the whole life cycle of a system and make most of the requirements engineering methods practically useless. An effective approach to manage requirements changes is therefore necessary for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring the effectiveness of computer based systems: an open system measurement example

    Publication Year: 2001, Page(s):179 - 188
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (896 KB) | HTML iconHTML

    Openness is one quality which modern computer based systems (CBSs) strive to possess. This work on the evaluation of CBSs was developed in the context of research work to measure open systems. Openness in large computer based systems is a quality sought by many, claimed by many, but proven by few. Openness in many systems with which we have daily contact is a quality which makes those systems oper... View full abstract»

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