CS7933: Ultra Large Scale Systems (Fall 2007)



General Information


Course Description

ULS are software-intensive systems that will be built in the foreseeable future that exceed the size of those that can be built today. Examples include a smart, adaptive power grid; a system for collecting, fusing, analyzing, and exploiting information across an entire theater of war; an automatic driving system for a major city.

ULS will tend to be decentralized, heterogeneous, continuously evolving, and safety critical. The full set of requirements will never be available. Systems with these characteristics are notoriously difficult to implement, and efforts to do so commonly fail in expensive and embarrassing ways. It is safe to say that new engineering methods will be needed to create ULS.

The seminar will begin by reading and discussing a recent report that introduces ultra large scale systems and their associated research issues. Subsequent discussion and reading will be driven by the interests of the seminar's attendees. Students enrolling for credit will be responsible for presenting material and leading discussions. No particular background or research area will be assumed.


Class Schedule



date topic reading discussion leader
8/22 course intro none John
8/29 intro and characteristics Report ch 1 and 2 John
9/5
Report ch 3 and 4 John
9/12
Report ch 5 and sections 6.1 and 6.2 John
9/19
Report rest of ch 6 John
9/26 emergence Emergent (mis)behavior vs. complex software systems John
10/3 distributed cognition Distributed cognition: toward a new foundation for human-computer interaction research Nathan
10/10 fall break

10/17
Verified systems by composition from verified components Jianjun
10/24
Function Extraction for Computation of Software Behavior Lu
10/31 design rules Architectural Mismatch or Why it's hard to build systems out of existing parts
Cyber-Physical Systems - Are Computing Foundations Adequate?
Eric
11/7 no class

11/14
Information survivability control systems

11/21 no class -- Thanksgiving

11/28
Meld: A Declarative Approach to Programming Ensembles
12/5





This page is maintained by John Regehr, mail me if you find a mistake or if any content is unclear.