Free Newsletters - Space News - Defense Alert - Environment Report - Energy Monitor
. Space Industry and Business News .




TECH SPACE
MUSE Envisions Mining "Big Code" to Improve Software Reliability and Construction
by Staff Writers
Washington DC (SPX) Mar 16, 2014


MUSE seeks to leverage deep program analyses and big data analytics to create a public database containing mined inferences about salient properties, behaviors and vulnerabilities of software drawn from the hundreds of billions of lines of open source code available today. The program aims to make significant advances in the way software is built, debugged, verified, maintained and understood, and to enable the automated repair of existing programs and synthesis of new ones. For a larger version of this image please go here.

During the past decade information technologies have driven the productivity gains essential to U.S. economic competitiveness, and computing systems now control significant elements of critical national infrastructure.

As a result, tremendous resources are devoted to ensuring that programs are correct, especially at scale. Unfortunately, in spite of developers' best efforts, software errors are at the root of most execution errors and security vulnerabilities.

To help improve this state, DARPA has created the Mining and Understanding Software Enclaves (MUSE) program. MUSE seeks to make significant advances in the way software is built, debugged, verified, maintained and understood.

The collective knowledge gleaned from MUSE's efforts would facilitate new mechanisms for dramatically improving software correctness, and help develop radically different approaches for automatically constructing and repairing complex software.

"Our goal is to apply the principles of big data analytics to identify and understand deep commonalities among the constantly evolving corpus of software drawn from the hundreds of billions of lines of open source code available today," said Suresh Jagannathan, DARPA program manager.

"We're aiming to treat programs-more precisely, facts about programs-as data, discovering new relationships (enclaves) among this 'big code' to build better, more robust software."

Central to MUSE's approach is the creation of a community infrastructure that would incorporate a continuously operational specification-mining engine.

This engine would leverage deep program analyses and foundational ideas underlying big data analytics to populate and refine a database containing inferences about salient properties, behaviors and vulnerabilities of the program components in the corpus. If successful, MUSE could provide numerous capabilities that have so far remained elusive.

"Ideally, we could enable a paradigm shift in the way we think about software construction and maintenance, replacing the existing costly and laborious test/debug/validate cycle with 'always on' program analysis, mining, inspection and discovery," Jagannathan said.

"We could see scalable automated mechanisms to identify and repair program errors, as well as tools to efficiently create new, custom programs from existing components based only a description of desired properties."

The Special Notice for MUSE is available here. The Broad Agency Announcement (BAA) for MUSE is available here

.


Related Links
Mining and Understanding Software Enclaves (MUSE)
Space Technology News - Applications and Research






Comment on this article via your Facebook, Yahoo, AOL, Hotmail login.

Share this article via these popular social media networks
del.icio.usdel.icio.us DiggDigg RedditReddit GoogleGoogle




Memory Foam Mattress Review
Newsletters :: SpaceDaily :: SpaceWar :: TerraDaily :: Energy Daily
XML Feeds :: Space News :: Earth News :: War News :: Solar Energy News





TECH SPACE
New Record Set for Data-Transfer Speeds
Washington DC (SPX) Mar 04, 2014
Researchers at IBM have set a new record for data transmission over a multimode optical fiber, a type of cable that is typically used to connect nearby computers within a single building or on a campus. The achievement demonstrated that the standard, existing technology for sending data over short distances should be able to meet the growing needs of servers, data centers and supercomputers thro ... read more


TECH SPACE
Ultra sensitive detection of radio waves with lasers

Squeezing light into metals

Northrop Grumman GATOR System To Start Low-Rate Initial Production Phase

Build me a face in 3D: British man's life 'transformed'

TECH SPACE
Catching signals from a speeding satellite

Raytheon receives contract modification on JPSS Common Ground System

ASC Signal Completes First Phase of Horizon Teleports Installation and Receives Additional Antenna Order

Soldier's Network Update: US Army Capability Set 14 to Include AN/PRC-155 Manpack Tactical Radios

TECH SPACE
Launcher assembly begins for Ariane 5 Flight VA218

ILS And ISS Reshetnev Announce Proton Dual Launch Agreement

Arianespace in spotlight at Satellite 2014: expects another record-breaking year

United Rocket and Space Corporation registered in Russia

TECH SPACE
Russia plans to launch new Glonass satellite on March 24

McMurdo Announces Global Availability of Maritime Fleet Management Software

Fifth Boeing GPS IIF Spacecraft Sends Initial Signals from Space

Russia to deploy up to 7 Glonass ground stations outside of national territory in 2014

TECH SPACE
Lockheed Martin To Upgrade Apache Targeting and Pilotage System

Prague extends lease of Swedish Gripen fighters till 2027

Malaysia rejects jet 'debris' images and four-hour flight report

No sign of Malaysia jet 'debris' spotted by China satellite

TECH SPACE
LED lamps: less energy, more light

Two-dimensional material shows promise for optoelectronics

D-Wave chip passes rigorous quantum-ness tests

Lockheed Martin, University of Maryland to Develop Next Gen Quantum Computer

TECH SPACE
Satellite guardians join search for missing plane

China 'deploys satellites' in search for Malaysia plane

China satellite finds 'suspected crash site' in Malaysia jet hunt

Sub-meter satellite-derived bathymetry now commercially available

TECH SPACE
Paris makes public transport free to tackle severe pollution

Cold nights, warm days trigger pollution alerts across France

Japan's Panasonic to give China expats 'pollution pay'

Greeks protest against Syria chemical weapon destruction at sea




The content herein, unless otherwise known to be public domain, are Copyright 1995-2014 - Space Media Network. All websites are published in Australia and are solely subject to Australian law and governed by Fair Use principals for news reporting and research purposes. AFP, UPI and IANS news wire stories are copyright Agence France-Presse, United Press International and Indo-Asia News Service. ESA news reports are copyright European Space Agency. All NASA sourced material is public domain. Additional copyrights may apply in whole or part to other bona fide parties. Advertising does not imply endorsement, agreement or approval of any opinions, statements or information provided by Space Media Network on any Web page published or hosted by Space Media Network. Privacy Statement All images and articles appearing on Space Media Network have been edited or digitally altered in some way. Any requests to remove copyright material will be acted upon in a timely and appropriate manner. Any attempt to extort money from Space Media Network will be ignored and reported to Australian Law Enforcement Agencies as a potential case of financial fraud involving the use of a telephonic carriage device or postal service.