safety-critical

    1熱度

    1回答

    差異

    SIL規範定義了必須施加到代碼不同的規則（即：循環複雜度等） 這些規則通過定義「NA - 不適用」，「R - 推薦「和」人力資源 - 高度推薦「。 我理解這種讚賞取決於定義軟件的人。 我受到「HR」規則中「R」規則的限制嗎？第一個是推薦的，第二個是強制的？
    safety-critical 2017-03-16

    1熱度

    1回答

    Linux可以總線傳輸超時

    情景 有連接到CAN總線一個Linux供電的設備。設備週期性地發送CAN消息。這個消息攜帶的數據的性質就像測量而不是命令，即只有最近一個實際上是有效的，並且如果一些消息丟失，只要最後一個消息成功接收，這不是問題。 然後，有問題的設備與CAN總線斷開連接的時間要比後續消息傳輸之間的間隔長得多。設備邏輯仍在嘗試傳輸消息，但由於總線斷開，CAN控制器無法傳輸任何消息，因此消息正在TX隊列中累積。 一段時
    linux sockets can safety-critical can-bus 2013-10-28

    5熱度

    5回答

    米斯拉違反12.6

    如何獲得對下面的語句 typedef unsigned char boolean; boolean A,B; A = !b; 的邏輯操作數擺脫米斯拉侵犯！運算符不是「有效布爾」 表達式。 MISRA-C：2004年第12.6條;參考 - ISO：C90-6.3.3.3一元 算術運算符
    c boolean typedef misra safety-critical 2014-02-13

    5熱度

    1回答

    Qt研究/學術/期刊論文/文章

    我正在嘗試查找分析Qt和Qt Creator最新版本的任何研究/學術/期刊論文/文章。 具體來說，我試圖從實時安全關鍵角度評估Qt，所以任何信息都是有幫助的。 P.S.我試過了典型的搜索方法： Google學者，IEEE Explore，ACM Digital Libray等。 也許我沒有使用正確的搜索條件，但是當我搜索以下內容時沒有任何用處： 「Software安全的Qt GUI「或任何排列。
    qt real-time safety-critical 2012-03-20

    0熱度

    2回答

    安全至關重要的應用程序 - 數據庫行驗證

    這可能有點模糊，但我希望在所有的人中，會有一些人遇到過這種類型的問題。 背景 我們的應用程序是一個控制列車訂單的C＃/ .NET服務。我們使用LINQ-to-SQL來存儲鐵路網絡的狀態，並在SQL Server 2005數據庫中訓練訂單。 我們有一個安全要求，即COTS軟件本身不能被「信任」。 要求 這樣的風險已經被捕獲爲：「SQL服務器或操作系統修改靜態或動態數據」 我們的要求：「存儲在數據庫中
    .net sql-server hash safety-critical 2010-11-16

    3熱度

    1回答

    安全關鍵嵌入式系統中顯示系統的資源？

    我找出來，可以回答以下我的問題的資源。 到底在哪確實在SC ERTS架構適合的顯示系統英寸 是什麼SC顯示系統和常年偏多之間的區別？ 什麼樣的角色呢硬件和軟件遊戲的顯示系統？ 我準備顯示系統的詳細調查了我的課程。請注意，我要求提供參考資料，來源等，而不是實際的答案。 我也很樂意見到斷肢體的建議和意見。 一些有用的東西，我已經發現：DO 178B標準，SCADE顯示系統。
    embedded real-time safety-critical do178-b 2009-12-05

    0熱度

    2回答

    什麼在C代碼

    對可變冗餘一個有力的論據我在安全關鍵應用程序的開發工作。最近作爲代碼審查人員，我抱怨下面顯示的編碼風格，但無法對它做出強有力的反駁。那麼，針對這種可變冗餘/重複會有什麼好的爭論，我正在尋找可能導致問題或可能失敗的測試案例的案例，而不僅僅是編碼風格。 //global data // global data int Block1Var; int Block2Var;
    c code-standards safety-critical 2013-06-19

    1熱度

    1回答

    CAN接收過濾

    假設CAN網絡中的所有節點均使用接收過濾器配置爲只發給它們的rx數據包。 例如：節點A配置爲rx只在11位ID字段中尋址爲「A」的數據包，依此類推。 場景：如果有4個節點A，B，C，D。 任務1：如果A將數據包發送給E（不是有效的ID）。請問節點A的ACK標誌是否置位，表示消息已被節點確認？即如果消息未被接受過濾器接受，則不管消息是否已被rxd發送或不被髮送者知曉。 任務2（取決於任務1）：如果A
    embedded can safety-critical 2016-01-23

    4熱度

    3回答

    堆棧上的可執行Ada代碼

    我剛剛從last year's 32C3上觀看了關於security considerations for railway systems的討論。 在第25分鐘，演講者簡要地談論了Ada。具體而言，他說： 典型的Ada實現有一個叫做「（tramp/trunk/ ？）lines」的機制。這意味着它會執行代碼堆棧，這對C程序來說不是很好。如果您想將Ada代碼與C 庫鏈接，則其中一種安全機制將無法工作。
    stack ada scada data-segment safety-critical 2016-01-24

    5熱度

    1回答

    算法交易軟件安全衛士

    我正在開發自動交易系統。我應該配備什麼樣的保安人員？ 我的主要想法是有多個部分互相檢查。 我將有第二個獨立的小流程，它也將連接到相同的交易賬戶並監控簡單的事情，例如確保總淨位置不超過一定限制或者不超過N個訂單例如10分鐘，或M個以上的位置同時打開。您還可以檢查實際的未平倉頭寸是否與戰略過程認爲實際持有的內容相對應。作爲獎勵，我可以在不同的機器/網絡提供商上運行此檢查程序。 除了在主要策略中的檢查，
    monitoring finance safety-critical algorithmic-trading 2010-05-20
最新問題