*banner
 

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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2017 Chess