NDLI: Invited talk: How the Fundamental Assurance Question pervades certification

Content Provider	IEEE Xplore Digital Library
Author	Feather, Martin
Copyright Year	2013
Description	Author affiliation: Jet Propulsion Laboratory, California Institute of Technology (Feather, Martin)
Abstract	Assurance Cases are promoted as a means by which to present an argument for why a system is sufficiently dependable (alternate terms for the same concept include “Dependability Cases”, “Safety Cases” when the concern is safety, “Security Cases”, etc.). The purpose of such an argument is typically to inform a decision maker, often in the context of a key certification decision, so he/she will be better able to make that decision. Examples of such decisions include whether to deploy a system, whether to make an upgrade to an existing system, whether to advance a system to the next phase in its development. Assurance Cases are widely practiced in Europe, and are receiving growing attention in North America. For software systems in particular, an assurance-case-based approach is often contrasted to a standards-based approach, the latter being characterized as more “prescriptive” in specifying the process and techniques to be applied to sufficiently assure software. The proponents of an assurance-case-based approach point out that the need to construct a sufficiently convincing Assurance Case puts the onus on the provider of the software to present the argument for its dependability, as compared to putting the onus on the regulator to have described in advance a sufficient process to be followed by the provider in their development of software. The distinction is not as clear-cut as it might at first seem. Both approaches have the need to assess by how much the outcomes of assurance activities (e.g., testing; code review; fault tree analysis; model-checking) raise confidence in decisions made about the system. For a standards-based approach, how is it possible to determine whether the required standard practice can be relaxed or waived entirely, when an alternate approach can be substituted, when additional activities are warranted? These determinations hinge on an understanding of the role of assurance activities, and the information conveyed by their outcome. These questions will arise more often and become more urgent to answer in the evolving world mentioned in the Call for Papers. For an assurance-case-based approach the outcome of an assurance activity will be evidence located within the assurance case, which makes it easier to see the role it plays in the overall assurance argument, but the same question arises — what is its information contribution to confidence? Distilling these gives the “Fundamental Assurance Question,” namely how much do assurance activities contribute to raising decision confidence about system qualities, such as safety? These questions — and an intriguing start at answering them — will be the focus of this talk.
Starting Page	1
Ending Page	1
File Size	92828
Page Count	1
File Format	PDF
ISBN	9781479925520
DOI	10.1109/ISSREW.2013.6688831
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-11-04
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Content Type	Text
Resource Type	Synopsis

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Invited Talk: Information assurance considerations for software supply chains and 3rd parties

Invited Talk: Attacking Information Overload in Software Development

Invited Talk: Rainbow: Engineering Support for Self-Healing Systems

Invited Talk 2: The Evolution of Software-Evolution Research by Eleni Stroulia

Dependency structure and cognition invited talk.

Invited Talk 1: Evolving Software Systems: Emerging Trends and Challenges by Alexander Serebrenik

Invited talk: Logic scaling assessment in 20nm and beyond under electrical and litho constraints

Invited Talk I - 2012 IEEE Sixth International Conference on Software Security and Reliability Companion

Invited Talk II - 2012 IEEE Sixth International Conference on Software Security and Reliability Companion

Invited talk: How the Fundamental Assurance Question pervades certification

Similar Documents

Invited Talk: Information assurance considerations for software supply chains and 3rd parties

Invited Talk: Attacking Information Overload in Software Development

Invited Talk: Rainbow: Engineering Support for Self-Healing Systems

Invited Talk 2: The Evolution of Software-Evolution Research by Eleni Stroulia

Dependency structure and cognition invited talk.

Invited Talk 1: Evolving Software Systems: Emerging Trends and Challenges by Alexander Serebrenik

Invited talk: Logic scaling assessment in 20nm and beyond under electrical and litho constraints

Invited Talk I - 2012 IEEE Sixth International Conference on Software Security and Reliability Companion

Invited Talk II - 2012 IEEE Sixth International Conference on Software Security and Reliability Companion

Invited talk: How the Fundamental Assurance Question pervades certification