The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Vehicle Health Management Systems (VHMS) are used throughout commercial, military, and aerospace platforms to assess the current operational status of individual assets and entire fleets. One of the most common functions within most VHMS implementations is the collection and reporting of fault conditions and trouble codes. The management of this fault data, particularly its representation to a user,...
Smartphones and tablets have established themselves as mainstays in the modern computing landscape. It is conceivable that in the near future such devices may supplant laptops and desktops, becoming many users primary means of carrying out typical computer assisted tasks. In turn, this means that mobile applications will continue on a trajectory to becoming more complex, and the primary focus of millions...
A Human Machine Interface (HMI) is software that presents information to a client regarding the state of a process, accept commands and execute the operators control directions. Usually in HMI, information is displayed in lifelike format or graphical user interface. As HMI is the need of hour in automobile industry, new vehicles are designed with more sophisticated safety features and driver vehicle...
Buffer overflow is one of the most common types of software vulnerabilities. Various static analysis and dynamic testing techniques have been proposed to detect buffer overflow vulnerabilities. With automatic tool support, static buffer overflow detection technique has been widely used in academia and industry. However, it tends to report too many false positives fundamentally due to the lack of software...
Automatic Program Repair (APR) is an emerging and rapidly growing research area, with many techniques proposed to repair defective software. One notable state-of-the-art line of APR approaches is known as semantics-based techniques, e.g., Angelix, which extract semantics constraints, i.e., specifications, via symbolic execution and test suites, and then generate repairs conforming to these constraints...
Modern car engine has a control unit that serves to control all aspects of the car known as the Engine Control Unit (ECU). The control unit was developed by the manufacturer to assist in optimizing engine performance, and has proven to be very useful Unfortunately, the existence of ECU means independent repair shops can't do engine repair and maintenance without help from manufacturer. This paper...
Transformational code generation is at the core of generative software development. It advocates the modeling of common and variable features in software-system families with domain-specific languages, and the specification of transformation compositions for successively refining the abstract domain models towards eventually enriching them with execution semantics. Thus, using code-generation environments,...
We propose to use Artificial Intelligence techniques to monitor and control complex processing chains of software components. We consider software systems that run in an evolving environment and thus may require adaptation at run time. Our approach relies on knowledge representations of both structural and dynamic aspects of components and processing chains. The paper concentrates more precisely on...
Software Health Management (SWHM) is a new field that is concerned with the development of tools and technologies to enable automated detection, diagnosis, prediction, and mitigation of adverse events due to software anomalies. Significant effort has been expended in the last several decades in the development of verification and validation (\VV) methods for software intensive systems, but it is becoming...
The key to successful adoption of SOA is not only reusability but also the ease with which services can be developed, deployed and maintained in a service providing environment. One key guiding principles of SOA is implementation abstraction, that fosters complete encapsulation of implementations, exposing only the primitives as interaction points with the service. Granularity of service abstractions...
According to the requirements of the World Maritime Organization STCW Convention, the training of seamen for practical operation was strengthened. Access with VISUAL BASIC and database technology, we developed a simulation system for Engineers' Automatic Engine Room Control training. In the teaching process, teachers use pictures, animation-based video and multimedia PPT presentations as the main...
The V-22 tiltrotor aircraft's primary tool for aircraft maintenance is the Comprehensive Automated Maintenance Environment - Optimized (CAMEO). CAMEO is a ground based system for aircraft download processing. Under the CAMEO umbrella are several tools with distinct functionality, linked together and sharing common data to support aircraft maintenance operations. This paper provides a general overview...
Games must be emergent, constantly surprising players by the possibilities they offer. However, emergence creates unpredictability, preventing developers from verifying that their games won't lead to undesirable states. Worse still, even when a bug is found, finding out how it occurred can be a significant challenge. The authors present Mayet, a system for monitoring software at runtime, and use it...
The operating status of the Electronic Speed Controller and the engine of the cannon needed to be evaluated and checked in ordinary maintenance, examination and repair. A useful fault diagnosis system for Electronic Speed Controller was designed by LabVIEW. The system was composed by magneto electric spin speed sensor, junction box, PWM driven module, PCI1802 multi-function card and Apolo530 industry...
The FermaT Maintenance Environment (FME) is a platform independent graphical user interface for the FermaT program transformation system. It is able to represent WSL code and apply FermaT transformations on single statements.
The often changing needs of users will certainly lead to many modifications of code. Due to lack of CASE tool on Linux platform, it is difficult to maintain and modify Linux application code. After analyzing current CASE tools, on basis of several technologies such as lexical analysis, visual development and persistent object, we design LACM (Linux Application Code Maintenance Tool): a lightweight...
Establishing comprehensive requirements for integrated diagnostics both onboard and off-board the aircraft is vital to providing a supportable weapon system. Each user group takes advantage of integrated diagnostics to fulfill their roles and responsibilities. Aircrew utilize Built-In-Test (BIT) to monitor the health of the aircraft for mission accomplishment; maintainers interpret diagnostic indications...
This paper addresses specific concerns in the problems existing in IT infrastructure and application systems in Chinese garment enterprises by introducing service management and IT Infrastructure Library (ITIL) into IT management in enterprises. Total Cost of Ownership (TCO) of IT departments in enterprises can be reduced and all business be carried out effectively and efficiently by reengineering...
Nowadays, small and medium enterprises (SMEs) are forced to compete on a global market and to make strategic decisions in short periods of time. In order to allow SMEs access to information technologies which can support their competition on a global scale, public administrations are fostering the setting up of digital districts. In this paper, we describe a distributed collaborative data mining platform,...
At Intelec 2002 a paper entitled "fresh air - natural asset" [1] presented BT's economic cooling approach to telecommunication equipment cooling and the developments that were being considered to increase the range of cooling products and lower the operational cost of these products. This paper outlines BT's continued approach to economic cooling of its telecommunication network equipment...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.