个人工作介绍信格式范例6篇

前言:中文期刊网精心挑选了个人工作介绍信格式范文供你参考和学习,希望我们的参考范文能激发你的文章创作灵感,欢迎阅读。

个人工作介绍信格式

个人工作介绍信格式范文1

本手册旨在为活动具体实施提供指导,在活动中务必按照手册规范实施,也可根据实际情况灵活变通.并真诚希望各位经销商提出更有效,更切实可行的宝贵建议,共同探讨,为下次活动开展得更好而集思广益,群策群力.

万利达集团有限公司营销中心

整合传播部

2002年4月

二,推广背景分析

歌王DVD作为差异化竞争产品,具有对手无法比拟的优势.歌王DVD目标消费群有着较大的市场成长空间,但歌王DVD产品在全国市场知名度较低.为提高消费者对万利达歌王DVD的认知度,以奖励形式开展演唱比赛,知识问答,企业,产品介绍等活动,来达到与消费者互动的效果.

三,歌王DVD知识点滴

(一)歌王DVD产品定位及产品常识

1,卡拉OK点歌机+DVD双机合一的娱乐产品

2,产品常识

(1)什么叫万利达歌王

万利达歌王属于新格式影碟机,国际领先的新产品.它是万利达以一马当先的数字音乐新技术,实现超大容量的音乐记录和专业级音质的还原,是万利达独家拥有的新技术.从碟机种类上分,它分为MDVD歌王DVD,歌王MVD和超级歌王VCD.从技术上而言,MDVD是MIDIDigitalVideoDisc的缩写,MVD的全称为MIDIVideoDisc.

(2)MIDI是什么

MIDI是MusicalInstrumentDigitalInterface的缩写,是用于数字合成器,音序发生器,节拍机等数字音频制作设备与计算机互联的国际标准接口,在数字音频制作领域中被广泛应用.原来指多媒体电脑的一种声音产生方法和规范,MIDI的音乐信息是由一系列的指令组成,这些指令包括音高,音长,通道号等音乐的重要信息.这些信息是压缩刻录在随机配送的一种光碟上(我们称之为MIDI碟).这些信息必须由影碟机的MIDI合成器加以解释,才能产生各种乐器声音,经混合形成音乐旋律,然后放大输出.

(3)歌王产品一般具有什么样的特点

A,演唱方式灵活多样

a,点歌:随兴点歌,自由欢唱.

b,擂台赛:一人守擂,众人齐攻.

c,对抗赛:你来我往,互不相让,胜者为王.

d,自动评分:人机互动,智能评分

B,随机配送歌本和MIDI光盘

随机配送对应的中外卡拉OK歌曲光盘和精装歌本,采用专业级全数字音乐合成集成电路,音质达到专业级水准,犹如专业乐队演奏的音乐.

C,内存十种风格舞曲

内存十种风格的中外著名标准舞曲,有两步,慢三步,快三步,四步,探戈,恰恰,吉特巴,伦巴,迪斯科和流行等十种风格.

D,内在四组喜庆音乐

有四组中外传统喜庆音乐,适合生日,婚礼,恭喜和新年圣诞等四种喜庆情景的需要.

(二)目标消费群

本产品的目标消费人群分为个人家庭消费群和集团消费群两类.

家庭消费人群特征为:热爱生活,积极向上,喜欢唱歌,朋友比较多,家庭关系融洽,经常

和朋友家人娱乐,生活富于情趣.城市中,高收入家庭.

集团消费则指为:可以提供大众卡拉OK,音乐欣赏,歌舞娱乐的歌舞厅,卡拉OK厅,酒店,宾馆,KTV包厢,饭店和练歌房等娱乐场所及学校,部队等企事业单位文化活动场所;

(三)产品功能,卖点及利益点诉求

1,产品功能:

随机配送DVD-MIDI卡拉OK光盘,容量达到两万首

支持人声演唱功能,人声音量可调

十种风格舞曲,四种喜庆音乐,可自办家庭舞会

音乐风格异彩纷呈,演唱形式多样灵活,具自动评分功能

杜比AC-3六声道解码输出加两个混响输出

兼容DVD,超级VCD,VCD,CD,CD-R,CD-RW和MP3光盘

具有色差,三基色(RGB)和光纤等接口

随机附送所有歌曲的精装歌本

软件智能升级

2,功能卖点:

A,2万首歌曲海量存储

它随机附送的DVD-MIDI光盘海量存储歌曲达到了2万首,相当于数千张光盘所涵括的歌曲数量.包括了中文歌曲7958首,英文歌曲4052首,闽南语歌曲1955首,日文歌曲482首……还包括10种风格舞曲,四种喜庆音乐,中外流行歌曲等等且音质达到专业级,叫你想唱即唱.

B,增加数千首人声演唱歌曲且人声音量单独可调

增加了2000余首人声演唱歌曲,让MIDI音乐也具有了地道的人声音乐.你也可以随意欣赏.MDVD-6800支持单独的人声音量调整,并可以自动接唱,歌唱者可适时控制好人声与卡拉OK音乐的大小比例,让声音与更饱满丰盈,与音乐相得益彰.

C,兼容播放DVD碟片

突破了卡拉OK机不能解读DVD碟片的限制.MDVD-6800承载了作为卡拉OK机和DVD机的功能.一机多用,性价比高.

D,丽声(RealSonic)超级音效功能

历经数代改良的卡拉OK音频处理技术,具有的丽声(RealSonic)超级音效功能,唱歌,听音乐音质更清纯.丽声视窗界面,九种环绕声场,七段数码均衡及个性化用户均衡设置,产生无与伦比的卡拉OK效果.

E,杜比AC-3八通道解码输出

内置杜比AC-3六声道输出外加两个混响输出,除营造出更完美的声音效果外,让操作更简化随意.

F,碟仓密码锁功能

在使用DVD-MIDI碟片时,可自行设定碟片进出仓密码,方便碟片管理.

G,产品升级

歌曲碟片可实现全面升级,紧跟流行时尚.产品软件亦可智能升级,随时拥有新功能,解决用户的后顾之忧.

H,娱乐伴侣

唱歌,听音乐,跳舞,看电影,比赛卡拉OK,玩法多样,样样专业.

3,广告词:"一机包含万首歌,卡拉OK不买碟".

4,利益点:

(1)专业歌舞厅,卡拉OK厅,饭店使用的五大优势

a,再也无需复杂的音响安装布线工程

b,再也无需昂贵的电脑点歌系统和DJ操作,并且点歌方便,不需换碟

c,20000首歌几乎包含歌厅用歌,省却买碟费用

d,安装简便,任何原先并无计划的场所可随意安装卡拉OK系统及搬迁

e,卡拉OK功能之外还能随时给客人提供影院服务

(2)家庭使用的五大优点

a,专业级MIDI电脑合成音效,使用户可在家中享受到KTV包房的音响效果

b,20000首歌可使您享受到歌厅般的专业碟库服务

c,歌王DVD的数千首人声演唱将帮助您学会最流行最酷的靓歌

d,十种风格舞曲,四种喜庆音乐可自办家庭舞会

e,自动评分系统让您实现专业歌手的梦想成为可能

四,居民生活小区推广办法

活动目标

1,鉴于受众对于万利达歌王产品概念认知上的模棱两可,提高受众对于万利达歌王的认知度.

2,在消费群体中传达万利达歌王DVD概念.

3,实现厂家与消费群体的互动,沟通,力求通过活动为下一季度的市场工作做好铺垫.

活动主题

在小区间开展活动,进行歌王DVD的市场推广

活动时间

每个星期的周末或者节假日的上午9:00—12:00

活动地点

全国一,二级城市的居民生活小区

活动方式

在居民生活小区间开展卡拉OK比赛,并辅以产品知识问答的形式,以此来提高消费者对于产品的认知度.

活动组织形式

以居民生活小区的居委会的名义来对整个活动进行组织和规划,也可以方便操作.为了淡化商业气息,公司仅以赞助商的身份出现.

活动工作人员安置

1,人员架构图

2,人员工作分工

活动主管:负责整个活动的规划,组织及相关工作的部署

活动督导:监督活动的现场执行,若促销员非本公司人员,负责规范,培训活动促销员

促销员:负责现场消费者问题的咨询,产品的讲解,促销品传送发放,宣传资料发放现场秩序的维持

助手:协助活动主管进行相关的进行活动工作

活动主持人:负责主持现场活动,并充分调动现场气氛

活动程序

活动准备

1,小区的选择:选择入住居民数达以上,各类设施齐全且内部具有较大的空阔场地的小区,交通便利者为佳.

2,场地的选择:相对开阔且易于吸引人群,人流相对集中的地方,或者小区居民经常娱乐生活的地点,要求活动场地达到20-30平方米为佳.

人员准备

a.活动主管(1人):由公司人员担任.负责整个活动的规划,组织及协调.

b.活动主持人(1人):聘请外人担当或由本单位的人员胜任.

要求:外表端庄,能言善辩,反应敏捷,擅于调动现场气氛,言语具有煽动性,年纪在25-35岁者为佳.

c.促销员(6人):外聘人员或由本部的工作人员担任,年纪20-35岁.负责现场宣传单页的发放,解答消费者问题,介绍产品,活动内容,并维持活动现场秩序

要求:外表端庄,口齿清晰,对产品了如指掌,反应敏捷,态度恳切随和.

d.咨询人员(2人):由公司内部职员担当.负责对于现场观众各类问题的解答及欲参加唱歌选手的报名工作(包括非参赛选手).

要求:熟悉产品知识及万利达文化,态度谦和,有耐心.

e.产品功能演示人员(1名):由公司内部人员担当.负责看护展示产品,并向观众演示产品,示范操作.

要求:懂电器知识,熟悉产品,操作轻车熟路

f.评委(4人):负责现场评分.为了显示活动的公正性,拉近小区居民间的距离,邀请小区的工作人员及现场人员参与活动.具体分配如下:

小区幼儿园(1名)

小区居委会工作人员(1名)

现场观众(1名)

万利达工作人员(1名)

g.现场布置人员:所有的现场工作人员均可作为布置人员

h.主持人助手(1名):负责帮助主持人拿取各类奖品,传送物品,及维持好自由欢唱阶段现场.

j.摄像人员(1名):负责活动现场的摄影

k.拍照人员(1名):拍摄现场活动照片

l.现场记分算分人员(1名):负责现场记录参赛选手的得分,并即时算分.

注:外聘人员上岗前须进行相关的企业知识,活动内容,产品知识及礼仪培训,做到明确自己的工作职责,并对产品知识了如指掌.

组织准备

介绍信的方式与小区居委会或物业联系,与其商谈,达成协议.为了淡化活动商业化气息,以小区居委会的名义进行活动,公司仅以一个赞助企业的身份出现.

物料准备

(1)MDVD-6800:2台;

(2)DAV-3600:1套;

(3)功放:1台;

(4)影院音箱一套(6只);

(5)29寸彩色电视机:1台;

(6)音箱支架(左右环绕):2个;

(7)电源线,音视频线:若干;

(8)话筒:4支;

(9)监视器(TV-59替代,3600音箱小支架1根):1台;

(10)DAV-3600展架:1套;

(11)MDVD-6800配套的展柜:1套;

(12)资料架:2个;

(13)产品彩页:若干;

(14)促销品(MP3播放机,AV-301CD,碟片,话筒):若干;

(15)台布(评委席,咨询台):2条;

(16)桌椅:若干;

(17)照相机或录像机(含胶卷,录相带):1台;

(18)背景板:1块(请见附1);

(19)展板(见附2)

(20)海报:若干(请见附3);

(21)"问答题"双色单页:若干(请见附4);

(22)气球:若干(请见附5);

(23)红色T恤工作服:若干(请见附6);

(24)工作牌:若干(请见附7);

(25)优惠卡:若干(请见附8);

(26)条幅或横幅:2条(请见附9);

(27)评委台牌:若干(请见附10);

(28)报名表:若干(请见附11);

(29)产品牌:2个(请见附12);

(30)邀请函:6位(请见附13);

(31)吊旗:若干(请见附14);

(32)计算器(1个)

(33)纸,笔(若干)

(34)介绍信(见附15)

(35)活动效果考核表(见附16)

活动执行

工作准备

A信息的先期传达:

1,在活动前两天于小区的进出口处或者人流相对集中的地点张贴活动海报,广而告之.如小区超市,幼儿园门口,小区菜场等.

报张贴后,在居委会设立报名点,对活动参与人员进行登记.

动开始前一个星期始在当地有影响的媒体进行刊登相关的广告,进行造势.

活动前四天以小区居委会的名义向小区的居委会,幼儿园发送担当评委邀请函.

B现场布置:在活动开始前四个小时进行现场布置.

1,在活动现场张贴活动条幅和挂旗.

2,以拉网把现场划分为现场比赛区,产品展示区,咨询区三个部分

a现场比赛区:进行现场的卡拉OK比赛

b产品展示区:展示及操作演示DAV-3600及其它产品

c咨询区:进行产品咨询

3,摆放好各类设备,接配好机器(现场布置示意图请见附件)

4,调试机器至最佳状态.

5,在产品资料架上插放好产品宣传彩页.

注:活动组织者在活动开始前三四天始请密切关注天气形势,若在海报张贴出去,而天气在情况未在预料中,请即时贴出告示,告之活动延期或取消.

活动进行

1,活动分为现场有奖比赛及自由欢唱两部分.其中自己欢唱在有奖比赛颁奖后进行.

2,主持人开场白,营造气氛,号召大家参与活动.开场白请看后附样.

3,小区物业或居委会相关人员讲话;

4,现场促销员向现场观众分发宣传问答题及相关的产品彩页

5,现场工作人员号召观众参与活动

6,产品演示人员向现场观众进行产品演示

7,咨询人员对消费者疑问进行解答

8,主持人插播万利达公司介绍或歌王DVD介绍,或现场问答(根据实际情况,灵活运用);

9,评委依据参赛人员演唱情况评分,公布结果,进行评奖

10,现场促销员为答对问题的现场观众发放促销纪念品

11,评委为获奖人员颁奖

12,现场观众自由欢唱

13,工作人员进行现场摄像或拍照

14,工作人员维持好现场秩序

活动执行细则

(6:30—9:00)工作人员提前到场,张挂横幅,布置现场,调试机器,营造活动气氛,所有人工作人员各就各位,准备开始活动.

(8:45—12:00)工作人员开始发放问答题双色宣传页.

(8:45—9:00)评委到场入座.

(9:00—9:10)主持人开场白,请活动举办者居委会代表人员发言致词,主持人宣布活动开始.

(9:10—12:00)参赛者献唱比赛,评委评分.

主持人在歌唱比赛过程中穿插有奖知识问答,调动现场气氛.并随时为

答题者发放奖品.

观众参与报名.

工作人员为在场观众进行咨询,发放宣传品,演示产品.

(11:10—11:20)根据参赛者得分的高低,评出一,二,三等奖,发放奖品.

其余参赛者获得纪念奖.

(11:20—11:25)小区居委会代表人员进行总结.

(11:25—11:30)主持人根据活动情况进行总结,宣传活动进行自由欢唱阶段.

(11:30—12:00)现场观众自由欢唱

(12:00—13:00)工作人员清理现场.

注意:现场所有的工作人员要求着装统一,佩带统一制作的活动工作牌,举止彬彬有礼,落落大方,言语热情,恳切,富于亲和力

效果评估

1,现场观察统计:对活动现场进行拍照(录像),统计参加活动人数,访问参赛选手,总结活动开展的效果.

2,资料统计:对现场发放的宣传单进行统计.对活动期间,之后购买产品的消费者的人数进行统计,调查,分析活动进行的效果和产生的效果.

对促销员进行现场考核评分,籍此分析活动现场执行情况.

附:

一,关于比赛活动细则

1,由于考虑到活动时间,我们要求每次参赛活动的人数控制在15名.其余的报名人数只划分为自由欢唱行列.

2,由于很多原因都可能导致机器评分的失误,我们建议采用由现场评委直接打分,然后

采用平均分的形式.满分为100分.

3,由于分数计算记录需要占用时间,一位参赛选手的得分一般之后的第三位选手献唱前公布

奖品及纪念品设定:

一等奖(1名):MP3光盘播放机(一台)或者AV-301CD一台

二等奖(2名):万利达话筒MS—(一支)+碟片(两张)

三等奖(3名):万利达碟片(两张)

纪念奖:碟片一张

"问答题"赠品:碟片一张

评委纪念品:万利达麦克风一支/人

二,主持人开场白附例

各位观众大家好!

首先我在这里声明的是:今天举办的这场活动,就是让大家玩得开心,唱得过瘾!唱出心跳的感觉,只管尽情地,痴迷地去歌,去舞,争取令听者动容!

这场活动是由万利达集团公司鼎立赞助举办,并为大家准备了丰厚的奖品.

活动呢是这样为大家安排的:前半部分是逐个上台现场演唱,接下来是知识竞赛和各种各样的游戏,许许多多精彩的节目都在等待着你的参与.

小姐们,先生们,好事不容错过,凸显自我个性,展示个人魅力的时刻到了,让我们伴随着这优美的旋律尽情的来歌来舞吧……

五,注意事项

所有的万利达经销商,万利达营销中心人员在推广过程中按本手册规范执行,也可根据地方实际情况,因地制宜,灵活变通.

六,活动现场布置示意图(如下图)

万利达集团有限公司

WANLIDAGROUPCO.,LTD.

营销中心

活动主管

促销员

促销员

活动督导

活动督导

活动督导

助手

促销员

活动主持人

活动场地的选择

与小区居委会沟通联系

活动人员的配置

活动信息先期传达和造势

活动现场的布置

活动物料的准备

现场活动的执行

活动现场秩序的维持

现场气氛的调动

相关的产品知识的传达

活动现场的清理

活动效果的评估

活动准备

活动进行

个人工作介绍信格式范文2

【关键词】系统安全性 嵌入式系统 可靠性 安全性分析

1 引言

近年来,随着嵌入式系统大规模应用于航空航天、核能、交通等领域, 因嵌入式系统失效而导致的财产损失、环境破坏以及人员伤亡等事故已屡见不鲜。例如,2009年法国航空公司AF447航班的A330-200飞机由于测速仪结冰,给出了飞行控制系统错误的攀升指示,而系统中未设置高度值上限,最终导致飞机在大西洋上坠毁;同年,一架土耳其航空公司波音737-800型飞机在机场跑道进近期间,由于无线电高度值错误使得飞机失速而机载系统缺乏“处理失速情况”的程序,导致飞机坠毁。由此可见,嵌入式系统的安全性问题越来越重要,对系统进行有效的安全性分析已经迫在眉睫。

本文针对嵌入式系统安全性开展研究,在综合分析国内外研究的基础上。首先对系统安全性概念进行了阐述,并分析了安全性、信息安全以及可靠性这几个相关概念之间的差异。然后在此基础上对当前较为常用的几种系统安全性分析方法进行了简单介绍,并归纳总结出了当前嵌入式系统安全性的研究挑战,最后对全文进行了总结。

2 系统安全性概述

谈到安全性,就不得不提到Safety和Security,这两个单词中文都翻译成安全,但两者的含义却存在着一定的差异。一般而言,Safety强调的是一个系统、组织或个人按照自己的机制正常运转的“稳定状态”;而Security则是由恶意的操作者通过故意的动作而导致系统进入危险状态,其本质区别是操作者是否是故意的。更一般的说,Safety更加关注的事系统本身功能,而Security则关注的是与外界进行通讯信息而产生的安全性。因此,为了对两者进行区分,通常将Safety翻译成功能安全,而将Security翻译成信息安全。在没有特别说明的情形下,本文所提的安全性均指功能安全。

为了进一步区分这两个概念,本文下面⒁怨ひ悼刂屏煊虻IEC61508标准和IEC62443标准对Safety和Security的定义为例进行具体论述。

首先,介绍功能安全(Safety),在IEC61508中将其定义为:“与受控设备和受控设备控制系统有关的整体的组成部分,它取决于电气、电子、可编程安全相关系统、其它技术安全相关系统和外部风险降低设施功能的正确行使。”具体而言,功能安全防止的是与安全相关的系统或设备因功能失效所导致的危险。以锅炉控制系统为例,“当锅炉压力达到危险值时应当关闭炉火”这是锅炉控制系统的一项基本功能,如果这一功能失效(即当锅炉内的压力达到危险值时,不能及时关闭炉火,而是让其持续燃烧),则会使得锅炉发生爆炸,从而可能引发人员伤亡等危险。在这种情况下,安全性主要依赖于系统能否执行正确的功能。类似于这种安全性依赖于系统功能的情形,就称之为“功能安全”。

接下来进一步介绍信息安全(Security),在IEC 62443中对信息安全的定义主要包括以下五点内容:

(1)为了保护系统而采取的相应措施;

(2)由建立和维护保护系统的措施所得到的系统状态;

(3)能够免于对系统资源的非授权访问和非授权或意外的变更、破坏或者损失;

(4)能够确保未经授权的人员和系统无法修改软件及其数据,同时也无法对系统功能进行修改,但是必须保证获得授权的人员能够对系统进行正常访问,并对软件及数据进行修改;

(5)能够有效地阻止非法或有害的入侵,或者对其有效的操作进行干扰。

此外,安全性也不同于可靠性(Reliability)。可靠性是指系统或设备在规定的条件以及规定的时间内完成规定功能的能力。也就是说,可靠性评估的是系统在时间间隔 内运行时正常工作的概率。在大多数情况下,系统的可靠性和安全性是一致的,系统不可靠会导致系统不安全,当系统发生故障时,不仅会影响系统功能的实现而且有可能会导致安全性事故的发生,从而造成人员伤亡或财产损失。例如,当飞机发动机发生故障时,不仅会对飞机的正常飞行产生影响,而且还可能会导致飞机因动力不足而坠落,造成机毁人亡的后果。因此,提高系统可靠性不仅可以保证系统功能的实现,而且可以提高系统的安全性。

但是,可靠性又不完全等同于安全性。其根本区别是两者的着眼点不同,可靠性着眼于系统功能,关注于对系统目标的实现;而安全性着眼于防止事故的发生,避免人员伤亡和财产损失。可靠性研究故障发生以前直到故障发生为止的系统状态,而安全性则侧重关注于故障发生后,故障对系统的影响。

正是因为系统的可靠性与安全性之间存在着密切的关联关系,所以在系统安全性研究中广泛利用和借鉴了可靠性研究中的一些理论和方法。系统安全性分析就是以系统可靠性分析为基础的而进行的。

3 常用的系统安全性分析方法

对于一个复杂嵌入式系统来说,其安全性通常需要通过一系列方法和技术来保证。目前,系统安全性分析方法有很多种,可以应用于不同的系统安全分析过程。这些方法可以按照不同的标准与方式进行分类,例如按照数理方法可以分为定性分析与定量分析;按照逻辑方法可以分为归纳法与演绎法。

归纳法是从原因归纳出结果,即从故障出发分析可能导致的事故或系统故障,再来确定危险源;演绎法则是从结果出发追溯原因,即从事故或者系统故障出发查找与该事故或系统故障有关的危险因素。相比较而言,演绎法可以把注意力集中在有限的查找范围内,提高工作效率,而归纳法则可以无遗漏地分析与辨识系统中的所有危险源。实际工作中,这两类方法通常被结合使用,以便充分发挥各类方法的优点。

3.1 归纳方法

在系统安全性分析当中,归纳方法主要应用表格式的方法用于发现危害或者特定操作条件或失效的危害结果。目前,比较有代表性的归纳形式的安全性分析方法主要包括失效模式与影响分析(Failure Mode and Effects Analysis,简称FMEA)、危害及可操作性研究(Hazard and Operability studies,简称HAZOP)以及事件树分析(Event Tree Analysis, 简称ETA )。

3.1.1 失效模式与影响分析

失效模式与影响分析是一种经典的危害分析技术,它是20世纪40年代由美国武装部队首次提出的,之后在诸如航空航天等领域得到了广泛使用。

FMEA是一种自底向上的分析技术,它适用于任何系统或设备,也可以用于任何所需的系统设计层次,如子系统、组件、单元或部件。但一般而言,FMEA主要用于组件或单元级层次分析,因为该层次中的单个嵌入式部件的失效率更容易获得。FMEA的结果被记录在了一个FMEA表格中。FMEA表可以假设有几种不同的形式。一个FMEA表通过不同的实体进行构造,每个实体记录了与给定系统故障的影响信息。当FMEA用于支持系统安全和危害分析时,应当至少包含:失效模式、失效模式对系统的影响、失效导致的系统层危险、危险对事故影响的后果、失效模式和/或危险的原因、失效模式和检测的方式、建议(如可采用的安全性要求或规范)以及所确定危险引起的风险等内容。

3.1.2 危害及可操作性研究

HAZOP是一种识别与分析系统中的危险以及运行问题的技术,是一种高度组织化、结构化和条理化的过程,可以用于对系统的危险进行识别与分析,其应用可以从系统的方案认证到退役整个生命周期。HAZOP最早出现在化学领域,于20世纪60年代由ICI首次提出的,HAZOP的目标是研究处于分析中系统操作的基本集合,考虑正常操作下可能的偏差,并且鉴别出他们潜在的危害性影响。HAZOP是以识别出被称为节点的标识符开始的。每个节点都具有一个相关联的过程参数和一个设计好的意图,就是规定了操作条件,即这个过程必须以正确的操作发生。当今HAZO已经被应用于制造工业(如化工、石化和核工业等)以及航空航天等其他领域。

3.1.3 事件树分析

事件树分析是一种用于在可能的事故场景中识别和评价在某个初始时间发生后的时间序列的分析技术,ETA实际上是一种二元决策树,它是在WASH-1400核电站安全性研究过程中提出并发展起来的一种安全性分析技术。当时WASH-1400研究人员发现可以利用FTA进行核电站的安全性分析,但是故障树结果十分庞大,不利于使用,因此,他们在保留FTA的基础上提出了ETA,并利用ETA⒎治鼋峁压缩成一个更适于管理的图形。

ETA以一个初始时间开始,一般是位于图的左边,并且从左向右开始执行,以更深层次的事件进行分支,这些更深层次的时间在分析的过程中被识别,并决定系统可能的结果。典型地是使用二权分支,也就是说,可能是事件,也可能是它的补充物会发生(例如,一个子系统的成功或失败应该介入到那些树的前层所识别的事件中)。树会一直延伸下去,直到系统中出现了预期的结果,被称为结束事件或结果场景。与FTA相比,ETA中事件会对处于分析中的系统(例如,阀门的开关)或错误条件(例如,没有关闭的阀门)做出对应的预期操作。每个事件都会在图中产生一个分支,一个完整的树包含有2N个分支,N是事件的个数。由于这个原因,在分析的过程中都必须要考虑正常和危险的操作,对于复杂的系统来说,事件树会产生更大的树。

3.2 演绎方法

演绎形式的安全性分析方法比较有代表性的包括可靠性框图(Reliability Block Diagram,简称RBD)和故障树分析(Fault Tree Analysis,简称FTA)。

3.2.1 可靠性框图

可靠性框图是系统单元及其可靠性意义下连接关系的图形表达,表示单元的正常或失效状态对系统状态的影响。与结构连接图不同,RBD是利用互相连接的方框来显示系统的失效逻辑,分析系统中每一个成分的失效率对系统的影响,以此对系统整体的可靠性进行评估。RBD通过方框和连线描述了系统各个部分发生故障时对系统功能特性的影响。它与部件之间的顺序无关,仅仅反映了各个部件之间的串并联关系。

3.2.2 故障树分析

故障树分析(FTA)是在二十世纪六十年代,由贝尔实验室首次提出的,并且随后由波音公司所扩展使用与推广。目前已成为工业界应用最为广泛的安全性分析方法之一。

FTA以系统故障作为安全性分析对象,采用自顶向下的逻辑图演绎方法,对可能引起故障现象的各种因素(如:软硬件、环境、人为因素等)进行分析,从而确定各种可能导致故障发生的原因,并形象地表示出故障与故障原因之间的逻辑关系,进而通过定性分析和定量计算,找出系统的设计错误、安全缺陷以及薄弱环节,并采取纠正措施,提高系统可靠性和安全性。

4 嵌入式系统安全性分析的研究挑战

近年来,随着计算机技术的发展,嵌入式系统在航空航天、核能、交通等安全攸关领域的应用越来越广泛,而且,由于软件功能的日益强大,软件正在逐步取代部分硬件的功能,使得嵌入式系统的安全性分析出现了新的挑战。

4.1 嵌入式系统规模大、复杂度高的特点

以航空领域为例,从第二代飞机起,通过软件实现的功能随着每一代飞机而翻番。对于第三代和第四代飞机来说,软件已经成为飞行控制、通信导航、火力控制以及维修保障的核心(如军机F-22飞机上嵌入式系统代码高达300万行,F-35机载和地面的嵌入式系统代码高达1500万行)。这表明越来越多的安全攸关系统逐渐成为软件密集型系统。一方面软件的大量应用使机载装备性能有了很大的飞跃,有效提高了机载装备的精确性、灵活性和快速反应能力,另一方面嵌入式系统复杂度的快速增加使得保证系统安全性出现了新的挑战。

4.2 与环境交互复杂的特点

如今,诸如航空航天、交通等安全攸关领域的嵌入式系统,通常都涉及到复杂的环境交互,使得传统的安全性分析方法存在不足,无法考虑这些复杂的环境因素。具体而言,如今软件的功能越来越强,大量的人工操作已经被软件所取代,使得现在的嵌入式系统越来越智能化,因此,系统需要感知的外界环境也越来越复杂,如何综合考虑这些外界环境因素进行系统的安全性分析是当前研究的难点。

此外,功能安全与信息安全的深度融合,也为系统安全性分析带来了新的挑战。

5 总结

本文针对嵌入式系统的安全性问题进行相关论述,明确了安全性的基本概念,并区分了其与信息安全、可靠性之间的差异。然后在此基础上对当前国内外应用比较成熟的系统安全性分析方法进行了简单介绍,最后归纳总结出了目前嵌入式系统安全性分析的挑战。

参考文献

[1]黄志球,徐丙凤,阚双龙,胡军,陈哲.嵌入式机载软件安全性分析标准、方法及工具研究C述[J].软件学报,2014,25(02):200-218.

[2]Learmount D.Never Again.Flight International.2012,182:32-35.

[3]Afshar A,Majid Hajyhosseinloo MD, Ali Eftekhari,MD.A Report of the Injuries Sustained in Iran Air Flight 277 that Crashed near Urmia, Iran.Archives of Iranian medicine, 2012,15(05):317-319.

[4]IEC 60812:Analysis techniques for system reliability.In:Proc.of the Failure Mode and Effect Analysis (FMEA).Int’l Electrotechnical Commission,1991.

[5]IEC 61822:Hazard and operability studies (HAZOP studies)-Application guide.Int’l Electrotechnical Commission,2001.

[6]Rausand M,Hoyland A.System Reliability Theory:Models, Statistical Methods,and Applications.2nd ed.,New York:Wiley InterScience,2003.

[7]IEC 61078:Analysis techniques for dependability-Reliability block diagram method.Int’l Electrotechnical Commission,1991.

[8]Cha S,Yoo J.A safety-focused verification using software fault trees.Future Generation Computer Systems,2012,28(08):1272-1282.