Bidirectional generation rules between SmartC models and codes were proposed in order to preserve the requirement consistency in design stages and enhance the develop efficiency.Results prove that the rules can assure the consistency of bidirectional generation.Then an integrated platform,called SmartC-PLF,was implemented according to model-based driven automotive electronics development approach(ModaEDA).Both SmartC models and codes were supported by the automatic generator and the code editor for automotive electronics application.A car light control system based on the platform was presented,which can improve the generation efficiency and assure the consistency of bidirectional generation.The results from extensive tests showed high performance of SmartC-PLF platform.

A new approach based on automotive open system architecture(AUTOSAR) was applied to design and implement the electronic control unit(ECU) software for GEELY MR479Q electronic gasoline engine.Three important steps of this approach,e.g.the design of software components and runnable entities,the mapping of runnable entities to operating system tasks,the assignment of task priority,were described in detail.Furthermore,the schedulability of ECU software was analyzed.Simulation and bench experiment results showed that under all operating conditions,ECU software could update the major parameters precisely,such as fuel injection pulse width and spark advance angle,also control the engine operating properly and smoothly.

This paper addresses the model consistency problem in the AUTOSAR modeling environment, aiming to achieve dynamic synchronization within or between different AUTOSAR modeling steps. Observing that the AUTOSAR component hierarchy can be very complex and the modification of one model can affect its consistency with the others, we propose to use a directed acyclic graph (DAG) with indexing mechanism to model the software component architecture. The idea is to assign each vertex as a modeling element and use a directed edge to represent an aggregation relationship between vertices. Then we present a set of consistency rules to ensure the model consistency. A prototype is developed and serves as a testbed for performance evaluation and illustrating the feasibility of our approach.

Communication plays an important role in modern automotive system architecture. In order to optimize the AUTOSAR intra-ECU communication, an approach based on mapping runnable entities is proposed to reduce task switching, and avoid communication data inconsistency and time delay. Taking into account the various communication behaviors of all runnable entities in the current ECU, we provide six extended rules based on AUTOSAR RTE mapping rules to properly group the runnables into the OS tasks. In addition, an equation is given to evaluate the mapping performance. A mapping case of a vehicle control application has been successfully implemented on SmartOSEK OS.

OSEK/VDX is an important specification in the field of automotive electronics and OSEK COM specifies the data communication behaviors inter-ECU and intra-ECU, but doesn't appoint specific underlying layer. In this paper,OSEK COM is implemented based on CAN bus. We present a model that dynamically generates properly CAN identifier to schedule I-PDUs of OSEK COM and transmit data that is longer than 8 bytes on CAN. As an important part of CAN identifier, node priority is dynamically adjusted according to the actual network state by the node priority update protocol. The model has implemented on Santana Light Demo System.

This paper proposes a bidirectional generation method with a set of consistent bidirectional generation rules between SmartC models and codes. Based on these rules, the consistency of the bidirectional generation between SmartC models and codes is demonstrated by a case study. Extensive tests are conducted to show the performance of this bidirectional generation method. And the efforts of different industrial applications are recorded to illustrate its advantage of decreasing project efforts and accelerating project progress.

Compared with smart spaces addressed previously, the smart vehicle space is quite special. First, unlike room, it is a high mobile space. Second, it requires frequent information exchange with the outer environment; for instance, it may need local traffic information and other local services. The complex vehicle space needs a software infrastructure of high adaptation to meet the complex and easy variational situations. This paper proposes a semantic and adaptive middleware platform, i.e., ScudWare, for smart vehicle space. In ScudWare, techniques of multiagent, context-aware, and adaptive component management are smoothly synthesized. It consists of three key components, namely 1) semantic virtual agents; 2) a semantic context management service; and 3) an adaptive component management service. This enables entities in smart vehicle space to interact autonomously, provides semantic-integration context awareness, and supports component-based adaptability and scalability. A test bed of smart car space is built to evaluate the ScudWare, which demonstrates the effectiveness and efficiency of ScudWare

The need for component-based middleware adaptation is growing, due to the complexities of increasing prevalence of ubiquitous computing. Software middleware must dynamically adapt to changing environments and conditions. Dynamic adaptation must be performed reliably and correctly. The focus of this paper regards an approach to formally specifying adaptation semantics for scudware middleware in smart vehicle space. The contribution of our work is twofold. First, a context-aware adaptation temporal logic is put forward to specify component-based dynamic adaptation semantics. Second, we propose three adaptation specification composition operations to generate the whole adaptation specification of adaptive middleware. In addition, this adaptation specification is applied into a mobile music system in smart vehicle space

Electronic control units (ECUs) are widely used to improve the comfort and reliability of vehicles. Due to the increasing degree of distribution and interaction of ECUs, many approaches are adopted to design the in-vehicle networks to ensure the stability and reliability of the holistic network, but none of them support the synchronous development of in-vehicle networks and software in ECUs. This paper put forward a model-based approach to design the in-vehicle networks and the software in ECUs with presenting a dependable platform compliant with OSEK/VDX specifications. The paper presents a tool-chain that covers the entire system development life-cycle including system modeling, model transformation, model analysis, network simulation, code generation, document generation and runtime instrumentation. In addition, a case study is presented to demonstrate the application of the approach. The contribution of the approach is threefold. First, the approach applies the theory of model-based design with OSEK/VDX standard in automotive electronics domain, and implements the transformation between SysML models and OSEK/VDX models through an efficient method. Second, the approach presents a method of software co-design among distributed ECUs. Third, the approach bring forward a simulation model for the system models with in-vehicle networks and provides the designer with the simulation results to optimize the design at the early time of the development

Electronic textiles, known as computational fabrics, offer an emerging method for constructing wearable and large area applications. Because e-textiles are battery-driven and fault-prone systems, there is a need for developing a dependable infrastructure of the electric networks for etextiles. In this paper, a new infrastructure of the power networks for e-textiles, Flexible Power Network (FPN), is presented. Instead of drawing power from a fixed battery as in the conventional electric networks, the power consuming nodes in a FPN can obtain power energy from one of the choices of batteries available with the help of the battery selectors. We also introduce the over current protectors into the battery nodes (BN) to protect the batteries from wasting the charge when short-circuit faults occur. The electric features of battery selectors and over current protectors, the two types of important electric devices used in FPNs, are illustrated in the paper. We have performed simulation experiments and the results show that our FPNs are more dependable than some common electric networks published before in the cases of short- and open-circuit faults.

The audio splitting method based on the decision tree and the talker change detection includes the first adaptive silencing detection to find out the mute in audio frequency and the coarse splitting of audio frequency signal with the mute; the subsequent mutation detection for fine splitting of audio frequency signal and classifying the audio segment into phonetic part and non-phonetic part with the decision tree; and the final detecting the talker change point in the phonetic segment to obtain the final splitting result. The present invention performs phonetic detection via combining two methods of mute detection and mutation detection and adopting phonetic/non-phonetic decision tree to raise the accuracy of phonetic detection, and performs the talker change detection in phonetic segment with saving in calculation time.

This paper puts forward SmartOSEK, a dependable platform for automobile electronics, which consists of an operating system compliant with OSEK/VDX specifications and an integrated development environment (IDE) that consists of many convenient tools, such as visual designer, system generator, time analyst, scheduling analyst, and running tracer. In the operating system, SmartOSEK OS and SmartOSEK COM are presented. In the IDE, we apply the graphic design, automatic code generation and time analysis to help developers devote their mind to the modeling of the applications. A design example of automated transmission system based on SmartOSEK platform is given, and good results are achieved.

介绍使用MATLAB中的Real-Time Workshop解决汽车电子问题的成功经验.以前的发动机控制程序只能运行于单一的ECU平台,而且没有实时操作系统的支持.首先利用Simulink成功的继承了以前的发动机控制算法代码,然后通过自动代码生成过程,为不同平台(包括一款符合OSEK标准的操作系统)生成了C代码,最终利用第三方编译工具生成了可执行代码,成功完成了对发动机喷油和点火的控制过程.由于得到RTW的帮助,整个移植过程只用了一个月的时间,而且生成的可执行程序运行稳定.

Smart Vehicle Environment (SVE) is an important application of the idea of smart spaces. This paper presents Smart Vehicle Multi-Agent System (SVMAS) to achieve the goal of SVE and put forwards a commutation model for SVMAS based on SmartOSEK COM [1] to support data exchange. The paper also presents an approach to encapsulate the message to transport by CAN bus, and bring forward a simulator model for SVMAS. Finally the paper gives an example of the communication model which implements a dialogue between two agents and analyzes the performance. The contribution of our work is threefold. First, we adopt Knowledge Query and Manipulation Language (KQML) to describe the communication in vehicles. Second, we develop SmartOSEK COM to implement communication in vehicles. Third, we define the ACLcan protocol to transform the message from SmartOSEK COM to CAN frame.

Service program of the electronic report system (ERS), which can successfully run on multiple operating systems, was developed with J2EE (Java 2 Enterprise Edition) and Web service technology in this thesis. It provides web services for report query clients of ERS, and receives all kinds of requests from clients.Then,it processes these requests and produces feedback files. At last, it preserves these files in specified report service folder of the feedback directory for client taking. Database connection pool technology was adopted to improve the efficiency and performance of database connection. Application of ERS in contract management system of hydraulics system was discussed.