By Topic

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems

11-15 March 1996

Filter Results

Displaying Results 1 - 25 of 62
  • Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (585 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (93 KB)
    Freely Available from IEEE
  • TL: a system-level specification language for system analysis

    Publication Year: 1996, Page(s):244 - 251
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification semantics are defined with Coloured Petri nets. A graphical toolbox using these nets generates perform... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An architecture for medical knowledge-based assistance systems

    Publication Year: 1996, Page(s):442 - 449
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB)

    Medical problems can be hierarchically decomposed into subproblems. In general, the problems are solved by humans. For some very seldom occurring subproblems e.g. developing a patient management plan for the acute radiation syndrome, or for routine problems, e.g. report generation in laboratory medicine for 95% of the cases, knowledge-bases could perform the task more efficiently than humans. An a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System-level optimization of architectural performance under varying service demands

    Publication Year: 1996, Page(s):235 - 242
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (764 KB)

    This paper describes the motivation, methods, and application of a regimen for optimizing cost-performance measures for distributed system architectures. Dynamic performance under varying workloads was optimized in terms of system resource parameters in an absolute time base context. The intent was to establish an exacting yet practical means for setting architecture parameters and tolerances near... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An empirical validation of four different measures to quantify user interface characteristics based on a general descriptive concept for interaction points

    Publication Year: 1996, Page(s):435 - 441
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    The main problem of standards (e.g. ISO 9241) in the context of usability of software quality is that they cannot measure all relevant product features in a task independent way. We present a new approach to measure user interface quality in a quantitative way. First, we developed a concept to describe user interfaces on a granularity level, that is detailed enough to presence important interface ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Context modelling for a usability oriented approach to interactive systems requirements engineering

    Publication Year: 1996, Page(s):315 - 321
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    The paper investigates the needs of organisational context modelling within a usability-oriented approach to interactive systems requirements engineering. Task models usually produced during the requirements engineering process are derived basically from an analysis of the the users' individual tasks. Consequently, some major usability problems in interactive tasks performing arise from a lack of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The avalanche paradigm: an experimental software programming technique for improving fault-tolerance

    Publication Year: 1996, Page(s):142 - 147
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    Fault propagation is both boon and curse. For programs undergoing V&V, propagation is a boon, since fault detection is the goal. After software deployment, particularly for safety critical applications, propagation can result in hazardous outputs, which are a curse. Methods to decrease fault propagation for deployed systems are warranted, and we have provided just such a technique in this pape... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some thoughts on the quality of a computer-based system's architecture

    Publication Year: 1996, Page(s):228 - 234
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    This paper suggests quality criteria for a computer based system (CBS) architecture. Using a combination of these criteria, the quality areas of flexibility and interoperability are examined using the IEEE reference model for application portability and systems interoperability. The purpose is to show how to identify, and assess if a CBS architecture meets specific quality criteria. The goal of th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Selecting engineering techniques using fuzzy logic based decision support

    Publication Year: 1996, Page(s):427 - 434
    Cited by:  Papers (2)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    The task of selecting software engineering methods, techniques, metrics, and tools is usually performed manually, based on the expertise of individuals. This paper presents a systematic tool supported approach, that bases its suggestions an the technical situation, the existing goals, and constraints of a specific organization or a particular project. A prototype of the decision support system sup... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using scenarios to systematically support goal-directed elaboration for information system requirements

    Publication Year: 1996, Page(s):308 - 314
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    Recent requirements engineering research, recognises that successful system development relies upon the ability to model and understand the intentional structure of the organisational and business environment within which an IS is intended to operate. The importance of establishing and maintaining explicit links between information systems requirements and business goals is further emphasised by r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Verification of the Sparrow processor

    Publication Year: 1996, Page(s):86 - 93
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    We present a new gate-level hardware verification method based on term rewriting systems. As an application, we formally verify the Sparrow microprocessor with the term rewriting theorem prover ReDuX. Our designs are given as net-lists in BLIF format. We mechanically compile the net-lists into the formal axiomatization of Sparrow as a term rewriting system. ReDuX can then emulate Sparrow symbolica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software maintenance versus software evolution: an approach to software systems evolution

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

    Software development is traditionally conceived as a process where the software development team elaborates, implements and maintains executable models of Information Systems (in the broad sense). In this paper we present an evolutionary view of the software development process, rooted on the General System Theory, which considers software development as a creative process with complex and evoluti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ASPECT-an Architecture SPECification Technique a report on work in progress

    Publication Year: 1996, Page(s):220 - 226
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    We discuss ASPECT, a first step towards a generic specification technique for software architectures. We present and discuss an abstract grammar for ASPECT that lists and relates to each other all the architectural elements that form ASPECT's vocabulary. After elaborating on the characteristics of these architectural elements, we illustrate their application in a small example View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new method for identification of reusable software components

    Publication Year: 1996, Page(s):35 - 42
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    Modern engineering systems are increasingly software intensive. There is pressure from customers to reduce costs and development times whilst increasing quality. Finding appropriate techniques for achieving this are a major concern for systems engineers. Increased reuse addresses this concern. Domain Modelling is seen as a way of extracting the common features in a domain. The problems are: how to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategies, tactics and methods for handling change

    Publication Year: 1996, Page(s):457 - 463
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    Changing requirements are a difficult and costly problem. This paper describes the results of an empirical study of the problems associated with change and the approaches taken for dealing with them. It recognises the need for a method for selecting processes and tools from the viewpoint of handling change. A context-driven approach is taken to developing a method for generating a set of criteria ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology for designing and dimensioning critical complex computing systems

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

    It is widely recognized that real-time, fault-tolerant and distributed computing technologies play a key role in the deployment of many current and future (civilian or defense) critical and complex applications. Computing systems needed to support such applications are referred to as C3 systems. Lack of a clear identification of those issues involved with designing and dimensioning C... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systems theories and architectures for ECBS

    Publication Year: 1996, Page(s):52 - 59
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (724 KB)

    Within this paper it is argued that every systematic approach to defining an engineering discipline for computer-based systems in a near axiomatic way must start with laying down adequate theories for all sorts of systems under consideration within the envisioned systematic engineering process. First the nature and contents of a discipline of Engineering of Computer-Based Systems (ECBS) and its ac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-integrated program synthesis environment

    Publication Year: 1996, Page(s):348 - 355
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    The paper describes a model-integrated program synthesis environment for computer-based system applications. In model-integrated program synthesis (MIPS), domain-specific, multiple-view models represent the software, its environment and their relationships. Model interpreters translate the models into the input languages of static and dynamic analysis tools, and application specific model interpre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Categorization of programs using neural networks

    Publication Year: 1996, Page(s):420 - 426
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    The paper describes some experiments based on the use of neural networks for assistance in the quality assessment of programs, especially in connection with the reengineering of legacy systems. We use Kohonen networks, or self-organizing maps, for the categorization of programs: programs with similar features are grouped together in a two-dimensional neighbourhood, whereas dissimilar programs are ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A RISC architecture to explore HW/SW parallelism in HW/SW codesign

    Publication Year: 1996, Page(s):382 - 388
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (432 KB)

    The paper describes some modifications on the architecture of embedded RISC-like processors to better explore HW/SW (hardware/software) parallelism in a HW/SW co-design environment. It is shown that the inclusion of an instruction memory allows parallel execution of the application SW and eventual dedicated HW. Positive results are shown for two different RISC microprocessors. The paper also repor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering of computer-based systems-a proposed master curriculum

    Publication Year: 1996, Page(s):404 - 411
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    The paper describes some unique characteristics of engineering of computer-based systems (ECBS) and the need for formal undergraduate and graduate level education of engineers in this new discipline. A job description of engineers specializing in the discipline is outlined. It forms the requirements for the preparation of the ECBS MS curriculum. The paper describes in detail eight suggested core c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Behavioral views for software requirements engineering

    Publication Year: 1996, Page(s):300 - 307
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    The paper introduces the concept of software behavioural views, and presents a formal notation for their specification and composition. The objective is software behavioral requirements specification independent of design and implementation. The paper claims that behavioral views can reduce the complexity of software behavioral requirements specification. To establish this claim, the paper introdu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Change analysis: a step towards meeting the challenge of changing requirements

    Publication Year: 1996, Page(s):278 - 283
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB)

    Changing requirements are a major source of risk to software development projects, but are generally not included in hazard identification and risk assessment procedures at present because the information needed is not collected or recorded by current requirements methods. It is proposed that change analysis should be an integral part of the entire development process so that change can be handled... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Creating object models-design and architecture

    Publication Year: 1996, Page(s):174 - 180
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    In both general systems engineering and in the engineering of computer based systems, there are management processes and technical engineering processes carried out by the systems engineers. This paper treats the steps in the technical engineering work that define the structure of the system. It describes this work when it is done with executable models and with text to explain the models. With th... View full abstract»

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