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
  • Details of formalized relations in feature models using OCL

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

    Publication Year: 2003, Page(s):287 - 296
    Cited by:  Papers (5)
    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.
  • Modeling and building reliable, re-useable software

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

    Agile software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specification and implementation processes can be unified, and much coding avoided as regards the behavioural aspects of the software. It shares much in common with agile methods, yet permits a significant degree of modeling to take... 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.
  • Systems engineering transitions into the 21st century

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

    Systems engineering examines the key elements that drive the overall system design and optimizes those elements for overall system performance, generally based on customer priorities. Systems engineering was developed and has been refined in the area of aircraft design. It has been applied to optimize the design of command, control, communications, computers, intelligence, surveillance and reconna... 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.
  • 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.
  • 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.
  • Towards model-based requirements engineering for Web-enabled B2B applications

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

    Requirements engineering is a discipline within software engineering where model based approaches are still not widespread. Generally requirements are regarded as less or more structured text fragments that are interpreted by stakeholders and developers, who manually manage the requirement interrelationships. We give an overview over the basic concepts of a model-based requirements engineering app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component behavior prediction and monitoring through built-in test

    Publication Year: 2003, Page(s):17 - 22
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (270 KB) | HTML iconHTML

    Real-time systems or safety-critical applications require high-confidence software components. Component behavior prediction refers to the ability to check, even certify, component specification conformance at development time. Complementarily, odd and varied execution contexts linked to the idea of deployment impose extra checking when components are deployed. This paper proposes incorporation of... 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.
  • 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.
  • 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.
  • 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.
  • Autonomic Computing - a means of achieving dependability?

    Publication Year: 2003, Page(s):247 - 251
    Cited by:  Papers (54)  |  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.
  • 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.
  • 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.
  • 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.
  • Aspect-oriented requirements engineering for software product lines

    Publication Year: 2003, Page(s):98 - 107
    Cited by:  Papers (10)
    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.
  • 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.
  • 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.
  • Trust, systems and accidents: designing complex systems

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

    Trust is easier to destroy than create, hence, trust in overly applied automation may erode following accidents. This paper looks at the crash of a revolutionary supersonic fighter that resulted from over-reliance on protection technology. The protection system has been automated to the extent that it was impossible for the pilot to regain control and convince the system that there was a problem. ... 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 (3)
    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.