The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 09, 2013
Filed:
May. 14, 2010
Swarup K. Mohalik, Karnataka, IN;
Rajeev Ariyattu Chandrasekharan, Natick, MA (US);
Manoj G. Dixit, Karnataka, IN;
Ramesh Sethu, Bangalore, IN;
Devesh B Chokshi, Gujrat, IN;
Swarup K. Mohalik, Karnataka, IN;
Rajeev Ariyattu Chandrasekharan, Natick, MA (US);
Manoj G. Dixit, Karnataka, IN;
Ramesh Sethu, Bangalore, IN;
Devesh B Chokshi, Gujrat, IN;
GM Global Technology Operations LLC, Detroit, MI (US);
Abstract
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.