Patents by Inventor Francis Gregory Sydnor

Francis Gregory Sydnor has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • SEPARATION KERNEL WITH MEMORY ALLOCATION, REMOTE PROCEDURE CALL AND EXCEPTION HANDLING MECHANISMS
    Publication number: 20100192159
    Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.
    Type: Application
    Filed: February 9, 2010
    Publication date: July 29, 2010
    Applicant: GENERAL DYNAMICS C4 SYSTEMS, INC.
    Inventors: Peter Duncan WHITE, Conan Brian DAILEY, Hua CHEN, Pamela Tam CARMONY, Jennifer Lynn AMSTUTZ, Keith Michael HINES, Francis Gregory Sydnor, JR.
  • SEPARATION KERNEL WITH MEMORY ALLOCATION, REMOTE PROCEDURE CALL AND EXCEPTION HANDLING MECHANISMS
    Publication number: 20100192154
    Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.
    Type: Application
    Filed: February 9, 2010
    Publication date: July 29, 2010
    Applicant: GENERAL DYNAMICS C4 SYSTEMS, INC.
    Inventors: Peter Duncan WHITE, Conan Brian DAILEY, Hua CHEN, Pamela Tam CARMONY, Jennifer Lynn AMSTUTZ, Keith Michael HINES, Francis Gregory Sydnor, JR.
  • Method for allocating memory to tasks without exceeding predefined memory requirements
    Patent number: 7689997
    Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.
    Type: Grant
    Filed: June 10, 2004
    Date of Patent: March 30, 2010
    Assignee: General Dynamics C4 Systems, Inc.
    Inventors: Peter Duncan White, Conan Brian Dailey, Hua Chen, Pamela Tam Carmony, Jennifer Lynn Amstutz, Keith Michael Hines, Francis Gregory Sydnor, Jr.
  • Separation kernel with memory allocation, remote procedure call and exception handling mechanisms
    Publication number: 20040268356
    Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.
    Type: Application
    Filed: June 10, 2004
    Publication date: December 30, 2004
    Inventors: Peter Duncan White, Conan Brian Dailey, Hua Chen, Pamela Tam Carmony, Jennifer Lynn Amstutz, Keith Michael Hines, Francis Gregory Sydnor
  • Separation kernel with memory allocation, remote procedure call and exception handling mechanisms
    Patent number: 6772416
    Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.
    Type: Grant
    Filed: November 19, 1999
    Date of Patent: August 3, 2004
    Assignee: General Dynamics Decision Systems, Inc.
    Inventors: Peter Duncan White, Conan Brian Dailey, Hua Chen, Pamela Tam Carmony, Jennifer Lynn Amstutz, Keith Michael Hines, Francis Gregory Sydnor, Jr.
  • Failsafe security system and method
    Patent number: 5995628
    Abstract: Controllable functions (210, 220, 230) and controllable connection managers (212, 222, 216, 226) are used to provide a fail-safe security system implemented on a single processor (200). Red subsystems, black subsystems and clear bypass subsystems ensure separation between red data and black data. Connection managers (212, 222, 216, 226) are used to isolate and control red data ports (214), black data ports (224), red crypto ports (218), and black crypto ports (228). Subsystems are configured to control data flow, provide data separation, access control and prevent single failures from compromising security system (200). Each subsystem is managed separately, and each subsystem has unique access protection provided by controller (202). Within security system (200), the subsystems are kept separate. Functional separation of the red data memory and black data memory is maintained to provide fail-safe data isolation.
    Type: Grant
    Filed: April 7, 1997
    Date of Patent: November 30, 1999
    Assignee: Motorola, Inc.
    Inventors: Paul Thomas Kitaj, Douglas Allan Hardy, Francis Gregory Sydnor