Refine Your Search

Search Results

Viewing 1 to 2 of 2
Technical Paper

Validation of Control Software Specification Using Design Interests Extraction and Model Checking

2012-04-16
2012-01-0960
Automotive control systems such as powertrain control interact with the open physical environment, and from this nature, expensive prototyping is indispensable to capture a deep understanding of the system requirements and to develop the corresponding control software. Model-based development (MBD) has been promoted to improve productivity by virtual prototyping. Even with MBD, systematic validation of the software specification remains as a major challenge and it still depends heavily on individual engineers' skill and knowledge. Though the introduction of graphical software modeling improved the situation, it requires much time to identify the primal functions, so-called “design interests”, from a large complex model where irrelevant components are mixed with, and to validate it properly.
Technical Paper

Design Tool and Software Platform for Time-Triggered Network Systems

2006-10-16
2006-21-0041
This paper describes a design tool and a software platform for FlexRay systems that are investigated in Nagoya University and are proposed to JasPar. The design tool reads the specification of a system as a task graph that consists of a set of tasks and messages among them. The design tool, then, allocates the tasks to ECUs and schedules the messages on a FlexRay network. The software platform consists of a middleware called time-trigger module (TTM) which dispatches time-triggered tasks, a communication middleware for a time-triggered network (TT-COM), a network management middleware for FlexRay (FlexRay-NM), and a device driver for FlexRay controller.
X