System simulation is a valuable tool to unveil inefficiencies and to test new strategies when implementing and revising systems. Often, simulations are parameterized using offline data and heuristic knowledge. Operational data, i.e., data gained through experimentation and observation, can greatly improve the fidelity between the actual system and the simulation. In a traffic scenario, for example, different road conditions or vehicle types can impact the outcome of the simulation and have to be considered during the modeling stage. This paper proposes using machine learning techniques to generate high fidelity simulation models. A traffic simulation case study exemplifies this approach by generating a model for the SUMO traffic simulator from vehicular telemetry data.

This article reports our concept and experiences on ACSS (Automotive Cloud Service System) based on SOA (Service-Oriented Architecture) for the next-generation automotive software platform. Along with rapid deployment of cloud computing, we expect, automotive software is evolving to ACSS where vehicles are collaborating with outside cloud computing and a variety of social networks. We propose an ACSS based on SOA named DARWIN, and demonstrate the validity of DARWIN with case studies running on a prototype electric vehicle. This article contributes to reveal key aspects of new software architecture for the next generation automotive software of integrating software in a vehicle and cloud services out of vehicles seamlessly.

To verify behavioral specification of compound Web services, this paper introduces to apply model checking to Web services flows described by BPEL. Model checking is a formal method to formalize the behavior of designed system as an automaton and to analyze automatically whether or not the automaton satisfies the specification. This paper introduces translation pattern to convert a BPEL process to Promela code (Process or Protocol Meta Language), which is a verification modeling language in SPIN model checker. The result of our case study using a parking navigation service shows that our translation pattern can automatically verify the specification except Exception handling pattern and Event handling pattern.

Existing component-based development in the automotive world is showing the strain, as systems grow ever larger and start to interact with systems in the world outside the vehicle. A service-oriented approach offers benefits of modularity and runtime configurability, but raises challenges of a suitable language and platform. We examine the applicability of BPEL to automotive services. From our preliminary results we suggest the need for Domain-Specific Modeling to better address the particular requirements of the automotive service domain.

Aspect-oriented programming (AOP) is a technique for modularizing crosscutting concerns (CCCs). A variety of CCCs can be found in typical Web applications. Most CCCs are scattered over Web-specific events such as page requests. AOWP, a PHP-based AOP framework, provides Web-specific aspect instantiations for dealing with session management and pointcut & advice mechanisms for capturing Web-specific events. CCCs in Web applications can be clearly modularized by introducing AOWP.

We propose a new domain-specific aspect-oriented programming (AOP) mechanism for Web application development. A variety of crosscutting concerns such as access control and performance tuning are found in typical Web applications, but it is not easy to concisely modularize the concerns as aspects in current AOP languages because they do not provide pointcut mechanisms for directly handling events in the Web controller layer. To deal with this problem, we propose a Web-specific AOP mechanism called AOWP and a PHP-based AOWP framework. Using this framework, a programmer can easily address Web-specific crosscutting concerns triggered by Web-specific events, including page requests, page transitions, and session management events.