手机版APP下载

发布日期：2024-12-21 03:18 点击次数：192

B.3 E/E/PE系统的缠绵和开发体育游戏app平台

举座策划:为了产生一个合适法式的安全有议论统的踏实的缠绵。

B.3.1 受命指南和法式

注:在GB/T 20438.2-2017的表B2中援用了本时间/步骤。观念:为了受命哄骗限度法式(GB/T 20438中未法例)。

姿色:在缠绵安全有议论统的经由中应受命一些指南。这些指南领先可指令结束无失效的安全有议论统,其次可简化后来的安全证实。它们不错是通用的、某个神志专用的或者只专用于某单个阶段。

参考文件:

Guidelines for Safe Automation of Chemical Processes.CCPS, AIChE,New York.1993,ISBN-10:0-8169-0554-1,ISBN-13:978-0-8169-0554-6

B.3.2 结构化缠绵

注:在GB/T 20438.2-2017的表B.2和表B.6中援用了本时间/捐施。

观念:通过熏陶部分条件的线索结构来减少复杂性，幸免各条件之间的接口失效。简化考证。

姿色:当缠绵硬件时,应使用成心的判据或者要领。举例需要:

——一种分层的结构化电路缠绵;

——使用已分娩的和经测试的电路部件。

近似地，当缠绵软件时,使用结构图表使之大致熏陶软件模块的一种无歧义的结构。这种结构可泄漏模块的相互议论、模块之间传递的精准数据,和模块之间存在的精准戒指。

参考文件:

GB/T 5094工业系统、装配与斥地以及工业产物结构原则与参照代号

Software Engineering for Real-time Systems. J. E. Cooling, Pearson Education, 2003.ISBN0201596202,9780201596205

SoftwareDesign.D.Budgen,PearsonEducation,2003,ISBN 0201722194,9780201722192 An Overview of JSD,J.R.Cameron,IEEE Trans SE-12No.2,February 1986

Structured Development for Real-Time Systems (3 Volumes). P.T. Yourdon. P. T.Yourdon Press,1985

Structured Development for Real-Time Systems(3 Volumes). P.T.Ward,S. J. Mellor. Yourdon Press,1985

Applications and Extensions of SADT.D.T.Ross,Computer,25-34,April 1985 Essential Systems Analysis,St.M.McMenamin,F.Palmer,Yourdon Ine,1984

Structured Analysis(SA):A language for communicating ideas.D.T.Ross体育游戏app平台,IEEE Trans,Software Eng,Vol.SE-3(1).16-34