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.
Natural language safety requirements in industrial standards pose risks for ambiguities which need to be resolved by the system manufacturer in concertation with the certificate authority. This is especially challenging for small and medium-sized enterprises (SME). In this paper we report on our experiences with applying traditional requirements engineering techniques, formal methods, and visual narratives...
A new multi-core DSP board is available for university and industry engineers. The LogicPD Zoom™ OMAP-L138 eXperimenter Kit, featuring Texas Instruments' dual core SoC (ARM9 and a C6748 VLIW DSP) provides a much more capable and affordable development system for real-time DSP. While this new board includes several improvements over the TMS320C6713 DSK, the host computer-to-board communication methods...
Aiming at the diversities and decentralization of dyeing equipments in batch dyeing enterprises, a new type of supervising and controlling (S&C) system for batch dyeing process based on multi-agent is introduced in this paper to achieve the acquisition of machine status data and downloading of process parameters. Dyeing machines are interconnected through Field bus or industrial Ethernet to form...
Requirement Elicitation is a crucial part of Requirement Engineering. Using an appropriate method can help in producing a consistent and complete set of requirements with reduced cost and time. This paper introduces ways and guidelines for selecting requirement elicitation techniques. Different elicitation techniques are analyzed in the light of different project settings. Guidelines for selecting...
In global software projects work takes place over long distances, meaning that communication will often involve distant cultures with different languages and communication styles that, in turn, exacerbate communication problems. However, being aware of cultural distance is not sufficient to overcome many of the barriers that language differences bring in the way of global project success. In this...
Pac-Man was developed in the 1980s, becoming one of the most popular arcade games of its time. It still has a significant following today and has recently attracted the attention of artificial intelligence researchers, in part, due to the fact that the agent must react in real time in order to navigate its way through the maze. This paper forms an entry to the 2010 IEEE Conference on Computational...
Recently, one of the main emerging issues in the robotics area is the robotics middleware. We are developing robotics middleware for intelligent mobile robots. In this paper, we provide our architecture model and component interfaces. Our software architecture is concentrated on the intelligent services. Among many research issues in the robotics middleware, component model is an important factor...
Wireless and pervasive applications typically present critical requirements from the point of view of functional correctness, reliability, availability, security and safety. In contrast to the case of classic safety critical applications, the behavior of such applications is affected by the movements and location of users and resources. This paper presents some formal tools that enable designers to...
A real-time monitoring system for monitoring the production of infusion solutions in a pharmaceutical plant is introduced. The main features of the system are its ability to stratify the measuring data into numerous dimensions, focus on visual presentation of the quality related information, such as the input volume of distilled water and their temperature. The realinfo configuration software based...
Worldwide, higher education instructors are exploring ways of enhancing classroom learning experiences with their Tablet PC-equipped students. To collect real-time formative assessment, instructors pose an open-format question to the class and the students utilize the digital ink of Tablet PCs to respond with answers in the form of handwriting, diagrams, graphs, equations, proofs, etc. Instructors...
Service-oriented machining powered with industrial product service systems in workshop level is a quite new research topic. To clarify its real mechanism hidden, three phenomena of running the service-oriented machining are firstly analyzed. And then a conceptual architecture to implement a service-oriented manufacturing system which uses the service-oriented machining is put forward.
We proposed a fully-software distributed failure diagnosis system for vehicles based on the TH-OSEK real-time embedded OS platform we previously developed. The diagnosis system puts all the ECUs into a virtual logical ring and uses the MR(Maintain Ring) algorithm and OL(Off Line) algorithm to detect a faulted ECU and isolate it without destroying the structure of the logical ring. When a faulted ECU...
In 3D computer graphics, it has been an important issue to describe a virtual object realistically and show it in a physically correct manner. Unlike the virtual reality(VR), the augmented reality (AR) is an environment containing virtual and real objects simultaneously. However, the difference in motion between the virtual and real objects is obvious, which makes it hard for AR to be realistic and...
The purpose of TAFT fault tolerance studies conducted at CNES is to prepare the space community for the significant evolution linked to the usage of COTS components for developing spacecraft supercomputers. CNES has patented the DMT and DT2 fault-tolerant architectures with 'light' features. The development of a DMT/DT2 testbench based on a PowerPC7448 microprocessor from e2v is presented in this...
The paper addresses the problem of creating a comprehensive fault injection environment, which integrates and improves various simulation and supplementary functions. This is illustrated with experimental results.
This paper presents a self-testing framework targeting the LEON3 embedded microprocessor with built-in test-scheduling features. The proposed design exploits existing post production test sets, designed for software-based testing of embedded microprocessors. The framework also includes a constraint-based approach of test-routine scheduling. The initial results show that the test execution time could...
This paper presents an eye-gaze tracking system based on the image processing. All the computations are performed in software and the system just needs a PC camera attached to the user's computer. We first extract the facial regions form the images using the skin-color model and connected-component analysis. Then the eye regions are detected by employing the rules and area segmentation. After the...
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.