Skip to main content

Summary of a Workshop on Software Certification and Dependability (2004) / Chapter Skim
Currently Skimming:

1 Overview of Workshop Discussions
Pages 1-4

The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.


From page 1...
... · During the workshop, committee members deliberately refrained from questioning views expressed at the workshop -- they preferred to use the time to gather input from workshop participants in an impartial manner. In addition, the committee chose not to extend the discussions in this firstphase report, instead reserving that task for the final report.
Read the entire page →
From page 2...
... This is true not only at the individual level but also at the organizational level. · One increasingly sophisticated set of tools that can help in the software development process with respect to dependability is the set of tools related to programming languages, such as type checkers, static analyzers, and model checkers.
Read the entire page →
From page 3...
... PANEL F CASE STUDY: ELECTRONIC VOTING · Structural flaws in the voting system go beyond the absence of voter-verifiable paper trails. · The lack of detailed risk analysis, coupled with a lack of openness in the voting system certification process, poses serious challenges to achieving a dependable voting infrastructure.
Read the entire page →

Key Terms

  • views expressed
  • dependable software
  • certification process
  • certifiably dependable
  • gather input

  • panel session
  • dependable voting
  • committee chose
  • flawed software
  • questioning views

  • additional input
  • software industry
  • sophisticated set
  • themes arising
  • release flawed

  • static analyzers
  • dependable electronic
  • engineering processes
  • create incentives
  • poses serious

  • risk analysis
  • tools related
  • cost structure
  • particular workshop
  • particular processes

  • current certification
  • model checkers
  • type checkers
  • voting infrastructure
  • following particular


    • This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
    More information on Chapter Skim is available.