Crowdsourced formal verification: a business case analysis toward a human-centered business model
Loading...
Authors
Baur, Andreas
Subjects
human behavior
scripting
dynamic behavior
knowledge representation
ontology
Protégé
COMBATXXI
scripting
dynamic behavior
knowledge representation
ontology
Protégé
COMBATXXI
Advisors
Xie, Geoffrey G.
Date of Issue
2015-06
Date
Jun-15
Publisher
Monterey, California: Naval Postgraduate School
Language
Abstract
The DARPA project Crowd Sourced Formal Verification (CSFV) tries to investigate whether offering free games via the Internet that translate player’s actions into program annotations helps to overcome the challenges of the expensive and time-consuming formal verification of software by human experts. This business case analysis evaluates the results of the CSFV-project phase 1. Based on data of the games, the author identifies three problems of the current CSFV approach. The author concludes, in accordance with the Gartner Hype Cycle Research Methodology, that the technology currently is not sufficiently mature to justify a financial investment, but that the cutting-edge approach may reach the plateau of productivity within two to five years, due to parallel maturation of some technologies. The author argues that a human-centered approach is necessary to transform the customer base in order to mitigate the identified deficiencies and to leverage crowdsourced formal verification as a sustainable business. He first explains the concepts relevant in the context of crowdsourced formal verification and the technologies having impact on it. He then identifies the current issues and existing obstacles in the current technology. Based on future trends and visions in the respective fields of technology, and the needs and motivations of people, he proposes a human-centered business model that may foster the implementation of crowdsourced formal verification of software in organizations that depend on security-critical and safety-critical software.
Type
Thesis
Description
Series/Report No
Department
Graduate School of Business and Public Policy (GSBPP)
Graduate School of Business and Public Policy (GSBPP)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
Copyright is reserved by the copyright owner.