Show simple item record

dc.contributor.advisorXie, Geoffrey G.
dc.contributor.authorBaur, Andreas
dc.dateJun-15
dc.date.accessioned2015-08-05T23:05:14Z
dc.date.available2015-08-05T23:05:14Z
dc.date.issued2015-06
dc.identifier.urihttp://hdl.handle.net/10945/45811
dc.descriptionApproved for public release; distribution is unlimiteden_US
dc.description.abstractThe 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.en_US
dc.description.urihttp://archive.org/details/crowdsourcedform1094545811
dc.publisherMonterey, California: Naval Postgraduate Schoolen_US
dc.rightsCopyright is reserved by the copyright owner.en_US
dc.titleCrowdsourced formal verification: a business case analysis toward a human-centered business modelen_US
dc.typeThesisen_US
dc.contributor.secondreaderDew, Nicholas
dc.contributor.departmentGraduate School of Business and Public Policy (GSBPP)
dc.contributor.departmentGraduate School of Business and Public Policy (GSBPP)en_US
dc.subject.authorhuman behavioren_US
dc.subject.authorscriptingen_US
dc.subject.authordynamic behavioren_US
dc.subject.authorknowledge representationen_US
dc.subject.authorontologyen_US
dc.subject.authorProtégéen_US
dc.subject.authorCOMBATXXIen_US
dc.description.serviceCommander, German Navyen_US
etd.thesisdegree.nameMaster of Business Administrationen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineBusiness Administrationen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record