Creditability Modeling of Distributed Embedded System Based on Real-Time Interaction Specification
Creditability modeling on real-time interaction specification for embedded systems on the distributed platform is a continuing challenge to developers. This paper presents a creditability modeling strategy that reduces complexity by separating data-related computational parts and time synchronization interaction among components. We introduce a notion of supervisor to discuss how to aggregate individual component’s computation into a well-defined composite computation from a view of causality interaction analysis. A prototyping system is implemented to prove the feasibility and flexibility of our methodology.

title: High Dependability Design Framework in Real-Time Embedded Control Software
abstract: This paper introduces an abstract high dependability framework for the implementation of embedded control software with hard real-time constraints. The framework specifies time-triggered sensor readings, atomic component invocations, actuator updates, and pattern switches independent of any implementation platform. In order to leverage model continuity, XML-based description of composite component informal description is required, which supports reuse of components and model information interoperability. By separating the platform-independent from the platform-dependent concerns, Consider a quality process control system in steel industry on a distributed real-time embedded environment, we implement a simplified high dependability design framework to prove the feasibility in the validation and synthesis of embedded control component execution.

title: Equivalent Inertia Moment in Linear Stability Calculation of Stepped Beam
abstract: In the process of simplifying the stability calculation for light main boom of crawler crane, the structure can be considered as non-symmetrical one with variable cross-section beam. The equivalence of the simply supported beam with asymmetrical cross-section has not been solved. This paper attains the equivalent inertia moment of the stepped beam with the small deformation by using the differential and energy methods. In addition, comparing with the software ANSYS, the results of differential method is better than energy method. Then the results of differential errors are amended and reduced. Then, the paper presents the equivalent inertia moment coefficients curves, which greatly simplifies the calculation process of critical load and provides the reference for boom design.

title: Minitrack: E-Government Information and Knowledge Management
abstract: The public sector realizes the strategic importance of methods, tools and concepts applied to the efficient and effective Information and Knowledge resource Management (IKM). Because governments and public administrations deal with vast amounts of information and knowledge, it is particularly important to leverage research agendas that advance tenets related to the management of these resources. For example, much of the work of public authorities and governments is related to the collection, processing, interpretation, and use of data, information and knowledge on citizens, businesses, governments themselves, the society, the market, the environment, laws, politics, etc.

title: Dynamic Negotiation for Real-Time Manufacturing Execution
abstract: This paper presents a dynamic negotiation framework for real-time execution in self-organised manufacturing environments. The negotiation strategies in this framework bridge the gap between distributed negotiation of self-interested agents and cooperative negotiation among agent groups. In particular, the proposed framework is based on the model of Performance and Cost for Manufacturing Execution (PCME). By forming the dynamic organisation called agent consortium, individual agents negotiate over the PCME in order to optimise the resource allocation under time constraints and uncertainty of job execution, and resolve the conflicts to fulfil the goal of the overall system. The ultimate goal of the framework is to reduce the negotiation time, make effective use of resources, adapt to the changes in execution and increase the throughput of the entire system. Experimental work based on PCME has been carried out to demonstrate the high performance of this approach despite unanticipated and dynamic changes in the manufacturing execution environments.

title: Research and Practice in Undergraduate Embedded System Course
abstract: Embedded systems are becoming very common and meantime create a high demand for hardware and software engineer to support the development of IT. The higher education institutions are facing the need to update their embedded system syllabus. In this paper, we will share our experiences in the development of an undergraduate embedded systems course. This paper describes the design, implementation and teaching style of Application & Principle of Embedded System course in Department of Electrical Engineering, Beijing Institute of Technology. The paper also presents the challenges encountered due to broad knowledge background and how to achieve the right balance between theory and practice. We also introduce how co-operation between BIT and INTEL in Embedded System Joint Lab.

title: Multi-Index Cooperative Mixed Strategy for Service Selection Problem in Service-Oriented Architecture
abstract: Under the environment of Service-Oriented Architecture (SOA), service users have to decide how to choose the proper provider from the candidates to obtain optimal service level. The existing approaches based on the optimization theories usually ignore the decision conflicts among users, which result in periodic QoS fluctuation and poor system performance. This paper treated the service selection problem as an inconstant-sum non-cooperative n-person dynamic game with incomplete information. The mechanism that generated the decision conflicts is discussed at first, and then Multi-index Cooperative Mixed Strategy (MCMS) with corresponding algorithm for finding its optimal solution is developed. Simulation shows that MCMS offers service users an optimal strategy that reduces the fluctuation of QoS and improves performance of SOA. Moreover, the stability and equilibrium of MCMS make it acceptable to most of the users, thus MCMS is able to improve predictability and controllability of SOA significantly.