（文/赵英）近日，承德铭炫网络科技有限公司研发的基于AADL模型的软件可靠性评估平台正式投入使用。该平台在著名软件工程智能化专家郭伟的专业指导下建成，在正式投入应用后，收到市场的如潮好评。

早在该平台建设之初，为保证该平台的专业性、实用性和科学性，平台所有方承德铭炫网络科技有限公司便邀请全国数十位在软件设计、软件开发、软件检测等方面具有杰出能力的专家、学者参与具体工作。著名软件工程智能化专家郭伟更是在本次活动中承担了技术选择、技术测试、技术分析、技术评估等关键工作，为这一平台的成功推出付出了巨大的心血。

该技术平台利用结构分析与设计语言的特性，将其应用于嵌入式领域的体系结构建模、分析和验证中，针对软件可靠性随着其规模、复杂度和性能需求的不断提升而出现的问题，建立可靠性与评估模型，然后将其转换为广义随机Petri网模型后再进行分析，最后根据分析结果进行评估，并根据评估结构对模型进行优化、升级。该平台有利于解决企业软件功能在增加新性能的同时出现的软件扩展性、可信性和复杂性等技术难题，帮助企业在软件开发前期找出软件中存在的错误，减少后期的检测费用，有利于提高企业的技术开发能力，为企业创造巨大的经济效益和社会效益，极大地推动软件开发智能化发展进程，对行业的发展具有巨大的借鉴和指导意义。

承德铭炫网络科技有限公司负责人表示：“郭伟先生在平台建设及试点应用过程中，提供了专业而全面的理论指导和技术支持，为平台的建设提出诸多实用性、专业性建议，为平台的顺利落地及后续的推广应用工作起到了决定性作用。”