Argument Algebra: A Formalization of Assurance Case Development

2014 ◽  
pp. 717-725 ◽  
Author(s):  
Shuichiro Yamamoto
Keyword(s):  
Case Development ◽  
Assurance Case

scholarly journals Tool support for assurance case development

2017 ◽  
Vol 25 (3) ◽  
pp. 435-499 ◽  
Author(s):  
Ewen Denney ◽  
Ganesh Pai
Keyword(s):  
Tool Support ◽  
Case Development ◽  
Assurance Case

scholarly journals Using Assurance Cases in Requirements Engineering for Safety-Critical Systems

2019 ◽  
Author(s):  
Camilo Camilo Almendra ◽  
Flavia Barros ◽  
Carla Silva
Keyword(s):  
Requirements Engineering ◽  
Agile Development ◽  
Integrated Analysis ◽  
Systematic Mapping Study ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Assurance Cases ◽  
Case Development ◽  
Assurance Case

Context: Certification of safety-critical systems (SCS) demands thorough documentation that demonstrates why a system shall be considered safe. Assurance Case Development (ACD) is an approach for discussing, analyzing and assessing the safety properties of systems. Software requirements of a SCS are an essential information included in assurance cases, alongside system design and safety analysis information. Lack of integrated analysis of requirements and safety concerns may lead to safety issues in the development of critical systems. One of the challenges for the agile development of SCS is to address both Requirements Engineering (RE) and ACD in an integrated way throughout the development life cycle. Objective: This research proposes a framework to integrate the Assurance Case Development and Agile RE in the development of SCS. Method: This research is organized in three main phases. First, a systematic mapping study is performed to understand how incremental ACD is addressed by current approaches, and a survey with experts is carried out to understand the development of ACs during Agile RE activities in practice. Second, the framework and its supporting tools and documentation will be designed and developed. Finally, a series of empirical studies will evaluate aspects of the framework in a multi-perspective manner and as long as it is developed. Conclusions: We expect that this approach contributes to leverage the development of ACs earlier and integrated with RE activities in agile development of SCS.

scholarly journals Using Blockchain-Enabled Solutions as SDG Accelerators in the International Development Space

2021 ◽  
Vol 13 (7) ◽  
pp. 4025
Author(s):  
Ahmet Faruk Aysan ◽  
Fouad Bergigui ◽  
Mustafa Disli
Keyword(s):  
International Development ◽  
Integrated Approach ◽  
Use Case ◽  
Good Practices ◽  
Blockchain Technology ◽  
Hype Cycle ◽  
The World ◽  
Fit For Purpose ◽  
Development Approach ◽  
Case Development

As the world is striving to recover from the shockwaves triggered by the COVID-19 crisis, all hands are needed on deck to transition towards green recovery and make peace with nature as prerequisites of a global sustainable development pathway. In this paper, we examine the blockchain hype, the gaps in the knowledge, and the tools needed to build promising use cases for blockchain technology to accelerate global efforts in this decade of action towards achieving the SDGs. We attempt to break the “hype cycle” portraying blockchain’s superiority by navigating a rational blockchain use case development approach. By prototyping an SDG Acceleration Scorecard to use blockchain-enabled solutions as SDG accelerators, we aim to provide useful insights towards developing an integrated approach that is fit-for-purpose to guide organizations and practitioners in their quest to make informed decisions to design and implement blockchain-backed solutions as SDG accelerators. Acknowledging the limitations in prototyping such tools, we believe these are minimally viable products and should be considered as living tools that can further evolve as the blockchain technology matures, its pace of adoption increases, lessons are learned, and good practices and standards are widely shared and internalized by teams and organizations working on innovation for development.

Integrating an assurance case into DO-178B compliant software development

2015 ◽  
Author(s):  
John Knight ◽  
Jonathan Rowanhill ◽  
Uma Ferrell ◽  
Alec Bateman ◽  
Neha Gandhi
Keyword(s):  
Software Development ◽  
Assurance Case

Advancement in the Application of Finite Element Analysis to the Optimization of Composite Yacht Structures

2011 ◽  
Author(s):  
David Fornaro
Keyword(s):  
Finite Element Analysis ◽  
Finite Element ◽  
Composite Structures ◽  
State Of The Art ◽  
Load Case ◽  
Post Processing ◽  
Principal Stresses ◽  
Element Analysis ◽  
Current State ◽  
Case Development

Finite Element Analysis (FEA) is mature technology that has been in use for several decades as a tool to optimize structures for a wide variety of applications. Its application to composite structures is not new, however the technology for modeling and analyzing the behavior of composite structures continues to evolve on several fronts. This paper provides a review of the current state-of-the-art with regard to composites FEA, with a particular emphasis on applications to yacht structures. Topics covered are divided into three categories: Pre-processing; Postprocessing; and Non-linear Solutions. Pre-processing topics include meshing, ply properties, laminate definitions, element orientations, global ply tracking and load case development. Post-processing topics include principal stresses, failure indices and strength ratios. Nonlinear solution topics include progressive ply failure. Examples are included to highlight the application of advanced finite element analysis methodologies to the optimization of composite yacht structures.

Sign in / Sign up

Export Citation Format

Share Document