Gm Global Technolgoy Operations, Inc.

Rajeev Ariyattu Chandrasekharan

Swarup Kumar Mohalik

Ramesh Sethu

Manoj G Dixit

Devesh B Chokshi

A method and tools for providing precise timing analysis scalable to industrial case studies with large numbers of tasks and messages are provided, including the capability to model and analyze task and message response times; ECU usage; bus usage; end-to-end latency of task/message chains; and timing synchronization problems in task/message graphs. System tasks and messages are modeled in a formalism known as calendar automaton. Models are written in a modeling language such as Promela and instrumented with code specific to the analysis specification. Models and instrumentation are automatically generated from the system description and analysis specification. The system model is subjected to exhaustive state space exploration by a compatible model checker, such as SPIN. During exploration, the instrumented code produces results for different timing analyses. Optimization techniques are provided to generate models which require less memory and time for analysis and make the method scalable to large, industrial case studies.

Growing community of inventors

Natick, MA, United States of America

Rajeev Ariyattu Chandrasekharan