前言:中文期刊網精心挑選了個人工作介紹信格式范文供你參考和學習,希望我們的參考范文能激發你的文章創作靈感,歡迎閱讀。
個人工作介紹信格式范文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中將其定義為:“與受控設備和受控設備控制系統有關的整體的組成部分,它取決于電氣、電子、可編程安全相關系統、其它技術安全相關系統和外部風險降低設施功能的正確行使?!本唧w而言,功能安全防止的是與安全相關的系統或設備因功能失效所導致的危險。以鍋爐控制系統為例,“當鍋爐壓力達到危險值時應當關閉爐火”這是鍋爐控制系統的一項基本功能,如果這一功能失效(即當鍋爐內的壓力達到危險值時,不能及時關閉爐火,而是讓其持續燃燒),則會使得鍋爐發生爆炸,從而可能引發人員傷亡等危險。在這種情況下,安全性主要依賴于系統能否執行正確的功能。類似于這種安全性依賴于系統功能的情形,就稱之為“功能安全”。
接下來進一步介紹信息安全(Security),在IEC 62443中對信息安全的定義主要包括以下五點內容:
(1)為了保護系統而采取的相應措施;
(2)由建立和維護保護系統的措施所得到的系統狀態;
(3)能夠免于對系統資源的非授權訪問和非授權或意外的變更、破壞或者損失;
(4)能夠確保未經授權的人員和系統無法修改軟件及其數據,同時也無法對系統功能進行修改,但是必須保證獲得授權的人員能夠對系統進行正常訪問,并對軟件及數據進行修改;
(5)能夠有效地阻止非法或有害的入侵,或者對其有效的操作進行干擾。
此外,安全性也不同于可靠性(Reliability)。可靠性是指系統或設備在規定的條件以及規定的時間內完成規定功能的能力。也就是說,可靠性評估的是系統在時間間隔 內運行時正常工作的概率。在大多數情況下,系統的可靠性和安全性是一致的,系統不可靠會導致系統不安全,當系統發生故障時,不僅會影響系統功能的實現而且有可能會導致安全性事故的發生,從而造成人員傷亡或財產損失。例如,當飛機發動機發生故障時,不僅會對飛機的正常飛行產生影響,而且還可能會導致飛機因動力不足而墜落,造成機毀人亡的后果。因此,提高系統可靠性不僅可以保證系統功能的實現,而且可以提高系統的安全性。
但是,可靠性又不完全等同于安全性。其根本區別是兩者的著眼點不同,可靠性著眼于系統功能,關注于對系統目標的實現;而安全性著眼于防止事故的發生,避免人員傷亡和財產損失??煽啃匝芯抗收习l生以前直到故障發生為止的系統狀態,而安全性則側重關注于故障發生后,故障對系統的影響。
正是因為系統的可靠性與安全性之間存在著密切的關聯關系,所以在系統安全性研究中廣泛利用和借鑒了可靠性研究中的一些理論和方法。系統安全性分析就是以系統可靠性分析為基礎的而進行的。
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.