The Mathworks, Inc.

Samsung Electronics Co., Ltd.

Jesung Kim

Xiaocang Lin

Pieter Johannes Mosterman

Peter S Szpak

Aravind Pillarisetti

William F Potter

Jong-Min Kim

Bum-Soo Kim

Justin Scott Shriver

Kai Tuschner

Dong-hee Lee

Ji-hyun In

Jong-moo Choi

Sam-hyuk Noh

Yoo-kun Cho

Jae-yong Jeong

Gui-Yong Lee

Yong Huang

Sang-Iyul Min

A computer readable medium including executable instructions that when executed perform a method for validating an optimization in generated code using an executable constraints document is provided. The medium can include instructions for relating an assumption to the optimization during code generation. The medium can include instructions for generating the executable constraints document during the code generation, the executable constraints document including information about the relating; and the medium can include instructions for executing the constraints document when the validating is performed, the validating including performing an operation based on a validation result produced by the validating, where the operation includes displaying the validation result to a user, storing the validation result, sending the validation result to a destination, or modifying the generated code.

Optimization identification

A device receives code in a modeling environment format, receives a model in the modeling environment format, and receives relationships information associated with one or more relationships between the code and the model. The device combines the code, the model, and the relationships information to generate an output file in a non-modeling environment format, and outputs or stores the output file.

Transforming modeling environment code/model into a non-modeling environment format

A system associates at least one review indicator with at least one of multiple elements of a model, where the at least one review indicator indicates whether a corresponding element of the model has or has not been reviewed by a reviewer. The system further displays a status of the at least one review indicator in a user interface.

Marking up objects in code generation

A computer-readable medium and method may include instructions for providing a graphical model in a computing environment, where the graphical model includes a plurality of graphical affordances. Generated code may be provided based on the graphical model, where the generated code includes a plurality of code segments. A traceability report may be generated based on the graphical model and the generated code, wherein the traceability report includes a mapping of the plurality of code segments to corresponding ones of the plurality of graphical affordances. The traceability report may be stored.

Traceability in a modeling environment

A technique for generating an executable document that includes information for validating generated code is provided. The technique can include mapping an assumption to a portion of generated code, the portion containing functional code that is related to implementing the assumption, the mapping allowing at least the portion to be validated with respect to the assumption. The technique can include generating the executable document, where the executable document includes the mapping, and where the generated document validates the at least the portion of the generated code, where validating the at least the portion of the generated code validates the generated code.

Auto-generated code validation

A flash memory management method is provided. According to the method, when a request to write the predetermined data to a page to which data has been written is made, the predetermined data is written to a log block corresponding to a data block containing the page. When a request to write the predetermined data to the page again is received, the predetermined data is written to an empty free page in the log block. Even if the same page is requested to be continuously written to, the management method allows this to be processed in one log block, thereby improving the effectiveness in the use of flash memory resources.

Flash memory management method

Growing community of inventors

Newton, MA, United States of America

Jesung Kim