Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems

14-16 April 2004

Filter Results

Displaying Results 1 - 25 of 35
  • Supporting rigorous evolution of UML models

    Publication Year: 2004, Page(s):128 - 137
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (318 KB) | HTML iconHTML

    The Mdel Driven Architecture (MDA) initiative formulated by the Object Management Group (OMG) is intended to support the development of software-intensive systems through the transformation of models to executable components and applications. Techniques and technologies that support rigorous definition of model transformations are required to realize the MDA vision. In this paper, we describe a te... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Relating π-calculus to Object-Z

    Publication Year: 2004, Page(s):97 - 106
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (397 KB) | HTML iconHTML

    Software systems have become increasingly distributed, dynamic and mobile. The complex state and dynamic interfaces of software components and their concurrent interactions provide challenging research issues in system specification and design. An effective combination of structured state-based formalism and dynamic action-based calculus may be a good solution for modeling complex distributed mobi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Robust on-line approximation control of uncertain nonlinear systems subject to constraints

    Publication Year: 2004, Page(s):66 - 74
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (654 KB) | HTML iconHTML

    A feedback control methodology is presented for online approximation based backstepping control of non-linear dynamical systems subject to magnitude, rate, and bandwidth constraints on the state and the actuators. The robustness issue with respect to functional approximation errors is addressed in a rigorous manner. The stability properties of the proposed design methodology are derived. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TTET: event-triggered channels on a time-triggered base

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

    This paper develops solutions for efficient transfer of sporadic (event-triggered) data over a time-triggered communication channel. We present novel and efficient techniques for composite provisioning of the event triggered (ET) and time triggered (TT) paradigms to achieve both the predictability and flexibility inherent in TT and ET systems respectively. As a tangible demonstration of the techni... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System for the production control and automatic packaging of plastic air sleeve guides

    Publication Year: 2004, Page(s):223 - 227
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (372 KB) | HTML iconHTML

    This paper describes the functioning of a manufacturing cell, in which several complex systems have been joined, such as: a robot, a computer vision system, and a lathe. To allow communication between these systems in an organised manner, diverse technologies have been used, varying from a field bus to the intranet of the company. The robot takes the role of master, coordinating the functioning of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using contexts to manage system complexity

    Publication Year: 2004, Page(s):149 - 158
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB) | HTML iconHTML

    Conventional approaches to most image understanding problems suffer from fragility when applied to natural environments, where the complexity in the environment becomes overwhelming. Complexity in intelligent systems can be managed by breaking the world into manageable contexts. GRAVA is a reflective architecture that supports self-adaptation and has been successfully applied to a number of visual... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a tool for derivation of implementation constraints

    Publication Year: 2004, Page(s):119 - 127
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (279 KB) | HTML iconHTML

    An increasing concern in the development of embedded systems is that fundamental design problems often remain undetected until the final tests, after implementation and integration of all components, or maybe even later - at runtime. This is particularly important when it comes to meeting nonfunctional constraints such as performance or resource utilization requirements. Correcting problems with t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements validation by lifting retrenchments in B

    Publication Year: 2004, Page(s):87 - 96
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (343 KB) | HTML iconHTML

    Simple retrenchment is briefly reviewed in the B specification language of J.-R. Abrial (1996) as a liberalization of classical refinement, for the formal description of application developments too demanding for refinement. The looser relationships allowed by retrenchment between adjacent models in the development process may capture some of the requirements information of the development. This c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated fault diagnostics on the grid

    Publication Year: 2004, Page(s):59 - 65
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (557 KB) | HTML iconHTML

    Model-based methods are commonly used for fault diagnosis. Many model-based fault diagnosis approaches have been proposed so far. But for modern complex processes, due to the variable nature of faults and model uncertainty, no single approach can diagnose all faults and meet different contradictory criteria. In this paper, the importance of integration of different fault diagnosis schemes in a com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dealing with complex networks of process interactions: a security measure

    Publication Year: 2004, Page(s):29 - 36
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB) | HTML iconHTML

    The majority of faults and consequent errors and failures in computer systems stem from the complexity of the system itself according to B. Schneier (2000). Yet complexity as a non-functional property is largely disregarded from initial development phases or at best is considered "manageable" by the process life cycle. Although at large the property is considered as having being conquered, valid s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Monitoring and optimizing industrial production processes

    Publication Year: 2004, Page(s):213 - 222
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (434 KB) | HTML iconHTML

    Manufacturing industries integrate different resources in their production pipelines: material, personnel, machine tools, robots, etc. The resource management has to optimize production costs by taking into account on-line changes. The purpose of OPTAMS (optimized all monitor system) is to integrate an on-line optimization tool with a resource management system and a control system. OPTAMS allows ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An investigation of the approach to specification-based program review through case studies

    Publication Year: 2004, Page(s):249 - 258
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (881 KB) | HTML iconHTML

    Software review is an effective means to enhance the quality of software systems. However, traditional review methods emphasize the importance of the way to organize reviews and rely on the quality of the reviewers' experience and personal skills. In this paper we propose a new approach to rigorously reviewing programs based on their formal specifications. The fundamental idea of the approach is t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Muse over university organisational ecology in action and service-oriented architectures

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

    This paper muses over two e-engineering projects, which use service-oriented architectures to navigate the complexities of e-engineering age. One of these projects is a Monash University Software Engineering (MUSE) portal, which has been developed to provide a central mechanism for group interaction, collaboration and knowledge aggregation to assist students in completing their final year capstone... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Independence transformations and tools for components

    Publication Year: 2004, Page(s):138 - 146
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (296 KB) | HTML iconHTML

    Although component independence is a common underlying assumption in most reliability composition models, relatively little work focuses on this area. Preliminary work, however, shows that continuation passing style (CPS) compliance is an essential property of independent components. We provide a set of transformations which can be used to convert components to functionally equivalent CPS complian... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A conceptual framework for state-based and event-based formal behavioural specification languages

    Publication Year: 2004, Page(s):107 - 116
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (313 KB) | HTML iconHTML

    We introduce a simple conceptual framework for assessing a number of well known formal specification techniques w.r.t. their ability to model state-oriented and/or event-oriented aspects of system behaviour. By attributing a-priori equal importance to the notions of event and state, by explicitly recognizing the two derived, fundamental ways of thinking about system behaviours, and by assessing th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal test-case generation for UML statecharts

    Publication Year: 2004, Page(s):75 - 84
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (485 KB) | HTML iconHTML

    The unified modelling language has been introduced as a notation for modelling and reasoning about large and complex systems, and their design, across a wide range of application domains. System modelling and analysis techniques, especially those based on formal methods, are more and more used for enhancing traditional system engineering techniques for improving system quality. In particular this ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enterprise information systems configuration: emphasizing the symbiotic relationship between applications and the underlying network

    Publication Year: 2004, Page(s):47 - 56
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (390 KB) | HTML iconHTML

    Enterprise information systems consist of interrelated intranet-based and Internet-based applications, thus the Web platform serves well as the middleware for their development. Even though, in many cases, discrete applications operate efficiently, the overall system performance is less than expected. A potential cause is that, configuration issues although interrelated are solved in isolation. Th... View full abstract»

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

    Publication Year: 2004, Page(s):231 - 238
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (357 KB) | HTML iconHTML

    NASA is studying advanced technologies for a future robotic exploration mission to the asteroid belt. This mission, the prospective ANTS (Autonomous Nano Technology Swarm) mission, will comprise of 1,000 autonomous robotic agents designed to cooperate in asteroid exploration. The emergent properties of swarm type missions make them powerful, but at the same time are more difficult to design and as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visualising object-oriented source code complexity using XML

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

    In this paper a tool is described which employs a variety of XML technologies to enable Java object oriented source code applications to be visualised. The tool utilises various complexity metrics which have been rendered visually using effective graphical metaphors. The evaluation of the tool in a commercial setting is described and the results of its use by several development teams are presente... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture driven modelling in software development

    Publication Year: 2004, Page(s):3 - 12
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (324 KB) | HTML iconHTML

    Technical systems of today often include large amounts of embedded software. Today, in general, embedded software offers various functionalities, is distributed over networks and structured into logical components that interact. To understand and develop software-intensive systems we need fundamental models of multi-functional software system combining services and composed of concurrently interac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling complex systems by separating application and security concerns

    Publication Year: 2004, Page(s):19 - 28
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (288 KB) | HTML iconHTML

    This paper describes how to model complex applications by modelling application requirements and designs separately from security requirements and designs using the UML notation. By careful separation of concerns, the security requirements are captured in security use cases and encapsulated in security objects separately from the application requirements and objects. The approach reduces system co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a microprocessor-based control system of a compression molding process

    Publication Year: 2004, Page(s):207 - 212
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (289 KB) | HTML iconHTML

    Today a microprocessor-based control system is a fundamental component in many of the industrial control and automation applications. In this paper is presented the design and implementation of a microprocessor-based computer system for the control and operation of a compression molding process system. The application circuit developed is a specific design of a low-cost embedded system. Simulation... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software information leaks: a complexity perspective

    Publication Year: 2004, Page(s):239 - 248
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB) | HTML iconHTML

    Software development can be thought of as the evolution of abstract requirements into a concrete software system. The evolution, achieved through a successive series of transformations, is inherently a complex process. The inherent complexities, that often make these transformations sub-optimal, are further aggravated by inefficient capture and usage of requisite information during transformation.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain visualization for dealing with complex information systems

    Publication Year: 2004, Page(s):171 - 180
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (399 KB) | HTML iconHTML

    Identifying, and successfully applying the right information system, requires an organisation to deal with a large number of heterogeneous issues, at a technical, organizational, and social level. Domain visualization is a key capability to allow the analysts and the stakeholders to navigate through the complexity of the solution space. In such a perspective, this paper introduces a goal-driven re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Web-based infrastructure for the management of semantic meta-data

    Publication Year: 2004, Page(s):181 - 190
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (330 KB) | HTML iconHTML

    Professional operators who deal with the cultural goods of Italy constantly face the problem of retrieving the needed information from heterogeneous sources. Such information has also to be combined and elaborated; this operation is made difficult by the heterogeneity of the data models and vocabularies employed at the different information sources. This paper illustrates the architecture of a Web... View full abstract»

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