有关软件可靠性的网址

elic

http://www.rspa.com/

R.S.Pressman&Associates,Inc.公司网址，该公司致力于软件工程技术的开发，特别是软件的过程改进，提供有关的软件过程改进产品和培训视听产品。该网址有部分软件工程方面的文章可下载。04.06.15

http://sunnyday.mit.edu/index.html

美国著名的软件可靠性和安全性专家NancyLeveson教授的网址，网上有她承担的工程项目和公开发表的论文、技术报告等。04.06.15

http://www.bsr.uwaterloo.ca/

贝尔加拿大软件可靠性实验室网址。该实验室由贝尔加拿大和加拿大Waterloo大学共同建立.研究重点是软件的管理监督和互联网软件的可靠性和重用。04.06.15
http://www.misra.org.uk/

英国汽车工业软件可靠性协会（MotorIndustrySoftwareReliabilityAssociation）网址，该协会的目的是为各种车辆和相关系统提供可靠和安全的应用软件。04.06.15

　

http://www.cs.umd.edu/projects/SoftEng/tame/

美国Maryland大学，软件工程实验组网址，其研究范围包括软件质量改进、软件过程模型等，从该网址可以查找到他们的研究课题及有关的资料。04.05.15



http://www.system-safety.org/

美国系统安全学会网址，系统安全学会成立于1964年，软件对系统安全的影响是该学会关注的重要问题，从该网址上可以查找到美国安全性军标MIL-STD-882D和软件系统安全手册。04.05.15



http://www.sae.org/

美国汽车工程师学会网址，从网址上可查找到该学会制定的软件可靠性标准。04.05.15

　

http://www.cs.umd.edu/projects/SoftEng/tame/

美国Maryland大学，软件工程实验组网址，其研究范围包括软件质量改进、软件过程模型等，从该网址可以查找到他们的研究课题及有关的资料。



http://www.system-safety.org/

美国系统安全学会网址，系统安全学会成立于1964年，软件对系统安全的影响是该学会关注的重要问题，从该网址上可以查找到美国安全性军标MIL-STD-882D和软件系统安全手册。



http://www.sae.org/

美国汽车工程师学会网址，从网址上可查找到该学会制定的软件可靠性标准。

　

http://laser.cs.umass.edu/

美国MassachusettsAmherst大学计算机科学系高级软件研究实验室(LASER)网址，LASER的目的是开发实用技术，用于降低软件开发和维护费用，提高软件产品质量。研究重点是开发用于分布式环境，具有高可靠要求的软件。从该网址可查找到相关的资料。

http://www.ics.uci.edu/～arcadia/

美国加利福利亚大学(Irvine)信息及计算机科学系Arcadia研究项目网址，Arcadia目的是研究软件工程的工具和技术，支持具有高可靠要求的、大型复杂软件系统的开发和维护。从该网址可以查找到有关的资料和信息。

http://www.cs.colostate.edu/testing/

美国Colorado州立大学计算机科学系测试及可靠性研究组网址，软件可靠性是该系关注的一个重点，从该网址可以查找到它们的研究课题、文章和工具。

http://www.informatik.uni-stuttgart.de/ifi/ps/reengineering/

美国IEEE计算机学会软件工程理事会，软件再工程资料库网址之一，网址服务器设在德国斯图加特大学，这个资料库是由关心软件再工程专业人员，自愿收集提供形成的，从这个资料库可以查找到相关的资料，有重要的参考价值。

http://www.cc.gatech.edu/reverse/bibliography/

美国IEEE计算机学会软件工程理事会，软件再工程资料库网址之二，网址服务器设在美国乔治亚技术学院，与设置在德国斯图加特大学的资料库内容完全相同，这个资料库是由关心软件再工程专业人员，自愿收集提供形成的，从这个资料库可以查找到相关的资料，有重要的参考价值。

http://www.acm.org/sigsoft/

美国计算机学会(ACM)软件工程专业组网址，从该网址可以查找到有关学术会议的信息和专业技术资料。

http://www.cenorm.be/isss/

欧洲标准化委员会信息系统标准化协会网址，从该网址可以了解到欧洲信息技术标准化方面的动态。

美国IEEE计算机学会软件工程技术网

http://www.tcse.org/

从这个网址可以查找到软件可靠性，维护性学术会议的信息。

美国IEEE软件工程标准委员会安全性研究组网页

http://www.csl.sri.com/~victoria/sgg.html

该网页提供了IEEE制定软件安全性标准的信息。

　

美国海军研究实验室信息技术部高保证计算机系统中心

http://chacs.nrl.navy.mil/

该中心的目的是保证计算机系统的可靠性和安全性。改进形式化方法用于分析和开发计算机软件是其关注的一个焦点。从这个网址可以查找到该中心的研究项目、出版物。

美国国家软件研究中心

http://www.cnsoftware.org/

可信软件系统的研究是该中心的一个研究课题。从网址上可以查找到有关该项目的介绍。

美国国家标准和技术研究所软件质量组

http://hissa.ncsl.nist.gov/

软件质量组的一个重要任务是提供技术和工具，保证软件系统的高完整性(HISSA)。从这个网址可以查找到自动测试方法和工具、软件评估方法、故障预防和检测、软件失效数据等资料。

美国Citgital公司（原名美国可靠软件技术公司：RST）网址

http://www.cigital.com/

该公司致力于软件危险管理和可靠性技术的研究和推广，在软件测试领域有很高的知名度，从该网址可查找到相关资料并提供了众多的软件质量、可靠性、安全性方面的链接通道。

美国SRL系统设计实验室可信系统结构组网址

http://www.sdl.sri.com/programs/dsa/

该实验室的目的是应用当代系统工程的成果，为系统开发中的各种问题，提供可信、安全、可靠、可用的解决方法。其研究课题包括分布传输过程，安全软件结构。从这个网址可以下载英国国防部标准MOD-00-56.‘防务系统安全管理要求’。

美国乔治亚计算技术学院逆向工程组网址

http://www.cc.gatech.edu/reverse/

在这个网址可以查找到逆向工程的参考文献、工具和技术报告。

美国中田纳西州立大学软件测试在线资源网址

http://www.mtsu.edu/~storm/

这个网址提供了众多的与软件测试有关的网址。

elic

美国乔治亚Mason大学信息和软件工程系信息系统安全中心网址

http://isse.gmu.edu/~csis/

该中心的研究课题包括完整性机构和模型。从网址上可以查找到该课题的介绍。

可用性、费用和资源分配(Availability,Cost,AndResourceAllocationACARA)

http://godzilla.lerc.nasa.gov/ppo/acara.html

这是NASALewis研究中心工程师编制的一个软件，用于分析定期维修系统的可用性，寿命周期费用（LCC）和资源分配计划，它综合应用指数分布和威布尔分布去模拟每个系统零件的使用寿命。ACARA软件可以根据系统框图评定每个能力等级的系统可用性，进行各种形式的分析和趋势研究。它可以同时给出状态可用性和等效可用性（状态可用性的加权平均值）指标，评定可靠性和丧失承载能力的概率，以及在系统不同使用周期内每个零件的失效概率。它还可评定由于资源不足对系统可用率和寿命周期费用的影响等等。分析结果可以同时用表格和图解方式表示，使用界面十分友好，菜单驱动、全屏幕的数据输入和采用输入和输出数据存储和检索的文件管理系统，并能进入全自动导航模式，不用用户介入，按照既定的程序进行模拟。

BQR可靠性工程公司(BQRReliabilityEngineeringLtd.)

http://www.bqr.com/

该网址介绍用于可靠性、维修性、测试性和综合后勤保障ILS规划和模拟的计算机辅助可靠性工程（CARE）软件产品。在网上可查到该公司所提供的软件产品和咨询服务，还可看到CARE软件的演示，并提供下载。

计算机软件管理和信息中心主页

(ComputerSoftwareManagementandInformationCenterCOSMICHomePage)

http://www.cosmic.uga.edu

该网址详细介绍NASA计算机软件管理和信息中心(COSMIC)开发的所有可靠性工程软件，这些软件可以从该处订购。
计算机辅助建模和模拟(Computer-AidedRateModelingandSimulationCARMS)
http://www.tc.umn.edu/nlhome/m121/puk/carms.htm
计算机辅助建模和模拟是一个专为解决时间性变量的预计问题而设计的蒙特卡罗综合模型和模拟工具软件。功能包括：提供以状态图为基础的CAD环境供建模；表格式的界面用于数据输入；专家系统用于自动建模；图形界面用于显示模拟结果。CARMS的主要应用是可靠性分析、运行研究、故障容限系统、工程设计、以及应用蒙特卡罗分析的科学和统计模型。

软件设计的全球策略(GlobalStrategiesSoftware4Design)

http://www.software4design.com/

全球策略（http://www.software4design.com/globalindex.htm）是加拿大Relex软件公司的一个部门，是一个提供可靠性产品和服务的的资源。其产品部门（http://www.software4design.com/productsmainindex.htm）可提供有关可靠性、FMECA、维修性寿命周期费用、故障诊断、测试性和后勤保障的软件产品。这些是最新的分析工具和管理手段，可用于系统可靠性分析计算或是管理，该公司根据新产品的上市，不断更新网页。

IsographDirect软件产品(IsographDirectSoftwareProducts)

http://www.isograph.com/

Isograph在可靠性和安全性分析软件产品的的研制方面处于领先地位。产品包括：故障树和事件树分析、FMECA、失效率预计、可靠性框图分析、模拟、以可靠性为中心的维修、危险分析、威布尔分析、马尔可夫分析和寿命周期费用分析等。

ITEM软件(ItemSoftware)

http://www.itemuk.com/

ITEM软件是世界公认处于领先地位的可靠性工程软件供应商。该软件公司成立于1986年，目的是开发和销售有关质量和RMS领域的软件。经过十多年的经营，用户已扩展到国防、通讯、宇航、汽车、铁路、核能和电子等工业领域，涉及35个国家，6000多个用户。公司根据用户和软件技术的发展需求不断地对软件进行更新，并向用户提供培训和售后服务。

Bellcore可靠性预计方法（PREDICTORReliabilityMethod）

http://software-guide.com/cdprodl/swhrec/014/234.shtml

Bellcore可靠性预计方法可以按照BELLCORE技术咨询版“电子设备的可靠性预计程序”自动地进行预计，包括元器件的老化和试验。需要用户控制的是每一种电阻、电容、集成电路等的老化和试验参数，这样对于每种元器件和系统的老化或试验的温度和时间可专门设定。

Relex可靠性预计软件（RelexReliabilityPredictionSoftwareTools）

http://www.relexsoftware.com/prediction.htm

Relex提供的可靠性预计软件工具包括MIL-HDBK-217和Bellcore/Telcordia可靠性软件。Relex217是根据最新版的MIL-HDBK-217元件应力模型和元件计数法计算可靠性，而RelexBellcore软件是根据最新版的Bellcore/Telcordia可靠性预计程序计算可靠性。软件有良好的用户界面、高效的CAD输入/输出向导、包容上万个元器件的元件数据库、科学图表、可视报告设计、拼写检查、权衡研究、VBA宏等功能，得到了可靠性专家和初学者的高度评价。Relex是先进的R&M工业应用软件，它和MIL-HDBK-217，Bellcore，机械可靠性预计，可靠性框图法，FMEA，FMECA，维修性预计，RCM和寿命周期费用分析，故障树分析等方法软件被集成为一个综合的软件工具包。

可靠性软件公司(ReliaSoftCorp.)

http://www.reliasoft.com/

可靠性软件公司成立于1992年，在可靠性工程的开发和研究、软件和服务领域占有领先地位。主要为企业的产品制造提供可靠性和质量工程的咨询服务。可靠性软件公司的可靠性工程软件产品已成为实施可靠性分析的标准，这些软件有：ReliaSoft’sWeibull++寿命数据威布尔分析软件（http://www.weibull.com），ALTA加速寿命试验分析软件，RG可靠性增长分析软件，和BlockSim系统可靠性和维修性分析软件。

可靠软件技术(ReliableSoftwareTechnologies)

http://www.rstcorp.com/

可靠软件技术公司是为关键的商业软件提供软件保证技术的一个权威机构。它可提供软件保证技术产品和服务，帮助企业提高软件的质量、可靠性、健壮性和保密性。由于公司具有丰富的测试、保密和度量方面的经验，可以指导企业优化软件制作过程，从而大大加速软件入市的进程。

可靠性中心公司，PROACT软件(ReliabilityCenter,Inc.PROACTsoftware)

http://www.reliability.com/proactinfo.htm

可靠性中心公司的工作重心是过程、设备、人员和维修的可靠性。公司用于帮助企业提高可用性的方法之一是失效根原因分析或称之为RCFA。RCFA可以使企业解决故障问题从事后处理转变为事前处理的方式。PROACT是公司开发的辅助现场进行RCFA的软件，它相当于一个项目经理在现场进行分析。

可靠性评估软件(ReliabiltyEstimationSoftware)

http://www.mich.com/~espinoza/rma_est.htm

可靠性评估软件是一个应用威布尔、对数正态、正态或指数分布估计和预计可靠性的软件包。此外，它也可用于贝叶斯预计。

SINTEF工业安全和可靠性(SINTEFIndustrySafetyandReliability)

http://www.sintef.no/sipaa/hard.html

SINTEF在可靠性和维修性工程方面具有扎实的理论基础，并且在处理大量的工业项目问题中积累了丰富实际经验，开发的CARA是世界一流水平的可靠性分析软件包。在系统可靠性模拟方面，SINTEF工业管理的安全和可靠性部门已经开发了许多成功的软件，如模拟海底采油和燃气生产系统的模拟程序pcFOSP。这些程序正在石油公司和供应商中应用。同时，该部门在创建和维护一些重要的数据库中发挥了重要的作用，如OREDA（海底采油可靠性数据）、SCSSV（海面控制的海底安全阀）和BOP（防喷装置）以及海底防喷数据库等。

软件研究所软件质量热线(SoftwareResearchInstitute,Inc.SR/Institute’s)

http://www.soft.com/Institute/HotList/

软件研究所开通了联接有关软件质量保障和软件测试保障机构和研究所的软件质量热线QualityHotListTM。目标是使热线成为进行软件测试和软件质量技术研究和开发的第一站。

T-Cubed系统公司,可靠性预计软件RelcCale

http://www.t-cubed.com/index.html

T-Cubed系统公司开发和销售RelcCaleWindows软件。该软件可按照MIL-HDBK-217或Bellcore程序，自动地进行可靠性预计，并且可对电子线路和系统进行快速和方便的可靠性分析。

TelstressMTBF可靠性预计软件

http://www.itemuk.mcmail.com/telstres.htm

Telstress是一个有效的MTBF可靠性预计软件，它是依据BellcoreTR-NWT-000332，RDF和HRD标准编制的。对于不同的元器件种类，这些标准应用了不同的模型去预计失效率，并且考虑了环境条件、质量因素和其他各种参数的影响。这些模型在这些标准的手册中有详细的说明。Telstress提供用户良好的微软视窗界面、可以方便地进行建模、分析和显示。下拉菜单、对话框和框图制作使预计工作非常简便。软件同时提供数据库管理和输入工具，并且还能自动生成质量报告。

英国Durhamm大学软件发展研究所

http://www.dur.ac.uk/csm/

英国Durhamm大学软件发展研究所(RISE)网址，原名英国Durhamm大学软件维护中心(CSM)，成立于1987年7月，其任务是致力于现有软件的维护和新软件维护性的研究。研究的领域还包括软件的验证和确认，从网址上可查找到与这些领域相关的资料。

英国牛津大学文件检索服务器中的系统安全性网页

http://archive.comlab.ox.ac.uk/safety.html/

可用于软件安全性资料检索。

英国安全关键系统俱乐部网址

http://www.safety-club.org.uk/

该俱乐部是英国贸易、工业部，英国工程物理科学研究理事会发起、英国Newcastle大学软件可靠性中心组建，成立于1991年，目的是促进系统安全的技术交流，软件安全性是其关注的一个重点。从该网址可以查找到该俱乐部的出版物及文章。

英国Newcastle大学软件可靠性中心(CSR)

http://www.csr.ncl.ac.uk/

该中心的任务是从事软件可靠性研究，改进计算机系统的可信性。从该网址可以查找到该中心正在进行的研究项目。

加拿大waterloo大学软件工程组网址

http://www.swen.uwaterloo.ca/

加拿大waterloo大学软件工程组由贝尔加拿大软件可靠性实验室和waterloo大学共同建立，其研究领域包括形式化方法、软件再工程、软件可靠性工程和软件测试，从该网址上可查找到这些领域的资料。

加拿大国家研究理事会信息技术研究所软件工程网址

http://seg.iit.nrc.ca/English/index.html

从该网址中可查找到形式化方法、COTS软件在军事系统中的应用、软件排错等资料。

澳大利亚软件质量研究所(SQI)网址

http://www-sqi.cit.gu.edu.au/

从该网址可查找到SQI发表的文章和技术报告。

欧洲软件研究所网址

http://www.esi.es/

从这个网址，可查找到该所软件重用、软件度量、过程改进等方面的资料。

英国Edinburgh大学计算机科学系网址

http://www.dcs.ed.ac.uk/

安全关键软件是它们的一个研究领域，从该网址上可以查找到有关研究项目的信息。

英国城市大学信息学院软件可靠性中心网址

http://www.csr.city.ac.uk/

该中心的研究领域包括软件可信性模型、软件容错、软件度量和质量保证、安全关键系统的基本问题等。从该网址可以查找到它们的研究项目和出版的资料。

瑞典Chalmers技术大学电工、计算机工程学院计算机工程系可信计算实验室网址主页

http://www.ce.chalmers.se/LDC/Welcome.html

该室的研究涉及容错分布式系统，软件容错，容错验证等重要领域。从该网址可以查找到有关研究项目的信息。


http://www.carlstedt.se/index.en.html

CarlstedtResearch&TechnologyAB(CR&T)是瑞典最著名的计算机科学、计算机工程研究和开发机构。从该网址可以查找到分布式容错系统、形式化方法等技术资料

34581243

楼主辛苦了！

hukee

留个名，以后来看。

robert928

好像在那见过~~
感谢LZ分享！

gigooo

楼主好牛！赞一个

sohu9015

感谢分享

admin

好多啊。现在逛国外的网站比较少了。