• Video
  • 12-Dec-2011 11:17 EST

Specifying Usability Requirements for In-Cabin Information Devices

00:19:21
Length:

Purchase Required to View Video

Short Preview Below

Software usability is a quality attribute defined as ?the extent to which a product can be used by specified users to achieve specified goals with effectiveness, efficiency and satisfaction in a specific context of use? (ISO 9241, 1998), usability is also referred to as ?quality in use? (ISO 14598, 1999).

Presenter
Anabell Beltran, Stoneridge Electronics North America

Buy
Select
Price
List
Purchase to View
$19.00
Share
HTML for Linking to Page
Page URL
Grade
Rate It
No ratings yet

View More Video

Video
2012-05-22
Software products in the automotive industry are by nature widely distributed and costly to update (recall), so high reliability is clearly of utmost importance. Just as clearly, the increasing reliance on remote access to such systems, for diagnostic and other purposes, has made security an essential requirement, and traditional techniques for software development are proving to be inadequate in dealing with these issues. Correctness by Construction is a software design and development methodology that builds reliability and security into the system from the start. It can be used to demonstrate, with mathematical rigor, a program's correctness properties while reducing the time spent during testing and debugging. This paper will discuss the use of Correctness by Construction, and its accompanying SPARK language technology, to improve automotive systems' security and reliability. (The approach can also account for safely issues, although that is not the focus of this paper.)

Related Items

Standard
2012-03-15
Technical Paper / Journal Article
2011-04-12
Technical Paper / Journal Article
2010-12-01
Technical Paper / Journal Article
2011-04-12