A Study on User-Oriented Software Assessment Methods Considering Safety and Availability
A Study on User-Oriented Software Assessment Methods Considering Safety and Availability
批准号:
12680442
负责人:
YAMADA Shigeru
金额:
$2.43万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2000
资助国家:
日本
项目状态:
已结题
起止时间:
2000 至 2001
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Software availability is defined as the attribute that the software system is operable and available whenever we want to use it. And software safety is defined as the attribute that it will not cause an unsafe condition. Those attributes are user-oriented quality characteristics of software systems. This research investigates the user-oriented software reliability assessment methods in consideration of software availability and safety. At first we discuss the basic idea of software availability modeling and the difference between modeling for software and hardware systems. Markov processes are applied to the descriptions of the time-dependent behaviors of software systems alternating between up and down states ; then the processes of software reliability growth and the increase in difficulty of restorations are incorporated as well. We also refer to several extended models reflecting the software failure-occurrence phenomenon and the restoration scenario peculiar to the user-operational phase, considering computation performance, and combining a hardware and a software subsystem. Then, we can derive several user-oriented quantitative measures for software availability and safety assessment such as software safety, instantaneous software availability, average software availability, and interval software availability. Furthermore, by using JAVA languages we can develop a software management tool which incorporates the user-oriented software reliability assessment methods.
期刊论文(134)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
T. Fujiwara et al.: "A method of high-reliable software development by the information sharing"J. Soc. Project Management. Vol. 3, No. 2. 9-14 (2001)
T. Fujiwara等:“一种基于信息共享的高可靠软件开发方法”J.
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
D. Satoh et al.: "Discrete equations and software reliability growth models"Proc. 12th IEEE Intern. Symp. Software Reliability Eng.. 176-183 (2001)
D. Satoh 等人:“离散方程和软件可靠性增长模型”Proc。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Koichi Tokuno: "Markovian software availability measurement for continuous use"Proceedings of the 6th ISSAT International Conference on Reliability and Quality in Design. 280-184 (2000)
Koichi Tokuno:“连续使用的马尔可夫软件可用性测量”第六届 ISSAT 国际设计可靠性和质量会议论文集。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
藤原隆次: "一般化されたテスト空間依存型ソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J184-A・7. 950-958 (2001)
Ryuji Fujiwara:“广义测试空间相关软件可靠性增长模型及其适用性评估的考虑”电子、信息和通信工程师学会汇刊 J184-A·7(2001 年)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
T.Fujiwara: "A Software Testing-Management Tool for Reliable Software Development and Its Applications"Proc.the 6th ISSAT Intern.Conf.Reliability and Quality in Design. 175-179 (2000)
T.Fujiwara:“用于可靠软件开发及其应用的软件测试管理工具”Proc.the 6th ISSAT Intern.Conf.Reliability and Quality in Design。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 100 条
A Study on Statistical Process Management for New Software Development Paradigm
-
批准号:16K01242
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$3.0万
-
财政年份:2016
-
负责人:YAMADA Shigeru
-
依托单位:
A Study on Quality/Reliability Assessment Methods for Quality-Oriented Software Management
-
批准号:22510150
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.83万
-
财政年份:2010
-
负责人:YAMADA Shigeru
-
依托单位:
To elucidate the immune activity of heavy ion irradiation in inhibiting lung metastasis in treatment-resistant cancer
-
批准号:21591624
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.91万
-
财政年份:2009
-
负责人:YAMADA Shigeru
-
依托单位:
To examine the effect of the antiangiogenic agents on carbon-ion radiotherapy for refractory digestive cancers
-
批准号:19591467
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.83万
-
财政年份:2007
-
负责人:YAMADA Shigeru
-
依托单位:
Clarification of new adaptive mechanism on physical exercise
-
批准号:18500507
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.27万
-
财政年份:2006
-
负责人:YAMADA Shigeru
-
依托单位:
A Study on Quality/Reliability Oriented Practical Software ProjectManagement Technologies
-
批准号:18510124
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.79万
-
财政年份:2006
-
负责人:YAMADA Shigeru
-
依托单位:
Role of hepatic stem cells in skeletal muscle hypertrophy following tenotomy in a rat model
-
批准号:15500432
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.37万
-
财政年份:2003
-
负责人:YAMADA Shigeru
-
依托单位:
A Study on Process Diagnostic-Check Procedures and Reliability Assessment Technologies for Software Process Quality Improvement
-
批准号:15510129
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.37万
-
财政年份:2003
-
负责人:YAMADA Shigeru
-
依托单位:
The study of the effect of preoperative heavy-ion irradiation on inhibition of local recurrence in patients with resectable pancreas cancer after curative resection.
-
批准号:15591315
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.18万
-
财政年份:2003
-
负责人:YAMADA Shigeru
-
依托单位:
Research on skeletal muscle reinforcement agent and the side effect
-
批准号:11680017
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.3万
-
财政年份:1999
-
负责人:YAMADA Shigeru
-
依托单位:
A Study on Software Reliability Assessment Methods for Imperfect Debugging Environment and Their Applications
-
批准号:10680431
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1998
-
负责人:YAMADA Shigeru
-
依托单位:
A STUDY ON PRACTICAL SOFTWARE RELIABILITY ASSESSMENT MODELING AND ITS APPLICATON TO PROJECT MANAGEMENT
-
批准号:04650316
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$0.83万
-
财政年份:1992
-
负责人:YAMADA Shigeru
-
依托单位:
海外基金