Abstract: A method and a system for fault detection and removal in a distributed computing system, implemented as a permissioned blockchain network, is disclosed. The method fault detection comprising compiling and executing a smart contract common for all nodes of the permissioned blockchain network. The smart contract is configured to perform at least one operation from a series of operations comprising: (1) appending transactions including logs indicative of exchanging of messages between the nodes of permissioned blockchain network, (2) detecting malicious behavior of a node in reaching a consensus, and (3) revoking the access of the node upon detecting the malicious behavior. Further, once malicious behavior (and corresponding malicious node) is detected, a consensus is reached between the networked computers of the permissioned blockchain network, by executing a distributed computing program.

Abstract: A satellite for implementing a protocol associated with a distributed satellite position verification system is provided. The satellite, on implementing the protocol, verifies records of positions of one or more other satellites in the distributed satellite position verification system. According to the protocol, the satellite performs, at different time instances, a first operation, a second operation, or a third operation to act as a first satellite, a second satellite, or a third satellite, respectively in the distributed satellite position verification system. When the first satellites performs the first operation, the first satellite verifies at least some positions in the records of positions of the second satellite such that the first satellite: determines a verified position of the second satellite; calculates a deviation between the verified position and a prior estimated position of the second satellite; and records the verified position into the records, based on the calculated deviation.

Abstract: A method and system for blockchain based monitoring and management of industrial automation systems are provided. The industrial automation systems comprise a blockchain-based common runtime for programmable logic controllers (PLCs) used in the industrial automation systems, in the form of a blockchain-integrated unikernel for PLCs. The unikernel is configured to provide functionalities related to security checks available in blockchain technology, an immutable audit trail of the operations within the industrial automation system, trusted, remote updates of industrial firmware by authenticating the updates through the blockchain, and automated integrity checks of controller functionality by comparing against the blockchain, among others.

Abstract: A satellite for implementing a protocol associated with a distributed satellite position verification system is provided. The satellite, on implementing the protocol, verifies records of positions of one or more other satellites in the distributed satellite position verification system. According to the protocol, the satellite performs, at different time instances, a first operation, a second operation, or a third operation to act as a first satellite, a second satellite, or a third satellite, respectively in the distributed satellite position verification system. When the first satellites performs the first operation, the first satellite verifies at least some positions in the records of positions of the second satellite such that the first satellite: determines a verified position of the second satellite; calculates a deviation between the verified position and a prior estimated position of the second satellite; and records the verified position into the records, based on the calculated deviation.

Abstract: A method and a system for fault detection and removal in a distributed computing system, implemented as a permissioned blockchain network, is disclosed. The method fault detection comprising compiling and executing a smart contract common for all nodes of the permissioned blockchain network. The smart contract is configured to perform at least one operation from a series of operations comprising: (1) appending transactions including logs indicative of exchanging of messages between the nodes of permissioned blockchain network, (2) detecting malicious behavior of a node in reaching a consensus, and (3) revoking the access of the node upon detecting the malicious behavior. Further, once malicious behavior (and corresponding malicious node) is detected, a consensus is reached between the networked computers of the permissioned blockchain network, by executing a distributed computing program.

Abstract: A system for measuring a social cost of a ridesharing service to transport passengers requesting transportation from their corresponding pick-up to destination locations is provided. The system includes an input interface to accept the pickup and destination locations, information about traffic in a region including the pickup and destination locations, and a ridesharing path plan estimated by the ridesharing service for a vehicle to transport the passengers; a processor configured to: estimate a first delay in the traffic caused by the vehicle traveling along the ridesharing path plan; simulate an individual transportation path plan for each of the passengers to estimate a second delay in the traffic caused by a combination of the individual transportation path plans; and determine the social cost of the ridesharing service based on a difference between the first and second delays; and an output interface configured to output the social cost of the ridesharing service.

Abstract: Disclosed a system and method of debt management in a distributed ledger system. The methods and systems provide for representing and assigning debt in the form of tokens in the distributed ledger. The debt tokens are implemented in a UTXO model by creating debt-only addresses that can send credit only with permission. The credit tokens are implemented based on UTXO model by requiring an input as well as an output specified for the credit transaction.