Deshpande Center - Complex Systems and Communications Projects

	INFO BIO NANO MACRO ENVIRO


	Complex Systems and Communications at MIT Aeronautical Systems Laboratory Artificial Intelligence Laboratory Center for Energy and Environmental Policy Research Center for Infrastructure Science and Technology Center for Transportation and Logistics Engineering Design Research Laboratory House_n: MIT Home of the Future Consortium Laboratory for Electromagnetic and Electronic Systems Laboratory for Information and Decision Systems Laboratory for Manufacturing and Productivity Project Oxygen (LCS) System Design and Management Program


	AUTOMATICALLY GENERATING SYSTEM SPECIFICATIONS Michael Ernst Laboratory for Computer Science Department of Electrical Engineering / Computer Science Complex systems are notoriously difficult to understand, control, and modify. And software systems pose a particular problem, because of their large number of parts (millions of lines of code are commonplace), the arbitrary connections between their parts (unlimited by physical constraints), and their rapid rate of change (literally overnight), among other factors. But reliability in these systems is increasingly crucial to society, and the ability to produce dependable software presents a substantial competitive advantage. This project is applying a novel technology to the problems of understanding, evolving, testing, and debugging software systems. The technology will be able to generate formal specifications-which should precede software development, but often don't-after the fact. Its potential applies not only to the analysis of software, but to any observable, measurable, complex process. The team is currently collaborating with two local software development companies.