SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities

July 2018·
Scott Eisele
Aron Laszka
Aron Laszka
,
Anastasia Mavridou
,
Abhishek Dubey
Abstract
Internet of Things and data sciences are fueling the development of innovative solutions for various applications in Smart and Connected Communities (SCC). These applications provide participants with the capability to exchange not only data but also resources, which raises the concerns of integrity, trust, and above all the need for fair and optimal solutions to the problem of resource allocation. This exchange of information and resources leads to a problem where the stakeholders of the system may have limited trust in each other. Thus, collaboratively reaching consensus on when, how, and who should access certain resources becomes problematic. This paper presents SolidWorx, a blockchain-based platform that provides key mechanisms required for arbitrating resource consumption across different SCC applications in a domain-agnostic manner. For example, it introduces and implements a hybrid-solver pattern, where complex optimization computation is handled off-blockchain while solution validation is performed by a smart contract. To ensure correctness, the smart contract of SolidWorx is generated and verified using a model-based approach.
Type
Venue
2018 IEEE International Conference on Blockchain (IEEE Blockchain 2018), 1263–1272
publications

Acceptance Rate: 15.3%

Authors

Aron Laszka
Associate Professor

Aron Laszka is an Associate Professor in the College of Information Sciences and Technology at the Pennsylvania State University. Previously, he was an Assistant Professor at the University of Houston, a Research Assistant Professor at Vanderbilt University, and a Postdoctoral Scholar at the University of California, Berkeley.

His research interests revolve around artificial intelligence and cyber-physical systems, focusing on machine learning for decision making and optimization, with applications in smart and connected communities, critical infrastructure, and cybersecurity.

His research is funded by the National Science Foundation, the Department of Energy, the Department of Transportation, and other agencies.