Proceedings International Conference and Workshop on Engineering of Computer-Based Systems

24-28 March 1997

Filter Results

Displaying Results 1 - 25 of 73
  • Proceedings International Conference and Workshop on Engineering of Computer-Based Systems

    Publication Year: 1997
    Request permission for commercial reuse | PDF file iconPDF (292 KB)
    Freely Available from IEEE
  • Fault tolerant computing in computational field model

    Publication Year: 1997, Page(s):34 - 37
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (342 KB)

    In large scale distributed systems, fault tolerant computing is important because each module may not be always reliable. Fault tolerant computing is not essentially needed to solve a problem. However, it is useful to execute a computing correctly. In this paper, we propose the usage of computational field model (CFM) as a framework to reuse such computing. Computational field is shared virtual sp... View full abstract»

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

    Publication Year: 1997, Page(s):507 - 508
    Request permission for commercial reuse | PDF file iconPDF (85 KB)
    Freely Available from IEEE
  • Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions

    Publication Year: 1997, Page(s):483 - 490
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    The goal is to provide a high level of confidence that critical software driven event sequences are maintained in the face of hardware failures and harsh or unstable operating environments. The technical approach includes in-situ (embedded in the software) dynamic (run-time) fault management for ensuring critical event sequences in high consequence software. Our method is based on deriving a mathe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intelligent design assistance with SEA

    Publication Year: 1997, Page(s):279 - 286
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1444 KB)

    This paper demonstrates how design assistance for engineering processes of computer based systems is realized with the SEA-Environment. SEA allows to specify engineering processes in an unambiguous way using extended Predicate/Transition Nets (Pr/T Nets) as the underlying formal model. Since Pr/T Nets are executable, tool support for a design process is realized easily via simulation of the proces... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-integrated computing environments and computer-based systems

    Publication Year: 1997, Page(s):480 - 481
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (128 KB)

    Among the most significant technological developments of the last two decades has been the proliferation of computer-based systems (CBSs). These systems embed software to create “smart” tools and products. In CBSs, functional, performance and reliability requirements mandate a tight integration of information processing and physical processes. Embedded information technology is critica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A survey of system design methodologies

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

    Computers have been employed as the controllers of various systems. Designing and implementing control software for complex systems requires the precise definition of a system and the methods of specifying how the system is to be designed and implemented. In this paper four system design approaches, functional, process-based, object-oriented, and net-based, are reviewed concentrating on their view... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • View based object oriented approach for complex system modelling

    Publication Year: 1997, Page(s):246 - 253
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (688 KB)

    The introduction of viewpoints in object-oriented environments provides a number of improvements in the modelling of complex systems, especially the use of a unique and flexible model instead of several independent sub-models. Many researchers are currently working on viewpoints in various fields of computer science, but existing approaches do not meet one's needs. The authors introduce a new rela... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Shall-Prototype-Test Development model

    Publication Year: 1997, Page(s):385 - 391
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    Analysis of various development models has shown that there are aspects of the development of IT systems that are viewed in undiffferentiated form. Differentiation of the development process into the problem perception process and the problem mapping, plus the distinction between specification, prototype and test information forms the subject matter of the first part of this publication. In the se... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Insertion of formalism into systems level design

    Publication Year: 1997
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (80 KB)

    Society's increasing dependence on complex technology mandates high assurance of system correctness. Traditional engineering disciplines such as civil or mechanical engineering achieve such assurance through applications of mathematics to system modelling. Unfortunately, system and software engineering disciplines do not enjoy pervasive use of mathematics in design activities. Most efforts in desi... View full abstract»

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

    Publication Year: 1997, Page(s):324 - 326
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (228 KB)

    Every organisation from the scale of whole countries down to small companies has a list of system developments which have ended in various forms of disaster. The nature of the failures varies but typical examples are: cost overruns; timescale overruns and sometimes, loss of life. The post-mortems to these systems reveal a wide range of reasons all the way from hardware failures, through software e... View full abstract»

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

    Publication Year: 1997, Page(s):38 - 45
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (812 KB)

    Parallel computer architectures based on such processors as the Texas Instruments TMS320C40, or the Analog Devices ADSP21060, are characterized by high performance and I/O bandwidth, flexible topology and low cost making them ideal for embedded parallel signal processing and instrumentation applications. However, the software of such systems is difficult to manage by conventional software engineer... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Validation and testing of sC++ applications

    Publication Year: 1997, Page(s):491 - 497
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    Validating and testing programs has received a lot of attention in recent years and several techniques such as exhaustive search and Random Walk validation have been proposed. However, exhaustive search techniques are only usable for small programs. The only way to cope with complex industrial applications is based on heuristics such as the Random Walk validation techniques. In this paper we prese... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated development for computer-based systems

    Publication Year: 1997, Page(s):414 - 420
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (524 KB)

    This paper describes an integrated systems and software engineering process whose purpose is to enable systems and software engineers and project managers to develop software-intensive systems more efficiently. The process model accomplishes this goal by defining a set of management and technical activities and the information flows that integrate them. The model may be tailored to a particular sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Filling the gap between CASE tools and PSEEs

    Publication Year: 1997, Page(s):113 - 120
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (776 KB)

    CASE tools usually lack methodological assistance and PSEEs usually lack validation of development outputs. We have developed a framework, named RHODES, which is based on a process description language (PBOOL) that enables modeling constructive activities and products of processes. It uses both object-oriented techniques to favor extendibility and reuse of processes and formal approach concepts to... View full abstract»

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

    Publication Year: 1997
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB)

    Design of very large complex systems is in trouble. Of course, that's the way it should be. A system would not deserve to be called very large and complex if it were not right at the edge of the humanly possible. In order to move on to the next level of human engineering achievement we must diagnose our present sticking points and find new ways to do things better View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using software sensors for migrating from classical simulation systems towards virtual worlds

    Publication Year: 1997, Page(s):105 - 112
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    A modern, distributed simulation environment for virtual reality contains two main challenges for a modeling system, a) supplying the world objects with knowledge about the environment in order to enable “intelligent” behavior and b) disentangle the communication in order to decentralize the responses to environmental events. We present our design and implementation of software sensors... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Decomposition of inheritance hierarchy DAGs for object-oriented software metrics

    Publication Year: 1997, Page(s):238 - 245
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    Software metrics are widely used to measure software complexity and assure software quality. However, research in the field of software complexity measurement of a class hierarchy has not yet been carefully studied. The authors introduce a novel factor called unit repeated inheritance (URI) and an important method called the inheritance level technique (ILT) to realize and measure the object-orien... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an open framework for conceptual knowledge in ECBS domain and information modelling

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

    This paper outlines an open framework to share information concepts used in domain knowledge modelling and analysis performed before CBS development. The above framework can support the integration of ECBS information models at the domain level by way of the following characteristics. First, a minimalist ontology is introduced to capture relevant categories of information concepts (i.e. domain abs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CHaRy: the C-LAB hard real-time system to support mechatronical design

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

    CHaRy is a software system to support the synthesis of periodic controller applications, where hard real-time conditions must be guaranteed for software tasks. Due to complexity reasons, CHaRy decomposes the overall problem of implementing periodic controllers on parallel embedded computers to sub-problem partitioning, timing analysis, allocation and schedulability analysis. This rigorous decompos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an application of model-based codesign: an autonomous, intelligent cruise controller

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

    In this paper, the domain of automotive safety is addressed. A specific application, i.e., autonomous, intelligent cruise controller, is selected. Model-based techniques which facilitate implementation independent specification and design of such a system are discussed. A set of systems requirements, the underlying object and behavioral models are given. In conclusion, postulates are discussed for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process and systems complexity

    Publication Year: 1997, Page(s):322 - 323
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (116 KB)

    This statement introduces the ECBS Complexity panel. It provides a framework for a debate on the complexity of the ECBS (engineering of computer based systems) process and its products. We attempt to address the questions of what constitutes complexity, how to measure it, and how to provide engineering techniques that can handle its effects View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concepts for computer assisted engineering process management

    Publication Year: 1997, Page(s):405 - 412
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    This paper presents concepts for computer aided support of engineering processes. We briefly discuss the basic tenets of the engineering enterprise and fundamental design and analysis techniques. Then, process modeling definitions are given and extended to encompass engineering process capture. An architecture is introduced that comprises executive, coordination, and execution layers, intended to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An improved system engineering model

    Publication Year: 1997, Page(s):427 - 434
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (896 KB)

    An enhanced system engineering model is described which includes features such as: clean separation of the roles of system acquisition, system development and component development through a layered approach; indefinite recursion of a single project into subprojects; distinct lifecycles for sub-projects; management of risk and commercial factors within the lifecycle. The authors believe that all o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Striving for coherency to mitigate the complexity of system design

    Publication Year: 1997, Page(s):330 - 337
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (844 KB)

    Software system complexity needs to be viewed from the perspectives of both the design product and the design process. In typical practice, design products appear quite overly complex relative to the capabilities provided. Frequently, system designs seem to exhibit a large degree of unwarranted complexity. On the other hand, system-level design methods are usually lacking in complexity relative to... View full abstract»

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