scholarly journals Definition and application of an assurance case development method (d*)

SpringerPlus ◽  
2013 ◽  
Vol 2 (1) ◽  
Author(s):  
Takuya Saruwatari ◽  
Shuichiro Yamamoto
Keyword(s):  
Development Method ◽  
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.

Developing Science Teaching Material to Increase Elementary Students’ Science Process Skill

2019 ◽  
Vol 2 (1) ◽  
pp. 53
Author(s):  
Ai Hayati Rahayu ◽  
Bunyamin Faisal Syarifudin
Keyword(s):  
Research And Development ◽  
Elementary Students ◽  
Teaching Material ◽  
Learning Material ◽  
Development Method ◽  
Process Skill ◽  
Science Process Skill ◽  
The Mean ◽  
Problem Solving Process ◽  
Development Of Students

Mastering science process skill is very beneficial in problem solving process. This research aimed to develop teaching materials such as science process skill-based textbooks on energy and its changes. The method used in this research was research and development, by using the 4D design, which include define, design, develop, and disseminate. Research and development method were used to produce a product and to test its efficiency. The result showed that the learning material fulfill the assessment criteria. The mean validation result of textbook showed a number of 3.58 indicated as a good category. Based on T test, it was proven that the use of textbooks is indeed influential towards the development of students’ science process skill.

PENGEMBANGAN BAHAN AJAR TEKS DRAMA BERDASARKAN PENGALAMAN PENGARANG

2019 ◽  
Vol 8 (2) ◽  
Author(s):  
Didin Khaerudin ◽  
Suherli Kusmana ◽  
Iyay Robia Khaerudin
Keyword(s):  
Personal Experience ◽  
Teaching Materials ◽  
Learning Skills ◽  
Student Activities ◽  
Development Method ◽  
Average Value ◽  
Surrounding Environment ◽  
Basic Competencies ◽  
Materials Used ◽  
Minimum Criteria

Research conducted to develop drama text teaching materials based on the experience of the author of the drama script aims to make it easier for students to understand drama text material. In addition, based on the author's experience students are expected to emulate the author's creative process in writing a paper. The research method used in this research is the research and development method. Based on the results of the interview it can be concluded that the ability to write drama is determined based on mastery of the elements of drama and the ability to develop stories based on the author's experience. The process of writing drama is done in several steps: (1) searching for ideas based on personal experience, other people, or the surrounding environment; (2) processing ideas to find plots (characters), characters or characters that vary with their inner conflicts, settings and dialogues, interesting conflicts, and messages to be conveyed; (3) starts the process of writing drama with stages and elements of drama; (4) revision of drama products. Teaching material developed is presented from basic competencies of knowledge and basic competencies of learning skills. Based on experiments on developed teaching materials it is known that the average value of the ability to write plays gets a score exceeding the minimum criteria, so that the teaching materials used are effective. Based on observations it is known that teaching materials can help students in learning and student activities become more independent, and active.

Proposal of Model-based HMI Development Method for In-vehicle System

2018 ◽  
Vol 138 (11) ◽  
pp. 1435-1443
Author(s):  
Yoshitaka Atarashi ◽  
Manabu Morita ◽  
Norihisa Komoda
Keyword(s):  
Development Method ◽  
Model Based ◽  
Vehicle System
Sign in / Sign up

Export Citation Format

Share Document