Foundation of a Framework to Support Compliance Checking in Construction Industry
Computer use is pervasive in our daily life and the increasing demand for computer applications has penetrated into various domains. Construction industry has become one of domains which are more reliable on the application of computer to implement regulatory compliance checking. Like many safety critical domains, the construction domain has its own set of international building codes on construction projects which must comply with. With the increasing complexity of construction projects, many manual compliance checking techniques have shown some serious issues. First, the manual techniques are error-prone due to human errors. Second, the complexity of a construction project exceeds the human limit to deal with. Third, the evolution of a construction project is inevitable and the human maintenance of a construction project is almost impossible because either the memory of the original project design has faked away or some development team members are gone. So, it has become a new trend to employ computers to support automatic regulatory compliance checking in construction industry. In this paper, we propose a novel framework to support compliance checking with the emphasis on the foundation of automatic regulatory compliance checking to certify whether a construction project complies with some international building codes. An example is illustrated how compliance checking is performed in the framework.
On the use of greedy shapers in real-time embedded systems
Traffic shaping is a well-known technique in the area of networking and is proven to reduce global buffer requirements and end-to-end delays in networked systems. Due to these properties, shapers also play an increasingly important role in the design of multiprocessor embedded systems that exhibit a considerable amount of on-chip traffic. Despite the growing importance of traffic shapping in this area, no methods exist for analyzing shapers in distributed embedded systems and for incorporating them into a system-level performance analysis. Until now it was not possible to determine the effect of shapers on end-to-end delay guarantees or buffer requirements in such systems. In this work, we present a method for analyzing greedy shapers, and we embed this analysis method into a well-established modular performance analysis framework for real-time embedded systems. The presented approach enables system-level performance analysis of complete systems with greedy shapers, and we prove its applicability by analyzing three case study systems.
Fault Diagnosis and CAN Bus/Ethernet Redundancy Design of a Monitoring and Control System
The ship monitoring system is used to monitor and control the working status of various equipment on the ship. The navigational safety of the ship is affected directly by the stable working of the monitoring system. In this paper, a ship monitoring system with fault-type judgment function and bus redundancy is designed to improve system reliability and reduce fault checking cost. A redundant Ethernet/CAN bus communication network is constructed in the system, which connects multiple simulation nodes. The simulation node can simulate the faults that may occur during the communication process and feeds back the fault information to the host computer. The host computer will analyze and display the corresponding fault type on the user interface with the feedback information is received. The system reconfigures the network route autonomously when the simulation node has a communication fault. Routing of fault nodes can be switched to redundant routing, and the load balancing of the communication network can be maintained. Through experimental tests, the system can accurately locate faults and achieve fast switching of redundant routes between buses. Hence, the reliability of data transmission is improved.