Strategic Directions in Software At Scale
Michael J. May, Edward A. Lee, Lindsay E. Jones

Citation
Michael J. May, Edward A. Lee, Lindsay E. Jones. "Strategic Directions in Software At Scale". Technical report, Office of Information Systems & Cyber Security (ISCS), Office of the Director, Defense Research & Engineering (DDR&E), DDRE-ISCS-2010-1, November, 2010; The presentations from the workshop may be found at http://chess.eecs.berkeley.edu/conferences/10/SDISAS/.

Abstract

In August 2010, the Office of Information Systems and Cyber Security (ISCS) within the Office of the Director, Defense Research and Engineering (DDR&E) sponsored the Strategic Directions in Software at Scale (SaS) Workshop. The SaS Workshop was hosted by the University of California, Berkeley. The goals of the workshop were to:

• Identify new ideas and promising research directions in software engineering and computer science achievable in the short-, mid-, and long-term.
• Identify opportunities for collaboration and engage in rich intellectual exchange of technical ideas.
• Create a foundation for developing a DoD roadmap for SaS.
• Begin to build a case for increasing DoD investment in software engineering and computer science research to strengthen the DoD’s software technology base.

Fifteen invited speakers gave presentations in the areas of software synthesis, robust and continuous behavior, temporal semantics, scalable composition, and software engineering process and methodology. Each speaker advocated a particular technical approach that could be the basis for a “Strategic Direction” in future software research. To capture the quality and promise of the technical approaches, attendees were asked to rate each presentation with respect to six evaluation criteria.

The overall best technical approaches, as assessed by the attendees, were "Temporal Semantics in Concurrent and Distributed Software"—Edward Lee, "Is Distributed Consistency Scalable?"—Ken Birman, and "The Effect of Software (and Communication) Reliability and Security on Control Systems"—Bruno Sinopoli.

Electronic downloads

Internal. This publication has been marked by the author for Chess-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Michael J. May, Edward A. Lee, Lindsay E. Jones. <a
  href="http://chess.eecs.berkeley.edu/pubs/799.html"><i>Strategic
  Directions in Software At Scale</i></a>,
  Technical report,  Office of Information Systems & Cyber
  Security (ISCS), Office of the Director, Defense Research
  & Engineering (DDR&E), DDRE-ISCS-2010-1, November,
  2010; The presentations from the workshop may be found at
  <a
  href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/"
  >http://chess.eecs.berkeley.edu/conferences/10/SDISAS/</a>.

• Plain text

  Michael J. May, Edward A. Lee, Lindsay E. Jones.
  "Strategic Directions in Software At Scale".
  Technical report,  Office of Information Systems & Cyber
  Security (ISCS), Office of the Director, Defense Research
  & Engineering (DDR&E), DDRE-ISCS-2010-1, November,
  2010; The presentations from the workshop may be found at
  <a
  href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/"
  >http://chess.eecs.berkeley.edu/conferences/10/SDISAS/</a>.

• BibTeX

  @techreport{MayLeeJones10_StrategicDirectionsInSoftwareAtScale,
      author = {Michael J. May and Edward A. Lee and Lindsay E.
                Jones},
      title = {Strategic Directions in Software At Scale},
      institution = {Office of Information Systems \& Cyber Security
                (ISCS), Office of the Director, Defense Research \&
                Engineering (DDR\&E)},
      number = {DDRE-ISCS-2010-1},
      month = {November},
      year = {2010},
      note = {The presentations from the workshop may be found
                at <a
                href="http://chess.eecs.berkeley.edu/conferences/10/SDISAS/"
                >http://chess.eecs.berkeley.edu/conferences/10/SDISAS/</a>},
      abstract = {<p>In August 2010, the Office of Information
                Systems and Cyber Security (ISCS) within the
                Office of the Director, Defense Research and
                Engineering (DDR\&E) sponsored the Strategic
                Directions in Software at Scale (SaS) Workshop.
                The SaS Workshop was hosted by the University of
                California, Berkeley. The goals of the workshop
                were to:</p> <ul> <li> Identify new ideas and
                promising research directions in software
                engineering and computer science achievable in the
                short-, mid-, and long-term.</li> <li> Identify
                opportunities for collaboration and engage in rich
                intellectual exchange of technical ideas.</li>
                <li> Create a foundation for developing a DoD
                roadmap for SaS.</li> <li> Begin to build a case
                for increasing DoD investment in software
                engineering and computer science research to
                strengthen the DoD�s software technology
                base.</li> </ul> <p> Fifteen invited speakers gave
                presentations in the areas of software synthesis,
                robust and continuous behavior, temporal
                semantics, scalable composition, and software
                engineering process and methodology. Each speaker
                advocated a particular technical approach that
                could be the basis for a �Strategic Direction�
                in future software research. To capture the
                quality and promise of the technical approaches,
                attendees were asked to rate each presentation
                with respect to six evaluation criteria.</p> <p>
                The overall best technical approaches, as assessed
                by the attendees, were "Temporal Semantics in
                Concurrent and Distributed Software"�Edward Lee,
                "Is Distributed Consistency Scalable?"�Ken
                Birman, and "The Effect of Software (and
                Communication) Reliability and Security on Control
                Systems"�Bruno Sinopoli.</p>},
      URL = {http://chess.eecs.berkeley.edu/pubs/799.html}
  }
  

Posted by Christopher Brooks on 4 Jan 2011.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.