交通系統(tǒng)建模作業(yè)一翻譯

1、背景：在航空、鐵路、汽車等領(lǐng)域的關(guān)鍵系統(tǒng)通常是正式的安全認(rèn)證的過程。這個(gè)過程的目的是確保這些系統(tǒng)在安全操作時(shí)不會(huì)給用戶、公眾或者環(huán)境帶來過度的風(fēng)險(xiǎn)。安全通常是通過遵守安全標(biāo)準(zhǔn)。證明符合涉及提供的這些標(biāo)準(zhǔn)表明安全規(guī)范的標(biāo)準(zhǔn)是滿足的。目的：為了處理大的關(guān)鍵系統(tǒng)的復(fù)雜性和隨后的過多所需的信息實(shí)現(xiàn)合規(guī)、安全專業(yè)需要深入的知識去幫助他們把不同類型的分類，并對進(jìn)行構(gòu)建和評估。本文一步步發(fā)展為一個(gè)來自大規(guī)模的經(jīng)驗(yàn)嚴(yán)格的文獻(xiàn)綜述的知識體系。方法：使用一個(gè)系統(tǒng)的文獻(xiàn)綜述(SLR)作為工作的基礎(chǔ)。SLR 是建立在 218 年評議的研究，通過選擇來自 1990 年到 2012 年之間的 4963 篇研究的一個(gè)多階段

2、的過程。結(jié)果：開發(fā)一個(gè)把信息和視為安全的分類。對安全的構(gòu)建和評估的現(xiàn)有技術(shù)進(jìn)行綜述，并進(jìn)一步研究相關(guān)的，這種在學(xué)術(shù)文獻(xiàn)中一直作為的目標(biāo)。分析在不同的應(yīng)用領(lǐng)域性的結(jié)果并在研究和實(shí)踐兩方面的影響結(jié)果。結(jié)論： 據(jù)所知，在安全這個(gè)上本文是現(xiàn)有最大的研究。結(jié)果尤其對相關(guān)從業(yè)者尋求更好的掌握需求和對于在系統(tǒng)安全領(lǐng)域的研究起作用。作為綜述的一個(gè)主要發(fā)現(xiàn)，結(jié)果強(qiáng)烈建議在安全認(rèn)證領(lǐng)域需要的主動(dòng)從業(yè)和的行業(yè)進(jìn)行。1、roduction安全性的系統(tǒng)可能會(huì)導(dǎo)致人或受傷，環(huán)境受到破壞，經(jīng)濟(jì)損失。在航空、鐵路、汽車等領(lǐng)域的系統(tǒng)通常受制于嚴(yán)格的安全評估過程。常見的一種評估是安全認(rèn)證，通常由一個(gè)或機(jī)構(gòu)指揮。安全認(rèn)證的目標(biāo)是提

3、供一個(gè)系統(tǒng)在已知存在的下可以安全運(yùn)行的正式擔(dān)保，安全認(rèn)證與產(chǎn)品，流程或的評估有關(guān)。在密集型安全至上的系統(tǒng)中，產(chǎn)品和過程的認(rèn)證被認(rèn)為是最具性的。評估和保證系統(tǒng)的安全依賴于在其操作系統(tǒng)的安全運(yùn)行上下文中建筑足夠的信心。這種信心往往是通過滿足安全目標(biāo)建立的，這種目標(biāo)是可以減輕一個(gè)系統(tǒng)在其生命周期潛在的安全風(fēng)險(xiǎn)。安全目標(biāo)通常是通過一系列行業(yè)認(rèn)可的標(biāo)準(zhǔn)建立的，通?？勺鳛闃?biāo)準(zhǔn)。安全標(biāo)準(zhǔn)的例子包括IEC61508 一類廣泛的可編程電子系統(tǒng)，DO-178C 為航空、鐵路 CENELEC 標(biāo)準(zhǔn)和 ISO26262 汽車行業(yè)。（CENELEC 和 CEN 以及它們的聯(lián)合機(jī)構(gòu) CEN/ CENELEC 是歐洲最主要

4、的標(biāo)準(zhǔn)制定機(jī)構(gòu)。ISO：ernationalanization for Standardization）證明符合安全標(biāo)準(zhǔn)包括收集能表明相關(guān)的安全標(biāo)準(zhǔn)滿足標(biāo)準(zhǔn)的。然而，安全標(biāo)準(zhǔn)規(guī)定程序合規(guī)， 由于這些標(biāo)準(zhǔn)在非常大的需要作出解釋的文本文檔中呈列出來的，所以它經(jīng)常被證明是一個(gè)非常具有性的任務(wù)給系統(tǒng)供應(yīng)商。一般來說，可以被定義為“可用的事實(shí)或信息指示是否一個(gè)信仰或命題是正確的或有效的”。然而，對于實(shí)際地大型系統(tǒng)，很少人認(rèn)為，能作為一個(gè)事實(shí)的明確或安全要求的有效性，但是只有在要求下對建設(shè)有足夠的信心。因此，安全認(rèn)證的定義為“有助于在一個(gè)系統(tǒng)安全操作上增強(qiáng)信心和顯示一個(gè)或多個(gè)安全標(biāo)準(zhǔn)符合需求”的信息或。安

5、全的一些通用例子是，系統(tǒng)規(guī)能力。一個(gè)標(biāo)準(zhǔn)缺乏一致的解釋會(huì)導(dǎo)致需求的誤解。未能清楚地理解評估一個(gè)系統(tǒng)的需求可能導(dǎo)致兩個(gè)主要問題。首先，供應(yīng)商可能會(huì)錯(cuò)誤在系統(tǒng)開發(fā)期間的認(rèn)證機(jī)構(gòu)在以后將會(huì)需要的關(guān)鍵細(xì)節(jié)。在事實(shí)背后建立的是既昂貴又辛苦。第二，沒有預(yù)先知道認(rèn)證將接受作為證據(jù)可能影響認(rèn)證活動(dòng)的計(jì)劃和組織。特別的，如果需求沒有與供應(yīng)商協(xié)商并同意先驗(yàn)，在系統(tǒng)進(jìn)行認(rèn)證時(shí)認(rèn)證機(jī)構(gòu)可能會(huì)發(fā)現(xiàn)增強(qiáng)足夠的信心是很難的。除了理解和精確定義需求，還需要注意這些是如何和評估的。如果不是結(jié)構(gòu)化的得當(dāng)，其數(shù)量龐大和復(fù)雜性可以危害清晰的安全參數(shù)。此外，能夠確定是明確的、的是非常重要的。盡管安全標(biāo)準(zhǔn)要求足夠的顯示合規(guī)，但在特定的語

6、境下足夠意味著他們是模糊的，而且往往是故意地或是為了成為普遍的。本文的主要目的是在有關(guān)安全的學(xué)術(shù)文獻(xiàn)中現(xiàn)有的知識，集中注意力在上述三個(gè)方面：的信息;的構(gòu)建和的評估。術(shù)語的規(guī)定以后集體被用作這三個(gè)方面。同時(shí)，分析和需求在安全規(guī)定和執(zhí)行一個(gè)領(lǐng)域分析在不同的應(yīng)用領(lǐng)域之間為這個(gè)目的來識別其共同點(diǎn)。實(shí)現(xiàn)的目標(biāo)是通過一個(gè)系統(tǒng)的文獻(xiàn)綜述(SLR)一個(gè)文檔化的和可重復(fù)的過程，通過它在給定下檢查文獻(xiàn)和當(dāng)前知識的狀態(tài)。與特殊搜索相比，一個(gè) SLR 的主要優(yōu)勢在與它提供了一個(gè)對相關(guān)文獻(xiàn)的更高的程度的信任，從而將性和偏見最小化。的 SLR 利用 218評議的物，選擇 4873 篇，通過一個(gè)多階段的過程。評議的一個(gè)關(guān)鍵

7、特性是它本身對一個(gè)特定的領(lǐng)域或安全標(biāo)準(zhǔn)不限制。這個(gè)廣闊的空間搜索讓對藝術(shù)的狀態(tài)有更深的見解。此外，寬度可以幫助理解在不同領(lǐng)域之間的共性是如何感知、結(jié)構(gòu)化和評估，使改進(jìn)的領(lǐng)域還沒有實(shí)施嚴(yán)格的認(rèn)證要求，例如在汽車行業(yè)作為工作的一部分，進(jìn)入一個(gè)分層分類的各種信息和作為符合安全標(biāo)準(zhǔn)的。據(jù)所知，分類系統(tǒng)包括 49 個(gè)基本種類而且是安全建立日期最全面的分類。這種分類法是對于理解和進(jìn)一步闡釋具體標(biāo)準(zhǔn)和具體系統(tǒng)的需求來說是一個(gè)很好的參考。SLR 的其他結(jié)果，即構(gòu)建和評估方法的，和需求的概述和鑒定一個(gè)領(lǐng)域分析共性，對于開發(fā)一個(gè)場所的明細(xì)圖和在安全認(rèn)證上定義一個(gè)未來的研究議程來說將會(huì)是一個(gè)有用的指。的研究顯著表明

8、，絕大多數(shù)是被的方法在實(shí)際的設(shè)置中沒有被驗(yàn)證，從而對他們的實(shí)用價(jià)值提供很少的信息。在未來安全認(rèn)證的研究中一個(gè)重要的建議是從實(shí)證的角度來看，本研究將更嚴(yán)格更面向行業(yè)的需求。SLR 已經(jīng)進(jìn)行了 OPENCOSS 的部分，OPENCOSS 在鐵路、航空和汽車領(lǐng)域上是歐洲一個(gè)大規(guī)模的安全認(rèn)證研究項(xiàng)目。目前的工作在這里，擴(kuò)展早期的會(huì)議文獻(xiàn)。主要的擴(kuò)展是：（1）一個(gè)新的數(shù)據(jù)源的加入，即谷歌學(xué)者，從而增加了主要研究的數(shù)量；（2）研究方法和結(jié)果做重要的描述；和（3）的領(lǐng)域分析（如上所述）。本文其余部分安排如下：第 2 節(jié)相關(guān)的工作。第 3 節(jié)描述使用的研究方法。第 4 節(jié)提出了 SLR 結(jié)果。第 5 節(jié)這些結(jié)

9、果在研究和實(shí)踐中的應(yīng)用。第 6 節(jié)了綜述有效性的。最后，第 7 節(jié)提出的結(jié)論和未來的工作。3、ResearethodSLR 是識別，釋的一種，可用于研究一個(gè)特定的研究問題或領(lǐng)域的相關(guān)問題。個(gè)人研究有助于系統(tǒng)性綜述稱為初級研究。一個(gè)系統(tǒng)綜述是一種次要的研究。一個(gè) SLR 的目的有一下三個(gè)方面：通過一個(gè)嚴(yán)格的系統(tǒng)的方法去展示研究的一個(gè)公正評價(jià)為了幫助識別任何的差距在目前的研究中進(jìn)一步的改進(jìn)。為了一個(gè)新的研究活動(dòng)去概括和提供背景的 SLR 的設(shè)計(jì)開始于 2011 年 10本文過多次優(yōu)化和改進(jìn)，搜索已于 2012 年 1 月開始。建議一個(gè)主要的復(fù)雜性來源是規(guī)范，收集，并證明符合安全標(biāo)準(zhǔn)要求的的評估。在

10、過去沒有人開發(fā)一個(gè)有關(guān)安全的知識體系。出于這種差距，本文提出了一個(gè)系統(tǒng)的文獻(xiàn)綜述(SLR)旨在的最先進(jìn)的安全的規(guī)范。SLR 的最主要結(jié)果之一是安全類型的一個(gè)通用分類。分類法將安全信息分為 49 種可以在文獻(xiàn)中辨認(rèn)的基本類型。鑒定的類型在安全分析結(jié)果、需求規(guī)設(shè)計(jì)規(guī)范下是文獻(xiàn)中最常見的。SLR 進(jìn)一步和把現(xiàn)有的技術(shù)的構(gòu)建信息分為三類：論證感應(yīng)的結(jié)構(gòu)、基于模型的規(guī)文本模板。同時(shí)把現(xiàn)有技術(shù)的安全評估分為四類：估，定量評估和基于邏輯的評估。還研究了在文獻(xiàn)中已經(jīng)解決的和需求。他們分為9 大類和在這個(gè)文檔中三個(gè)最確定的研究問題：內(nèi)容的規(guī)范，安全例證的結(jié)構(gòu)和的性和相關(guān)性的捕捉程度。最后，在他們的需求和相關(guān)的方

11、面本文提出了八個(gè)安全關(guān)鍵領(lǐng)域的比較。在綜述中大多數(shù)的信息在確定的幾個(gè)領(lǐng)域。特別地，航空領(lǐng)域在信息的所有方面是無所不在的。作為一個(gè)主要發(fā)現(xiàn)，關(guān)于驗(yàn)證類型的結(jié)果研究表明，大多數(shù)（72%）的研究沒有在現(xiàn)實(shí)環(huán)境中驗(yàn)證。相信在安全認(rèn)證領(lǐng)域?qū)τ诘闹鲃?dòng)從業(yè)者和行業(yè)者的來說這是一個(gè)需求指示。SLR 為研究和從業(yè)提供有用的見解。從研究的角度來看，證據(jù)的分類和分類構(gòu)建以及評估技術(shù)提供一個(gè)全球現(xiàn)有的安全研究的綜以下分段展示了研究問題，數(shù)據(jù)來源，搜索策略，物的選擇和 SLR的質(zhì)量標(biāo)準(zhǔn)。7s and future work安全認(rèn)證是必要的，但對于最安全關(guān)鍵系統(tǒng)的復(fù)雜活動(dòng)。在認(rèn)證過程在未來，想要進(jìn)一步分析在不同類型和在不

12、同領(lǐng)域建立更加詳細(xì)的信息模型之間依賴關(guān)系和約束。為了進(jìn)一步在工業(yè)需求上得出SLR 的結(jié)果，計(jì)劃通過以下幾個(gè)方面驗(yàn)證綜述的結(jié)果：（1）通過進(jìn)行新的的從業(yè)者如何提供安全認(rèn)證的（2）通過比較證據(jù)分類的發(fā)展，連同它的詞匯，在不同安全標(biāo)準(zhǔn)提供的信息關(guān)于提供的證據(jù)能遵照執(zhí)行。這些研究將使能夠比較藝術(shù)的狀態(tài)和實(shí)踐的狀態(tài)，既與從業(yè)做什么又與安全標(biāo)準(zhǔn)表明什么有關(guān)。也可以比較不同類型的如何分類（即，安全信息的概念）被稱為和定義在不同的應(yīng)用領(lǐng)域，確定他們的差異和共性，這也使能夠在一些不同的應(yīng)用領(lǐng)域找到一些的概念或存在的差異。在以前的工作中的一些線索，如 121 ，解決問題述。這既對該地區(qū)的一個(gè)概述又對組織未來研究做

13、參考提供幫助。的和需求，已被確定為對建立一個(gè)未來的研究議程是有用的。至于從業(yè)者，尤其是分類的發(fā)展，結(jié)果為學(xué)習(xí)和裁剪各種類型的在認(rèn)證期間可能需求的提供一個(gè)具體的參考。此外，分類為安全創(chuàng)建一個(gè)共同的術(shù)語。有這樣一個(gè)共同的術(shù)語是有利的，它既作為一個(gè)傳播媒介來促進(jìn)交流又避免誤解，同時(shí)又作為一種基礎(chǔ)工具可以支持為安全管理所設(shè)計(jì)。這樣的工具支持的需求可以從 SLR 的結(jié)果引起。其中，解決與其他工具的集成似乎是一個(gè)關(guān)鍵方面。SLR 是一個(gè)更大的和正在研究的一部分，旨在提高安全認(rèn)證實(shí)踐。我們強(qiáng)調(diào) SLR 只專注于學(xué)術(shù)文獻(xiàn)上。隨后，基于目前的結(jié)果通過某項(xiàng)技術(shù)相關(guān)的研究數(shù)量的比例以及該技術(shù)在實(shí)踐中的應(yīng)用，沒有結(jié)論可以得出。分析實(shí)際用途和工業(yè)應(yīng)用要求，研究當(dāng)前實(shí)踐狀態(tài)和超出了這個(gè) SLR的范圍。通過專注于安全的分類標(biāo)準(zhǔn) IEC61508 等。進(jìn)一步的線索，例如， 17 ，考慮安全的構(gòu)建。一個(gè)安全的情況下，是一個(gè)結(jié)構(gòu)化的論點(diǎn)的目的在于提供一個(gè)令人信服的，全面的，有效的情況下，系統(tǒng)對于一個(gè)給定的在一個(gè)給定的操作環(huán)境中的應(yīng)用是安全的在安全的情況下，參數(shù)總是伴隨著支持論點(diǎn)的最近，出現(xiàn)了一個(gè)叫做 OMG 主動(dòng)性針對標(biāo)準(zhǔn)化的概念及相關(guān)的概念保證和論據(jù)雖然上述螺紋已經(jīng)為當(dāng)前的單反相機(jī)一個(gè)有用的開始，他們是不是太具體的（僅涉及到一個(gè)標(biāo)準(zhǔn)或應(yīng)用程序域）或不提供全面和充分詳細(xì)的分析可能的類型和如何構(gòu)建和評估