Patents Assigned to Finite State Machine Labs, Inc.
  • Patent number: 11047987
    Abstract: Methods, systems, and computer program products are provided for analyzing a Global Navigation Satellite System (GNSS) receiver. The method includes receiving electronic diagnostic information from the GNSS receiver, the diagnostic information including observations at different times of signal strength of one or more satellites at each point in a visible sky. The method includes building a flat map of the visible sky including a track of the one or more satellites. The method includes calculating, for each point in the visible sky of the flat map, an aggregated signal strength of the one or more satellites over a predetermined interval. The method includes generating a heat map over the flat map of the visible sky and displaying a visualization of a flat heat map.
    Type: Grant
    Filed: July 16, 2018
    Date of Patent: June 29, 2021
    Assignee: Finite State Machine Labs Inc.
    Inventor: Cort Dougan
  • Publication number: 20100011444
    Abstract: The present invention provides systems and methods for applying hard-real-time capabilities in software to software security. For example, the systems and methods of the present invention allow a programmer to attach a periodic integrity check to an application so that an attack on the application would need to succeed completely within a narrow and unpredictable time window in order to remain undetected.
    Type: Application
    Filed: July 29, 2009
    Publication date: January 14, 2010
    Applicant: Finite State Machine Labs, Inc.
    Inventor: Victor J. Yodaiken
  • Patent number: 7587763
    Abstract: The present invention provides systems and methods for applying hard-real-time capabilities in software to software security. For example, the systems and methods of the present invention allow a programmer to attach a periodic integrity check to an application so that an attack on the application would need to succeed completely within a narrow and unpredictable time window in order to remain undetected.
    Type: Grant
    Filed: December 12, 2003
    Date of Patent: September 8, 2009
    Assignee: Finite State Machine Labs, Inc.
    Inventor: Victor J. Yodaiken
  • Publication number: 20090204709
    Abstract: A system, method and computer program product that is designed to support high-availability, rapid fault recovery, out of band condition signaling and/or other quality of service assurances and security in a networked environment. In one aspect, a method of the invention includes the step of providing a processing system with a dual-kernel or multi-kernel software operating system. The operating system includes a supervisory operating system and a secondary operating system that provides network functions to user applications. The method also includes the step of providing a Network Control Software (NCS) in the supervisory operating system. The NCS is configured to transparently monitor and control network operations in the secondary operating system.
    Type: Application
    Filed: February 20, 2009
    Publication date: August 13, 2009
    Applicant: Finite State Machine Labs, Inc.
    Inventor: Victor J. Yodaiken
  • Patent number: 7516217
    Abstract: A system, method and computer program product that is designed to support high-availability, rapid fault recovery, out of band condition signaling and/or other quality of service assurances and security in a networked environment. In one aspect, a method of the invention includes the step of providing a processing system with a dual-kernel or multi-kernel software operating system. The operating system includes a supervisory operating system and a secondary operating system that provides network functions to user applications. The method also includes the step of providing a Network Control Software (NCS) in the supervisory operating system. The NCS is configured to transparently monitor and control network operations in the secondary operating system.
    Type: Grant
    Filed: August 9, 2007
    Date of Patent: April 7, 2009
    Assignee: Finite State Machine Labs, Inc.
    Inventor: Victor J. Yodaiken
  • Publication number: 20080256236
    Abstract: A system, method and computer program product that is designed to support high-availability, rapid fault recovery, out of band condition signaling and/or other quality of service assurances and security in a networked environment. In one aspect, a method of the invention includes the step of providing a processing system with a dual-kernel or multi-kernel software operating system. The operating system includes a supervisory operating system and a secondary operating system that provides network functions to user applications. The method also includes the step of providing a Network Control Software (NCS) in the supervisory operating system. The NCS is configured to transparently monitor and control network operations in the secondary operating system.
    Type: Application
    Filed: June 22, 2007
    Publication date: October 16, 2008
    Applicant: Finite State Machine Labs, Inc.
    Inventor: Victor J. Yodaiken
  • Patent number: 7330891
    Abstract: A system, method and computer program product that is designed to support high-availability, rapid fault recovery, out of band condition signaling and/or other quality of service assurances and security in a networked environment. In one aspect, a method of the invention includes the step of providing a processing system with a dual-kernel or multi-kernel software operating system. The operating system includes a supervisory operating system and a secondary operating system that provides network functions to user applications. The method also includes the step of providing a Network Control Software (NCS) in the supervisory operating system. The NCS is configured to transparently monitor and control network operations in the secondary operating system.
    Type: Grant
    Filed: July 16, 2004
    Date of Patent: February 12, 2008
    Assignee: Finite State Machine Labs, Inc.
    Inventor: Victor J. Yodaiken
  • Publication number: 20070276941
    Abstract: A system, method and computer program product that is designed to support high-availability, rapid fault recovery, out of band condition signaling and/or other quality of service assurances and security in a networked environment. In one aspect, a method of the invention includes the step of providing a processing system with a dual-kernel or multi-kernel software operating system. The operating system includes a supervisory operating system and a secondary operating system that provides network functions to user applications. The method also includes the step of providing a Network Control Software (NCS) in the supervisory operating system. The NCS is configured to transparently monitor and control network operations in the secondary operating system.
    Type: Application
    Filed: August 9, 2007
    Publication date: November 29, 2007
    Applicant: Finite State Machine Labs, Inc.
    Inventor: Victor Yodaiken
  • Publication number: 20060282815
    Abstract: The present invention provides a system for developing software. In one embodiment, the system includes: (1) a developer device having a developer control program for communication over a network, the developer device being used by a developer to create source code; and (2) an appliance device having a communication server module for communication over the network with said developer control program, the appliance device being adapted to compile the source code to create executable code for a target device, wherein the executable code is installed on and executed by the target device.
    Type: Application
    Filed: June 9, 2005
    Publication date: December 14, 2006
    Applicant: Finite State Machine Labs, Inc.
    Inventors: Victor Yodaiken, Cort Dougan
  • Publication number: 20040260809
    Abstract: A system, method and computer program product that is designed to support high-availability, rapid fault recovery, out of band condition signaling and/or other quality of service assurances and security in a networked environment. In one aspect, a method of the invention includes the step of providing a processing system with a dual-kernel or multi-kernel software operating system. The operating system includes a supervisory operating system and a secondary operating system that provides network functions to user applications. The method also includes the step of providing a Network Control Software (NCS) in the supervisory operating system. The NCS is configured to transparently monitor and control network operations in the secondary operating system.
    Type: Application
    Filed: July 16, 2004
    Publication date: December 23, 2004
    Applicant: Finite State Machine Labs, Inc.
    Inventor: Victor J. Yodaiken
  • Patent number: 6782424
    Abstract: A system, method and computer program product that is designed to support high-availability, rapid fault recovery, out of band condition signaling and/or other quality of service assurances and security in a networked environment. In one aspect, a method of the invention includes the step of providing a processing system with a dual-kernel or multi-kernel software operating system. The operating system includes a supervisory operating system and a secondary operating system that provides network functions to user applications. The method also includes the step of providing a Network Control Software (NCS) in the supervisory operating system. The NCS is configured to transparently monitor and control network operations in the secondary operating system.
    Type: Grant
    Filed: August 23, 2002
    Date of Patent: August 24, 2004
    Assignee: Finite State Machine Labs, Inc.
    Inventor: Victor J. Yodaiken