Abstract: Method and system for analyzing computing devices for properties of at least one computer software comprised in at least one computing system, the method and system comprising: loading a list of vulnerability for the computer software; retrieving technical mitigation action for the vulnerability including of code modification, hardware or software augmentation, external protection deployment, or protocol configuration; computing a mitigation difficulty score for each of the vulnerability based on parameters associated with implementing the technical mitigation action; generating recommended technical mitigation actions for the vulnerability based on the mitigation difficulty score and the corresponding technical mitigation action; prioritizing the recommended mitigation actions based on the mitigation difficulty scores, severities of the corresponding vulnerability, and potential compliance issues; providing a prioritized list of recommended technical mitigation actions to vendors, manufacturers, third party

Abstract: Method and system for analyzing computing devices for properties of at least one computer software in the at least one computing system, includes loading, input data for at least one computer software; determining a result pertaining to vulnerabilities present or expected to be present within the computer software; mapping vulnerabilities to frameworks, determining a result pertaining to the outcome of the vulnerability-to-framework mapping; generating, an output data describing the at least one result; storing the output data pertaining to the result in a memory; and determining, if the result satisfies a predetermined condition, and if so, executing an action corresponding to the result on the computing system.

Abstract: Method and system for analyzing software or firmware of computing systems to assess security properties includes loading predicate device input data including characteristics about predicate devices; translating predicate device input data into predicate device model data describing characteristics or dependencies of the predicate device input data relevant to the analysis; determining digital twin configuration data used to configure digital twin; loading the digital twin configuration data onto the digital twin; storing configuration data in the memory; instructing the digital twin to configure itself to implement the loaded digital twin configuration data; determining security analysis to be carried out on the digital twin; simulating the predicate device; executing security analysis on the digital twin; generating output data describing the result of execution of the security analysis; storing output data pertaining to the result; and determining if the result satisfies a predetermined condition, and if s

Abstract: Method and system for analyzing at least one computing system to determine attributes of software within computing systems, includes: loading input data representing or pertaining to the software of the computing system; loading and executing at least two individual analyses on the data format of the software of the input data; generating an individual analysis result for each of the at least two individual analyses; loading and executing multi-layer/multi-data format analysis on the individual analysis results; generating multi-layer and/or multi-data format analysis result indicating an additional attribute being different from the attributes indicated by the first and second ones of the individual analysis results; generating an output data describing the individual analysis results and/or the multi-layer and/or multi-data format analysis result; storing the output data; and determining if the output data satisfies a predetermined condition, and if so, executing action corresponding to the output data on t

Abstract: A fetal and maternal monitoring system is provided, including one or more sensing devices, a central control device which receives signals from, and provides power to, the sensing devices, and a gateway device in wireless communication with the central control device for visualization of data received from the central control device and transmission of the received data to a remote location over a network. The one or more sensing devices may include a fetal heart rate monitor (FHR), a strain gauge tocodynamometer (TOCO), maternal heart rate monitor (MHR), blood pressure monitor or other wearable health or fitness sensing device which require only a basic sensor and rely upon the central control device for processing and power. Lighting elements on the sensing devices provide indications of signal detection and strength. The gateway device will also provide instructions to a user for performing tests and virtual physician visits.