面向安全性需求的构件组装.pdfVIP

第34卷 第22期 计 算 机 工 程 2008年 l1月 Vo1．34 No．22 ComputerEngineering November2OO8 · 安全jj5术 · 文章编号：1o0 3428(2o08)22．一Jl53—03 文献标识码：A 中图分类号：TP309 面向安全性需求的构件组装 韩晶晶，徐中伟，喻 钢 (同济大学电子与信息工程学院，上海 201804) 摘 要 ：构件组装技术无法充分考虑安全苛求软件的安全性需求，可能引发软件的失效。该文在保证安全苛求软件的基本构件满足功能性 需求的同时，提出采用加入时间字约束的方法来确保构件组装后的结果达到安全性需求，使系统按照严格的时序进行状态的变迁，有效避 免了故障的发生。 关健词：构件组装；安全性需求；时间约束 ComponentCompositionTowardsSafetyRequirement HANJing-jing，XUZhong-wei，YUGang (SchoolofElectronicandInformationEngineering，TongjiUniversity,Shanghai201840) [Abstract!Thesafetyrequirementofsoftwareisnotconsideredcompletelyincomponentcomposition，SOitmaybebringonfailureofthe software．W hileensuringthefunctionalityrequirementofitsbasiccomponent，thispaperusesthetimeconstraintstOsatisfyitssafetyrequirement aftercomponentcomposition．AccordingtOhtestricttemporallogic，htestatestransitionofthissystem canavoidthefaulteffectively． [Keywords]componentcomposition；safetyrequirement；timeconstraint 安全性苛求软件是指应用在武器、航天、医疗、核反应 性的，是一些语法级别的输入输出端。但仅仅依靠这些筒单 等系统中的软件，因为它的失效可能造成巨大的经济损失甚 的接口来完成系统安全性分析是不充分的。构件的行为可分 至人员伤亡，所以安全性苛求软件是以安全性为第一性能的 为功能性行为和安全性行为，相对于一般的构件而言，安全 软件。在进行该类软件的需求分析和设计时，安全性的分析 苛求软件中的构件的组装更应考虑到安全性行为方面，以保 需要贯穿始终，以保证设计的最终结果是安全可靠的。随着 证不会出现严重灾难性事故。 构件技术的日益成熟，基于构件的软件开发方法已被广泛接 构件网的组装并不一定能表达模型所描述的系统行为是 受。组装技术是基于构件的软件开发的核心技术，构件必须 否满足系统的安全需求规格，模型的库所代表了系统行为状 经过组装才能形成应用系统，进而实现构件的价值…。传统 态 ，而组装后的行为可能导致系统不安全，违背了安全需求 的构件组装更多关注的是功能需求，但安全性苛求软件开发 规格。因此，很难利用Petri网自身来判断 Petri网组装模型 中应该考虑安全性需求。 表达的系统是否安全。本文讨论的安全Petri网模型是指：如 1 相关定义 果 Petri网组装而得的复合网模型满足系统的安全需求规格，