Philippe M T Limondin

Title: Innovations of Philippe M T Limondin

Introduction

Philippe M T Limondin is a notable inventor based in Cedar Rapids, IA (US). He has made significant contributions to the field of high-assurance computing, holding a total of 5 patents. His work focuses on developing methodologies and architectures that enhance the security and reliability of computing systems.

Latest Patents

One of his latest patents is titled "Method and system for the development of high-assurance computing elements." This invention outlines a comprehensive methodology for developing high-assurance computing elements, which includes steps such as receiving requirements, creating models, generating higher order language (HOL) code, simulating behavior, generating test cases, and formally verifying the model using a verification tool. Another significant patent is "High-assurance architecture for routing of information between networks of differing security level." This invention addresses the challenges of routing information securely between networks with different security levels, utilizing dedicated Offload Engines and Guard Engines to ensure data integrity and compliance with access control rules.

Career Highlights

Philippe M T Limondin is currently employed at Rockwell Collins, Inc., where he continues to innovate in the field of computing technology. His work has been instrumental in advancing high-assurance systems that are critical for various applications.

Collaborations

He has collaborated with notable colleagues such as T Douglas Hiratzka and Mark A Bortz, contributing to a dynamic environment of innovation and expertise.

Conclusion

Philippe M T Limondin's contributions to high-assurance computing are significant and impactful. His patents reflect a commitment to enhancing the security and reliability of computing systems, making him a valuable figure in the field of technology.