By Topic

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

Date 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
  • Autonomic Computing - a means of achieving dependability?

    Publication Year: 2003, Page(s):247 - 251
    Cited by:  Papers (45)  |  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.
  • 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.
  • 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.
  • Multigranular simulation of heterogeneous embedded systems

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

    Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more widely used. To facilitate rapid design and development of such heterogeneous hardware/software systems, it is essential to expand the software design cycle to integrate hardware modeling and simulation. Co-simulation an... 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.
  • Model checking and evidence exploration

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

    We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker when attempting to verify a system specification for a temporal-logic property. Due to the sheer size of such evidence, single-step traversal is prohibitive and smarter exploration methods are required. Evidence exploratio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Details of formalized relations in feature models using OCL

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

    System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging to the core of the family and assets belonging to variable parts, feature modeling is a widely used concept. Consistency checking in feature models is not yet addressed appropriately by current methods. The paper gives a ... 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.
  • A slicing approach for parallel component adaptation

    Publication Year: 2003, Page(s):108 - 114
    Cited by:  Papers (3)
    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.
  • 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.
  • 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.
  • 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.
  • Consistency in model-based development

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

    Development of complex software systems demands techniques to reduce the complexity of descriptions of such systems, both by using different views and different levels of detail. Such abstractions, however introduce possible sources of inconsistency. In a model-based approach, this problem can be tackled methodically using variant and invariant conceptual as well as semantical consistency conditio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FMC: an approach towards architecture-centric system development

    Publication Year: 2003, Page(s):173 - 182
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (331 KB) | HTML iconHTML

    The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of large system development efforts as it reduces the amount of uncertainty among the involved stakeholders. This paper presents a systematic approach called FMC (Fundamental Modeling Concepts) to describe the conceptual arc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic systems development: towards continuity, growth and evolution

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

    The dynamic nature of knowledge and software evolution and usage present a pervasive challenge to system developers. Discrete attempts to create such systems often lead to a mismatch between system, expectation and a changing reality. The rationale for a dynamic feedback model stems from the need to focus on a continuous and long-term perspective of development and growth in change-intensive envir... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending UML from software to systems engineering

    Publication Year: 2003, Page(s):271 - 273
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 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.
  • Domain model translation using graph transformations

    Publication Year: 2003, Page(s):159 - 168
    Cited by:  Papers (8)  |  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.
  • 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.
  • Using π-calculus to formalize UML activity diagram for business process modeling

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

    UML has become the de facto standard for object-oriented software development. It provides rich notations for representing and analyzing architecture and behaviors of systems. Among these notations, the UML activity diagram is well-known for describing a system's dynamic behaviors. One of its main purposes is to model software processes and business processes, and represent control flows among act... 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.
  • Modeling and generation tools for large-scale, real-time embedded systems

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

    High energy physics experiments require very large, real-time computation. Furthermore, the computers that implement on-line processing must be very reliable, due to the large cost of operating the facilities and the potential for loss of irreplaceable data. Standard, redundant fault tolerance approaches are not appropriate due to system costs (Fault handling is limited to 10% overhead). Adaptive,... 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.
  • 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.