By Topic

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings.

7-10 April 2003

Filter Results

Displaying Results 1 - 25 of 41
  • Proceedings 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

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

    Publication Year: 2003, Page(s): 331
    Request permission for commercial reuse | PDF file iconPDF (154 KB)
    Freely Available from IEEE
  • Domain model translation using graph transformations

    Publication Year: 2003, Page(s):159 - 168
    Cited by:  Papers (13)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (313 KB) | HTML iconHTML

    The implementation of computer based systems (CBSs) is commonly guided by constraints imposed by the particular domain of the CBS. Domain-specific programming is a convenient way to provide a domain expert with a language that is customized to the particular constraints and assumptions of the domain.. The careful thought and design that precede the development of any domain-specific visual languag... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of Very Lightweight Agents for reactive embedded systems

    Publication Year: 2003, Page(s):149 - 158
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB) | HTML iconHTML

    Large-scale real-time high-performance data acquisition computing systems often require to be fault-tolerant and adaptive to changes. We consider a multi-agent system based approach to achieve these goals. This research is a part of ongoing research efforts to build a triggering and data acquisition system (known as BTeV) for particle-accelerator-based high energy physics experiments at Fermi Nati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid prototyping of networked embedded systems

    Publication Year: 2003, Page(s):125 - 132
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (228 KB) | HTML iconHTML

    This paper presents rapid prototyping of networked embedded systems by the method that employs hardware and software components and an eligible executable specification language. Statements of that language should cover process management, timing and communication commands interpretable by the services of a real-time executive and a communication task located in each prototype node. The language i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The SIGNAL approach to the design of system architectures

    Publication Year: 2003, Page(s):80 - 88
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (310 KB) | HTML iconHTML

    Modeling plays a central role in system engineering. It significantly reduces costs and efforts in the design by providing developers with means for cheaper and more relevant experimentations. So, design choices can be assessed earlier. The use of a formalism, such as the synchronous language SIGNAL which relies on solid mathematical foundations for the modeling, allows validation. This is the aim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Meta-modelling approach to traceability for avionics: a framework for managing the engineering of computer based aerospace systems

    Publication Year: 2003, Page(s):233 - 246
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (445 KB) | HTML iconHTML

    Traceability is the common term for mechanisms to record and navigate relationships between artifacts produced by development and assessment processes. Effective management of these relationships is crucial to projects involving the development of complex, safety critical computer based aerospace systems. Practitioners use a range of notations to model such systems. Most have tool support, though ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mobile agents for routing, topology discovery, and automatic network reconfiguration in ad-hoc networks

    Publication Year: 2003, Page(s):200 - 206
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (342 KB) | HTML iconHTML

    Wireless networks and the usage of mobile devices are becoming popular in recent days, especially in creating ad-hoc networks. There is thus scope for developing mobile systems, where devices take an active part of creating a network infrastructure, and can actually be used to route data between networks. This research proposes to assess different models of the usage of static and mobile agents to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated modeling and analysis of computer-based embedded control systems

    Publication Year: 2003, Page(s):141 - 148
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB) | HTML iconHTML

    Embedded real-time systems are ubiquitous in modern society, many of which perform safety-critical functions, and therefore, it is imperative to have tools and techniques that can guarantee a high degree of system correctness. They typically perform information processing on a digital computer tightly coupled with the continuous physical environment. Even though hybrid systems is an active researc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Aspect-oriented requirements engineering for software product lines

    Publication Year: 2003, Page(s):98 - 107
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (303 KB) | HTML iconHTML

    Requirements engineering (RE) helps to identify, analyze and document system requirements. Proper analysis and understanding of system requirements is important because it helps to discover any requirements defects or mistakes in the early stages of development. Several processes and techniques have been developed to assist requirements engineering activities for product development. However, most... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A foundation for adaptive fault tolerance in software

    Publication Year: 2003, Page(s):252 - 260
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (327 KB) | HTML iconHTML

    Software requirements often change during the operational lifetime of deployed systems. To accommodate requirements not conceived during design time, the system must be able to adapt its functionality and behavior. The paper examines a formal model for reconfigurable software processes that permits adaptive fault tolerance by adding or removing specific fault tolerance techniques during runtime. A... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance modelling of interaction protocols for component-based system design using object-oriented simulation

    Publication Year: 2003, Page(s):115 - 124
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (381 KB) | HTML iconHTML

    European defence companies have used MASCOT methodology in weapon system projects for real-time embedded software development. This method has been used for at least twenty years and it is still their primary design and development method. On the other hand, the intersection of software engineering (SE) and performance engineering (PE) has made a new topic: Software performance engineering (SPE). ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-integrated design toolset for polymorphous computer-based systems

    Publication Year: 2003, Page(s):72 - 79
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB) | HTML iconHTML

    Polymorphous computer-based systems are systems in which the CPU architecture "morphs" or changes shape to meet the requirements of the application. Optimized and efficient design for these systems requires exploration along axes beyond those of traditional system design. In this paper we outline a model-integrated toolset to aid in the specification, analysis and synthesis of polymorphous applica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling workflow process models with statechart

    Publication Year: 2003, Page(s):55 - 61
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (252 KB) | HTML iconHTML

    This paper presents an approach for modeling workflow using statechart, a visual language for describing complex, reactive systems. The statechart is an extended finite state machine combined with hierarchy, concurrency and communication. In contrast to other modeling approaches, statechart is a concise, expressive language with rigorous semantics. The main advantages of statechart-based workflow ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements interaction detection using semi-formal methods

    Publication Year: 2003, Page(s):224 - 232
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1323 KB) | HTML iconHTML

    Increased pressure to reduce time-to-market has resulted in an increased effort to reuse previously developed software components when developing new software systems. However, in numerous cases, reuse has resulted in interactions between features and/or requirements. As the amount of reuse increases, interaction detection becomes a more and more challenging subject. Although feature interaction i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enterprise-wide solutions architecting using UML

    Publication Year: 2003, Page(s):191 - 199
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (601 KB) | HTML iconHTML

    In concert with customer and marketing staffs, systems engineers often formulate and codify an initial overall software system solution to fulfill customer needs. Without a focused, well-supported, and cooperative effort, however, the formulation may reflect a lack of discernment of the customer's existing resources, capabilities, processes, and desiderata, as well as the more promising solution o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Employing fuzzy logic in feature diagrams to model variability in software product-lines

    Publication Year: 2003, Page(s):305 - 311
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (326 KB) | HTML iconHTML

    The possible features of software product line members may vary according to the needs of particular market segments or purposes. The assessment of what will be common and what will be variable may, e.g., result from market strategies. Customer profiles may be used to model an otherwise anonymous market, each requiring in turn a specific sets of variant features. Identical feature sets may be prio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture-based design of computer based systems

    Publication Year: 2003, Page(s):39 - 46
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (295 KB) | HTML iconHTML

    This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing methods of performing discovery, abstraction, refinement and evolution of systems' architectures. It has also been shown that this approach can be supported by formal methods of refinement. The approach assists the designer in maintaining a strict... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal specifications of computer-based systems

    Publication Year: 2003, Page(s):169 - 172
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (202 KB) | HTML iconHTML

    The IFIP TC10 Working Group 10.1 "Computer Aided Systems Theory" Committee Meeting at the Vienna University of Technology on the 30th September 1999, resulted in a resolution to support a joint workshop with the IEEE Computer Society TC-ECBS on Formal Specifications of Computer-Based Systems (FS CBS). Owing to a substantial overlap in this research domain, Franz Pichler, the founder of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Rosetta meta-model framework

    Publication Year: 2003, Page(s):133 - 140
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (319 KB) | HTML iconHTML

    Heterogeneous systems are naturally complex and their design is a tedious process. The modeling of components that constitute such a system mandates the use of different techniques. This gives rise to the problem of methodology integration that is needed to provide a consistent design. In this paper, we propose a meta-model framework that provides such an integration. The semantics of different co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach for modeling and designing software architecture

    Publication Year: 2003, Page(s):89 - 97
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (407 KB) | HTML iconHTML

    A critical issue for complex component-based systems design is the modeling and analysis of architecture. Architectural specifications of software systems show them as a collection of interrelated components, and constitute what has been called the software architecture level of software design. It is at this level where the description and verification of structural properties of the system are n... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Autonomic Computing - a means of achieving dependability?

    Publication Year: 2003, Page(s):247 - 251
    Cited by:  Papers (52)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (238 KB) | HTML iconHTML

    Autonomic computing is emerging as a significant new approach to the design of computing systems. Its goal is the development of systems that are self-configuring, self-healing, self-protecting and self-optimizing. Dependability is a long-standing desirable property of all computer-based systems. The purpose of the paper is to consider how autonomic computing can provide a framework for dependabil... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A hybrid architecture for visualization and decision making in battlespace environments

    Publication Year: 2003, Page(s):207 - 213
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (430 KB) | HTML iconHTML

    This article presents a hybrid software/hardware architecture for commander's decision support in tactical operations. The architecture builds on the symbolic, object-oriented visualization software called Advanced Tactical Architecture for Combat Knowledge System (ATACKS). The extension discussed here is the design of a real-time robot agent layer that interacts wirelessly with ATACKS. This layer... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A slicing approach for parallel component adaptation

    Publication Year: 2003, Page(s):108 - 114
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (302 KB) | HTML iconHTML

    Software reuse has received considerable attention as a technique for aiding software designers. One mechanism for increasing the efficiency of reuse is component adaptation, particularly when designing large and intricate systems. Component adaptation composes reusable components in an architecture to produce a new system. Specification slicing is a method for decomposing complicated systems into... View full abstract»

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

    Publication Year: 2003, Page(s):261 - 267
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (275 KB) | HTML iconHTML

    People and organizations are significantly affected by the computer systems they use. When people procure or build systems they hope the effect will be positive, but the result has been negative in a large number of cases, such as the well-documented London and Melbourne Ambulance Systems. LAS and MAS were not capable of performing their prime function because the system was not designed to proper... View full abstract»

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