Browse Prior Art Database

Modeling & Automatic Production Code Generation for IPC Double Store Variables (DSVs)

IP.com Disclosure Number: IPCOM000183330D
Publication Date: 2009-May-19
Document File: 7 page(s) / 784K

Publishing Venue

The IP.com Prior Art Database

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 43% of the total text.

Page 1 of 7

Modeling & Code Generation for Double Store Variables

BACKGROUND

    Automotive companies have invested a fortune over the last few decades developing real- time embedded control strategies and software to achieve desired functions and performance attributes. Over time, these control algorithms have matured and achieved optimum behavior. The companies have vast repositories of embedded software for a variety of control features that have been validated and deployed for production. These software functions can be reused with minimal modifications for future applications.

    In response to the dramatic fluctuations in the price of gasoline and the sharp drop in the sales of gas-guzzling vehicles, the OEMs are responding by speeding up the development of fuel efficient passenger cars while simultaneously reducing their structural costs including rightsizing the workforce. The companies are embracing Model Based Design (MBD) tools to improve the productivity of the development process that may translate into lower development costs, higher quality and faster time-to-market. The production hybrid group launched a pilot project to study the feasibility of using MBD to speed up the development and testing of the next generation Independent Plausibility Checker (IPC).

Problem Description

    The IPC software uses a large number of Double Store Variables. Each variable contains two fields, one for storing the actual data and the second a transformed copy (say a one's complement of the data) of the data. This allows the software to detection any corruption in the data.

    The current generation of commercially available tools is insufficient to meet the specific needs of the IPC software to facilitate the modeling of the Double Store Variables. A variety of safety critical requirements, and the need to integrate with existing legacy code contribute to the challenges. Some of the limitations include …

• The data definition of the variables must match the existing legacy code and the expected format for processing by existing validated production software. The Automatic Code Generation (ACG) tool (of choice) currently flattens multi- dimensional arrays making it incompatible for integration with the rest of the application code without additional processing.

• The application software is developed in the C Programming language which uses a different data storage format (row major vs. column major) for data access/manipulation.

• Ability to process the data in both graphical and C code development environments.

• Ability to process the data in the modeling environment using Simulink, Stateflow or both depending on the design patterns.

Raju Nallapa Kim Murphy Bader Badreddine

Fazal Syed Shailesh Patel.

Page 2 of 7

Modeling & Code Generation for Double Store Variables

Invention Description.

    The IPC uses accessor (reads the attribu...