24647482
En-route Security Monitoring Based on an Incident Detection Algorithm for Commercial Vehicles
This paper presents the development of a real-time system for monitoring the security of commercial vehicles in road networks. Embedded in the security monitoring system is a commercial vehicle tracking and incident detection algorithm which relies on a combination of vehicle telemetry data obtained from Global Positioning Systems and on-board sensors to continuously monitor the route choice and car-following behavior of the driver. The performance of this algorithm has been tested in a microscopic simulation model, on a set of hypothetical scenarios, which included deviations from the approved routes, forced to travel at unreasonably low speeds, or even stopped at unexpected places in the network. The initial results indicate that the proposed system has good potential in detecting abnormal driving behaviors, with 100% detection rate, 6.0 seconds of mean detection time, and less than 0.5% false alarm rate.
10958697
PDPTW Based Taxi Dispatch Modeling for Booking Service
This research involves a study of the existing taxi dispatch system employed by taxi operators in Singapore. Based on the booking surcharges, there are generally two categories of taxi bookings, current and advance. Current bookings are requests that taxi should reach the customer immediately or within half an hour, and advance bookings are requests made at least half an hour in advance. In this paper, a novel trip-chaining strategy for taxi advance booking based on a customized algorithm of Pickup and Delivery Problem with Time Window (PDPTW) was proposed. The idea is to chain several bookings with demand time points which are spread out within a reasonable period of time, and with each pick-up point coinciding with or being within close proximity to the previous drop-off location. Based on the experimental results, the proposed system has the potential to improve the taxi booking service currently operating in Singapore.
206892695
A new dependable exchange protocol
As electronic transaction becomes common practice in real-world business, its dependability develops into a major concern, especially in critical transactions, e.g., electronic payment and electronic contract signing. Many recent fair-exchange protocols can recover the transaction from network failures; however, few can survive local system failures. In this paper, we propose a new Dependable Exchange Protocol. With proper convertible signature scheme and message logging method, the exchange protocol provides a recovery method for network and local system failures. To the best of our knowledge, this protocol is the first fault-tolerant exchange protocol in the context of offline TTP and asynchronous channels.
1622406
Structure Analysis and SNR-Variance Evolution for Parallel Concatenated Coded IDMA Systems
This paper is concerned with parallel concatenated coded interleave-division multiple-access (IDMA) systems. We briefly present the transmitter/receiver structure of these systems and propose an efficient SNR-variance evolution scheme for bit-error-rate (BER) performance evaluation. The proposed evolution scheme is also useful for system performance optimization. Numerical results show that the BER performance curves obtained by simulation and evolution are quite close when the data length is long enough.
18986616
Verifying Real-Time Systems using Explicit-time Description Methods
Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On the other hand, Explicit-Time Description Methods aim to verify real-time systems with general untimed model checkers. Lamport presented an explicit-time description method using a clock-ticking process (Tick) to simulate the passage of time together with a group of global variables for time requirements. This paper proposes a new explicit-time description method with no reliance on global variables. Instead, it uses rendezvous synchronization steps between the Tick process and each system process to simulate time. This new method achieves better modularity and facilitates usage of more complex timing constraints. The two explicit-time description methods are implemented in DIVINE, a well-known distributed-memory model checker. Preliminary experiment results show that our new method, with better modularity, is comparable to Lamport's method with respect to time and memory efficiency.
16326025
Research on Positioning Technology of Xinjiang Mobile GIS
In this paper, the characteristics of Xinjiang mobile communication network are analyzed, the results show that for a reliable mobile communication network, BS (base station) and base station control BSC (base station controller) monitoring system, cable and fiber optic cable monitoring system and mobile communications troubleshooting and dispatching system should be built. Combined with GIS, GPS, GSM and geographic database technology, positioning technology for different targets and detection on fault point are studied, the results indicate that precise positioning of static target can accurately locate the failure telecom equipment in the electronic map and provide data source for the realization of real-time monitoring and management system for telecom equipment based on GIS & wireless sensor network technology. GSM-based wireless messaging communications and real-time fast positioning of dynamic target is the key to the emergency repair vehicles monitoring and dispatch system. The proposed fault determination and fault point location method can provide fast accurately fault devices location with detailed geography information and prompt the efficiency of fault management and improve the reliability of telecom network services. The above research results are important basis on the design and implementation of the system.
6984424
Ontology-based security assessment for software products
This paper proposes an ontology-based approach to analyzing and assessing the security posture for software products. It provides measurements of trust for a software product based on its security requirements and evidence of assurance, which are retrieved from an ontology built for vulnerability management. Our approach differentiates with the previous work in the following aspects: (1) It is a holistic approach emphasizing that the system assurance cannot be determined or explained by its component assurance alone. Instead, the software system as a whole determines its assurance level. (2) Our approach is based on widely accepted standards such as CVSS, CVE, CWE, CPE, and CAPEC. Our ontology integrated these standards seamlessly thus provides a solid foundation for security assessment. (3) Automated tools have been built to support our approach, delivering the environmental scores for software products.