By Topic

Software, IET

Issue 4 • Date August 2009

Filter Results

Displaying Results 1 - 6 of 6
  • Automatic vehicle location tracking system based on GIS environment

    Page(s): 255 - 263
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (973 KB)  

    Recently, automatic vehicle location (AVL) has become more widely used, affordable and popular than ever before. AVL is used for different tracking purposes, especially for those related to tracking one vehicle or a fleet of vehicles. Tracking system technology was made possible by the integration of three new technologies: navigational technologies such as global positioning system (GPS), database technologies such as geographic information system (GIS) and communication technology such as general packet radio service (GPRS). The proposed software design dasiatracking systemdasia is used to pinpoint the position, ground speed and fuel level of a given vehicle. This improves fleet management by making it secure and more efficient. The system has the ability to detect the optimal path between source and destination, depending on many factors such as travel time, jam, topography and number of traffic lights. The authors applied greedy techniques (GT) such as Dijkstradasias and Kruskaldasias algorithms to a graph weight depending on the proposed cost function (CF). The geofencing technique is applied to the system based on real coordinates and grants security and safety to the fleet of vehicles. The designed software offers more flexibility in loading digital maps. This proposed software has the ability to visualise the real position of vehicles on maps and to take decisions according to real-time information. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Contextual paradigm for ad hoc retrieval of user-centric web data

    Page(s): 264 - 275
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (296 KB)  

    The choice of the term-weighting technique and the combination of term weights during retrieval is an important aspect of the Web information retrieval (WebIR) system. At their heart, most WebIR models utilise some form of term frequency-based term-weighting technique. The notion is that the more often a query term occurs in a document, the more likely it is that the document meets an information need. We examine an alternative. We propose a model, which assesses the presence of a term in a document not by looking at the actual occurrence of that term, but by a set of non-independent supporting terms, that is context. We expound contextual proximity model (CPM), a novel context-based paradigm, which when used as a part of the Web retrieval process, will improve retrieval effectiveness in response to a given multi-term input query. This work is concerned with a non-iterative retrieval process, that is one without query refinement or relevance feedback. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards automated verification of layered graph transformation specifications

    Page(s): 276 - 291
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (1004 KB)  

    Graph transformation systems have recently become more and more popular as a general formal modelling language. It is a suitable formalism for modelling different systems like distributed and complex systems. However, modelling must be complemented with proper analysis capabilities to let the user understand how designed models behave and whether stated requirements are fulfilled and model checking has proven to be a viable solution for this purpose. The authors propose an efficient solution for model checking attributed typed and layered graph transformation systems. Layered graph transformation systems are a powerful formalism to formally model different systems like hierarchical systems. In our proposal, AGG layered graph transformation specifications are translated to Bandera intermediate representation (BIR) - the input language of a Bogor model checker - and then Bogor verifies the model against some interesting properties defined by combining LTL (linear temporal logic) and special graph rules. The experimental results are encouraging and show that in most cases our proposal improves existing approaches, in terms of both performance and expressiveness. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Approach for solving the feature location problem by measuring the component modification impact

    Page(s): 292 - 311
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (373 KB)  

    Maintaining a large software system is an inherently difficult task that often involves locating and comprehending system features prior to performing the actual maintenance task at hand. Feature location techniques were introduced to locate the source code components implementing specific software features. Common to these approaches is that they rely either on exercising several features of a system, and/or domain experts to guide the feature location process. In this study, the authors present a novel hybrid feature location approach that combines static and dynamic analysis techniques. Our approach uses a component dependency graph of the system to provide a ranking of the components according to their feature relevance. The ranking itself is based on the impact of a component modification on the remaining parts of a system. Our approach can almost be completely automated without requiring an extensive knowledge of the system. A case study performed on two open source projects is presented to evaluate the applicability and effectiveness of our approach. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal specification and validation of railway network components using Z notation

    Page(s): 312 - 320
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (765 KB)  

    The railway interlocking system, being a safety-critical system, has achieved importance in the railway industry. Advanced technologies are being applied for its modelling, preventing collision and derailing of trains and at the same time allowing efficient movement of trains. In this study, we have applied Z notation by constructing a specification of the critical components of moving block interlocking. Graphs are used for modelling static components and are then integrated with Z to describe its entire state space. At first a real topology is transferred to a model topology in graph theory and then the critical components of the railway network, for example, tracks, switches, crossings and level crossing, are formalised. These components are integrated to define the static part of the system and then dynamic components, the state space of the static part, trains and controls, are integrated to describe the complete system. Formal specification of the system is given using Z and the model is analysed and validated using Z/EVES tool. View full abstract»

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

    Page(s): 321 - 336
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (588 KB)  

    Legacy systems often contain several crosscutting concerns that could potentially benefit from an aspect-oriented programming implementation. In this paper, we focus on the problem of aspect identification in existing code. The main idea is that use-cases can be defined in order to separate the base logics from the crosscutting concerns to be aspectised. The relationship between the execution traces associated with the use-cases and the executed computational units (class methods) is analysed through concept analysis. The results obtained on some case studies are discussed in the paper. View full abstract»

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

Aims & Scope

IET Software publishes papers on all aspects of the software lifecycle, including design, development, implementation and maintenance.

Full Aims & Scope

Meet Our Editors

Publisher
IET Research Journals
iet_sen@theiet.org