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.
Model-based testing of embedded real-time systems is challenging because platform-specific details are often abstracted away to make the models amenable to various analyses. Testing an implementation to expose non-conformance to such a model requires reconciling differences arising from these abstractions. Due to stateful behavior, naive comparisons of model and system behaviors often fail causing...
Korea Aerospace Research Institute launched Korea's multi-purpose satellite, Arirang-3, on May 18, 2013. Arirang-3 has been performing its mission successfully. A Launch Support Test Set (LSTS) was used for the setting of the final satellite launch configuration and to monitor satellite status under the harsh launch environment. The LSTS starts its function several hours before launch by supplying...
In this research, we present a development of a mobile robot platform integrated with off-the-shelf sensors and equipment for disaster response. Unlike the applications including research and education or military and civil defense forces, it is expected that the platform can be utilized for practical use with small initial budget and less effort for development. The platform offers an opportunity...
In this knowledge and information society, the recent opening up of networks led to ever increasing threat to the security of computer systems. To solve this problem, TC(Trusted Computing) is being researched and developed. TCG(Trusted Computing Group) proposed a trustworthiness platform based on a semiconductor chip called TPM(Trusted Platform Module), designed to improve security and data reliability...
A PLC can communicate through its inputs and output signals with the plant. The capabilities of PLCs have developed over the years, with reliability, performance, and operational. Developing monitoring in Automation Control System is a major industrial concern since those systems are more and more complex and involved in many safety critical application fields. The Automation system is being widely...
We introduce integrated parking management system (IPMS) based on wireless sensor network. The system was designed with the object of a large scale deployment in existing facilities, and has been actually deployed to monitor over 400 parking spaces. This paper describes the fundamentals of hardware and software design, and several efforts to facilitate a long-term operation and ease of management...
Fault-tolerant Ethernet (FTE) aims to keep data flowing in the network continuously even if there are faults in the network. This is an important requirement in mission critical systems that cannot afford for the network to go down even for a few seconds. In this paper we propose a novel approach for fault-tolerant Ethernet implementation. The proposed approach is a hybrid of conventional hardware...
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.