Gregg P Smith

Title: Innovations by Inventor Gregg P Smith

Introduction

Gregg P Smith is an accomplished inventor based in Medfield, MA (US). He has made significant contributions to the field of model verification through his innovative patent. His work focuses on enhancing the efficiency and accuracy of harness models in various applications.

Latest Patents

Gregg P Smith holds a patent titled "Systems and methods for creating harness models for model verification." This patent describes systems and methods that automatically construct a harness model featuring a selected component from a source model. The systems determine the execution context of the component in the source model and configure the harness model to replicate the same or an equivalent execution context. Model elements can be added to the harness model, and these elements are configured to mirror the execution context. The harness model can be executed, allowing for the evaluation of the component's operation. Changes to the component and its execution context are synchronized between the source model and the harness model. Additionally, assessment operations can be included in the harness model, with results compiled into a verification report.

Career Highlights

Gregg P Smith is associated with The MathWorks, Inc., a leading company in mathematical computing software. His role at the company has allowed him to leverage his expertise in model verification and contribute to the development of innovative solutions.

Collaborations

Throughout his career, Gregg has collaborated with notable colleagues, including S M Shahed Nejhum and Vijaya Raghavan. These collaborations have further enriched his work and contributed to advancements in the field.

Conclusion

Gregg P Smith's innovative contributions to model verification through his patent demonstrate his commitment to enhancing technology in this area. His work continues to influence the development of efficient systems and methods in the industry.