Learn More
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(More)
This paper introduces SmartC, a language designed for programming automotive electronics embedded systems such as engine control systems. SmartC is a hierarchical modeling language and implements the SmartOSEK operating system model. The SmartC models are classified into four levels, namely module level, task level, subtask level and component level. In the(More)
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(More)
Model-based approaches are gradually applied in embedded system design with Unified Modeling Language (UML) and its profiles, but in terms of automotive electronics domain, few developers adopt UML to design system models because of inadequate tools that support the domain-specific modeling. This paper puts forward a model-based approach for automobile(More)
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 e-textiles. In this paper, a new infrastructure of the power networks for(More)
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(More)
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(More)
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(More)
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(More)
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(More)