WIPO PUBLISHES PATENT OF HITACHI FOR "SOURCE CODE GENERATION DEVICE, SOURCE CODE VERIFICATION DEVICE, SOURCE CODE GENERATION METHOD AND SOURCE CODE GENERATION PROGRAM" (JAPANESE, SWISS, INDIAN INVENTORS)

GENEVA, June 23 -- Publication No. WO/2015/087409 was published on June 18.

Title of the invention: "SOURCE CODE GENERATION DEVICE, SOURCE CODE VERIFICATION DEVICE, SOURCE CODE GENERATION METHOD, AND SOURCE CODE GENERATION PROGRAM."

Applicants: HITACHI LTD. (JP).

Inventors: Andreas Fuerst (CH), Son Thai Hoang (CH), David Basin (CH), Krishnaji Desai (IN), Naoto Sato (JP), Kunihiko Miyazaki (JP) and Shinji Itoh (JP).

According to the abstract* posted by the World Intellectual Property Organization: "The present invention verifies that a source code that is generated from a software specification written in a formal language is the result of refining the software and that said source code is a source code for implementing the software. A source code generation device is provided with: a scheduler editing means that edits a scheduler that defines a control structure including at least an "if" conditional branching structure and a "do" loop structure; a source code generation means that generates source code including at least an "if" conditional branching structure or a "do" loop structure from a software specification and the edited scheduler; a scheduled model generation means that generates a scheduled model including a control structure that is written in a formal language from the software specification and the edited scheduler; and a flattened code generation means that generates a flattened code that is written in a programming language, that does not include an "if" conditional branching structure or a "do" loop structure, and that does contain a "goto" statement from the software specification and the edited scheduler."

The patent was filed on Dec. 11, 2013 under Application No. PCT/JP2013/083185.

*For further information, including images, charts and tables, please visit:

http://www.wipo.int/patentscope/search/en/detail.jsf?docId=WO2015087409

For any query with respect to this article or any other content requirement, please contact Editor at [email protected]