By Topic

Case study: Using requirements and finite state machine for evaluating software trustworthiness

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Mitra Nami ; École de technologie supérieure, Montreal, Canada ; Witold Suryn

Evaluating software trustworthiness requires defining a model that is tailored to the functional and quality requirements that the software has to fulfill. This paper is a follow-up of previously presented research on modeling software trustworthiness by using Finite State Machine (FSM) and scenarios. This paper presents a case study where the novel behavioristic model for verifying software trustworthiness based on scenarios of interactions between the software and its users and environment was applied. The approach supports incremental changes in requirements and scenarios.

Published in:

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society

Date of Conference:

25-28 Oct. 2012