By Topic

Software Engineering and Advanced Applications, 2006. SEAA '06. 32nd EUROMICRO Conference on

Date Aug. 29 2006-Sept. 1 2006

Filter Results

Displaying Results 1 - 25 of 68
  • 32nd EUROMICRO Conference on Software Engineering and Advanced Applications - Cover

    Publication Year: 2006 , Page(s): c1
    Save to Project icon | Request Permissions | PDF file iconPDF (245 KB)  
    Freely Available from IEEE
  • 32nd EUROMICRO Conference on Software Engineering and Advanced Applications - Title

    Publication Year: 2006 , Page(s): i - iii
    Save to Project icon | Request Permissions | PDF file iconPDF (39 KB)  
    Freely Available from IEEE
  • 32nd EUROMICRO Conference on Software Engineering and Advanced Applications - Copyright

    Publication Year: 2006 , Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (47 KB)  
    Freely Available from IEEE
  • 32nd EUROMICRO Conference on Software Engineering and Advanced Applications - TOC

    Publication Year: 2006 , Page(s): v - ix
    Save to Project icon | Request Permissions | PDF file iconPDF (102 KB)  
    Freely Available from IEEE
  • Message from the Conference Chairs

    Publication Year: 2006 , Page(s): x
    Save to Project icon | Request Permissions | PDF file iconPDF (110 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message from the Track Chair CBSE

    Publication Year: 2006 , Page(s): xi - xii
    Save to Project icon | Request Permissions | PDF file iconPDF (101 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message from the Track Chairs SPPI

    Publication Year: 2006 , Page(s): xiii
    Save to Project icon | Request Permissions | PDF file iconPDF (73 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message fromt he Track Chairs MMTC

    Publication Year: 2006 , Page(s): xv
    Save to Project icon | Request Permissions | PDF file iconPDF (32 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Message from the NGWC Special Session Chair

    Publication Year: 2006 , Page(s): xvii
    Save to Project icon | Request Permissions | PDF file iconPDF (80 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Moving Architectural Description from Under the Technology Lamppost

    Publication Year: 2006 , Page(s): 2 - 3
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (80 KB) |  | HTML iconHTML  

    Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, the author co-authored an extensive study of existing ADLs, which has served as a useful reference to software architecture researchers and practitioners. However, the field of software architecture and our understanding of it have undergone a number of changes in the past several years. In particular, the Unified Modeling Language (UML) has gained a lot of popularity and wide adoption, and as a result many of the ADLs the author had studied have been pushed into obscurity. In this paper, the author argues that the main reason behind this is that the early ADLs focused almost exclusively on the technological aspects of architecture, and mostly ignored the application domain and business contexts within which software systems, and development organizations, exist. Together, these three concerns - technology, domain, and business -constitute the three "lampposts " needed to appropriately "illuminate" software architecture and architectural description. The author use this new framework to evaluate both the languages from my original study, as well as several more recent ADLs (including UML 2.0) View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SPI - A Role for Method Engineering

    Publication Year: 2006 , Page(s): 4 - 5
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (101 KB) |  | HTML iconHTML  

    This paper covers both the theory of situational method engineering and its application in terms of two industry case studies carried out over the last 5 years in Sydney, Australia in helping organizations to create agile and flexible methodologies, capable of maturing and improving over the years View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dependable Communication - Vision or Illusion?

    Publication Year: 2006 , Page(s): 6 - 7
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (84 KB) |  | HTML iconHTML  

    With the emergence of the Internet, computer based communication has become an integral and vital part of our daily lives. The push towards converged solutions like NGN (next generation network), "triple play" or IMS, as well as new ways of providing services, e.g. Web services and grid concepts, will further increase our dependency on this basic communication infrastructure. Although the Internet was designed for "survivability" in the first place, it is not really well prepared to cope with the current and future challenges. While we have learned reasonably well to react to "random" disturbances, our systems and networks are still highly vulnerable to targeted attacks. Therefore, network security will become even more crucial in the future and new ideas for the efficient protection of critical resources - in the infrastructure or attached to it - are definitely needed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Composing Components in Design Phase using Exogenous Connectors

    Publication Year: 2006 , Page(s): 12 - 19
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (164 KB) |  | HTML iconHTML  

    Composition can take place during different stages of component life cycle. We identify two main stages: design phase - components are composed into composite components for reuse; deployment phase - components are compiled and the resulting binaries are assembled into executable systems. Ideally, the design phase composition should maximise component reuse. However, this ideal is not realised in current component-based development because they can not reuse composite components in design phase. In this paper, we propose a novel approach for composing components in design phase using exogenous connectors. In contrast to existing composition approaches, our approach allows composite components built in design phase to be further reusable in both design and deployment phases so as to achieve both component reuse and design flexibility. We demonstrate the feasibility of our approach in an industrial-strength case study - automatic train protection system, and compare them with the closely-related existing composition approaches View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Component-Based Framework for Distributed Control Systems

    Publication Year: 2006 , Page(s): 20 - 27
    Cited by:  Papers (10)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (253 KB) |  | HTML iconHTML  

    The paper presents a two-level software framework for distributed embedded applications. At the top level, an application is conceived as a composition of embedded actors that communicate transparently by exchanging labeled messages (signals), independent of their allocation onto network nodes. Signals are exchanged at precisely specified time instants, in accordance with the concept of distributed timed multitasking (DTM). The combination of actors, signal-based communication and DTM provides a framework for the development of open yet predictable embedded systems. At the lower level of specification, actors are modeled as software objects that are configured from executable components - basic, composite and modal function blocks, as well as supervisory state machines. Actor behaviour is specified with a hybrid executable model - a clocked event-driven state machine operating in conjunction with modal function blocks, which can be used to implement a broad range of applications such as sequential, continuous and hybrid control systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Software Component Quality Model: A Preliminary Evaluation

    Publication Year: 2006 , Page(s): 28 - 37
    Cited by:  Papers (5)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (136 KB) |  | HTML iconHTML  

    Component-based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and shorter life cycles acts as a motivation for this expansion. However, several technical issues remain unsolved before software component's industry reaches the maturity exhibited by other component industries. Problems such as the component selection by their integrators and the uncertain quality of third-party developed components, bring new challenges to the software engineering community. By the other hand, the software components certification area is still immature and further research is needed in order to obtain well-defined standards for certification. In this way, we aim to propose a component quality model, describing consistent and well-defined characteristics, quality attributes and related metrics for the components evaluation. A preliminary evaluation to analyze the results of using the component quality model proposed is also presented View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Practical Verification of Component Substitutability Using Subtype Relation

    Publication Year: 2006 , Page(s): 38 - 45
    Cited by:  Papers (11)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (154 KB) |  | HTML iconHTML  

    The flexibility which components provide for assembling applications makes them an appealing solution to many engineering problems. Its darker side is the need to exercise much greater care when replacing and upgrading components within deployed applications, to ensure their stability. Formally strong methods for substitutability checks are therefore desirable but so far, not many are practically used. This paper presents a method of checking component substitutability based on subtyping relation. It uses a representation of the subtype evaluation on different levels of the component type structure, and makes it possible to perform the checks simply by comparing this representation. Two usage scenarios are described, as well as experiences from a prototype implementation for mainstream platforms View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semantic Annotation of Software Components

    Publication Year: 2006 , Page(s): 46 - 53
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (169 KB) |  | HTML iconHTML  

    The aim of this contribution is to present concepts and to propose techniques and a methodical support for automated software composition using "rich" semantic descriptions of components and services which we call annotations. Our approach is based upon a component description reference model for which both, semantic description patterns and inference mechanisms are defined. They offer variability in expressiveness, reasoning power and the required analysis depth for the identification of component properties and qualities. The approach comprises two major concepts - logic-on-demand and the triple semantic model. They both turn out to be essential for the entire modelling process and, in particular for the automated reasoning techniques based on semantic annotations View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-typed Component Interfaces

    Publication Year: 2006 , Page(s): 54 - 63
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (163 KB) |  | HTML iconHTML  

    Component based software engineering (CBSE) allows to design and develop reusable software components that can be assembled to construct software systems via well defined interfaces. However, designing such reusable components for data intensive business logic often requires heavy data transfer between components over interfaces. Static interface definitions using basic data types or structures of such lead to large interfaces susceptible to modifications. The goal of this paper is to present model-typed interfaces based on generic interface parameters, which allows to transfer complex structured data between components. Providing such generic, model-defined types with data models specifying the parameter structure supports compatibility checks of model-typed interfaces at assembly time. The methodology is described platform independently and the coherency with our system development process is discussed. Moreover, a technology mapping to IDL and the CORBA component model (CCM) is illustrated View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient Performance Models in Component-Based Software Engineering

    Publication Year: 2006 , Page(s): 64 - 71
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (208 KB) |  | HTML iconHTML  

    Performance evaluation of component-based software systems should be performed as early as possible during the software development life cycle. Unfortunately, a detailed quantitative analysis is often not possible during such stages, as only the system outline is available, with very little quantitative knowledge. In this paper we propose an approach based on queueing network analysis for performance evaluation of component-based software systems at the software architectural level. Our approach provides performance bounds which can be efficiently computed. Starting from annotated UML diagrams we compute bounds on the system throughput and response time without explicitly deriving or solving the underlying multichain and multiclass queueing network model. We illustrate with an example how the technique can be applied to answer many performance-related questions which may arise during the software design phase View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Method for Component-Based Software and System Development

    Publication Year: 2006 , Page(s): 72 - 80
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (331 KB) |  | HTML iconHTML  

    We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method uses existing notations and languages with their associated tools: context diagrams for analyzing and structuring the problem, composite structure diagrams for describing the overall system in terms of components and interfaces, sequence diagrams to describe the behavior of each component, and the formal method B for specifying the interfaces of the different components and for proving their interoperability. Interoperability is proven using the B method with its underlying concept of refinement, and its powerful tool support, the B prover View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compositional Performance Analysis of Component-Based Systems on Heterogeneous Multiprocessor Platforms

    Publication Year: 2006 , Page(s): 81 - 91
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (700 KB) |  | HTML iconHTML  

    This paper presents a compositional performance analysis technique, enabling predictable deployment of software components on heterogeneous multiprocessor architectures. This analysis technique introduces (a) composable software and hardware component models representing abstract specification of the component behaviour and corresponding resources, (b) operational semantics enabling composition of the models into an executable system model, and (c) simulation-based analysis of the obtained executable model resulting in predicted performance attributes. Example attributes are response time, throughput, utilization of processors, memory and communication lines. Special attention is paid to modeling of both passive and active components exploiting synchronous method invocation and asynchronous message passing interaction. We made an experimental validation of the above framework for two case studies: an MPEG-4 decoder and a car navigation system. It was found that the prediction error on task latencies and processor usage was within 10% View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-Time Modelling of Distributed Component-Based Applications

    Publication Year: 2006 , Page(s): 92 - 99
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (263 KB) |  | HTML iconHTML  

    This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of the platform resources and software components, which are reusable and independent of the applications that use them. The proposed methodology satisfies the completeness, opacity and composability properties, required to ensure that the complete real-time model of an application, able to predict its temporal behaviour by schedulability analysis or simulation, may be assembled by composition of the real-time models of its constituent parts. These real-time models present a dual descriptor/instance based nature. A class of component, independent of any application, is modelled as a parameterized class-type descriptor, which describes its inherent temporal behaviour and includes references to the real-time models of other hardware/software modules that it requires. An instance of the component in a concrete application context is modelled by an instance-type model, which is generated by assigning concrete values to the parameters and unsolved references of its corresponding descriptor. Instances are formed and combined by automatic tools to build complete analysis models for each specific real-time situation View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture and Performance of XML-Based Componentization of the Symbian Smartphone Platform

    Publication Year: 2006 , Page(s): 100 - 107
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (594 KB) |  | HTML iconHTML  

    Service-oriented architecture (SOA) is common in enterprise back-ends and is finding its way to mainstream desktop systems. SOA is traditionally built on top of an existing component infrastructure. This paper investigates how a similar architecture can be realized in mobile devices based on the Symbian operating system; in an environment that does not have a fully-fledged component infrastructure. The proposed middleware merges the service-oriented and component layers into a single architectural layer. The paper introduces details of this design, implementation and investigates its implications on overall performance View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A UML Profile and a Methodology for Real-Time Systems Design

    Publication Year: 2006 , Page(s): 108 - 117
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (216 KB) |  | HTML iconHTML  

    Modern real-time systems are increasingly complex and pervasive. Model driven engineering (MDE) is the emerging approach for the design of complex systems, strongly based on the usage of abstract models as key artifacts, from which an implementation is derived through a series of well-defined (automated) transformations. The widely adopted input notation in MDE is the Unified Modeling Language (UML). To express models in a particular domain, and notably for the modeling of real-time embedded systems, UML profiles have been proposed, which enrich the set of UML native elements with a consistent set of extensions. In this trend, this paper develops an approach to the design of realtime systems, based on a UML profile which is obtained from the OMG standard SPT-Profile, with a few necessary modifications View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-adjusting Component-Based Fault Management

    Publication Year: 2006 , Page(s): 118 - 125
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (301 KB) |  | HTML iconHTML  

    The Trust4All project aims to define an open, component-based framework for the middleware layer in high-volume embedded appliances that enables robust and reliable operation, upgrading and extension. To improve availability of each individual application in a Trust4All system, we propose a runtime configurable fault management mechanism (FMM) which detects deviations from given service specifications by intercepting interface calls. There are two novel contributions associated with FMM. First, when repair is necessary, FMM picks a repair action that incurs the best tradeoff between the success rate and the cost of repair. Second, considering that it is rather difficult to obtain sufficient information about third party components during their early stage of usage, FMM is designed to be able to accumulate appropriate knowledge, e.g. the success rate of a specific repair action in the past and rules that can avoid a specific failure, and self-adjust its capability accordingly View full abstract»

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