10 2020 檔案
摘要：2020年7月1日旋極信息攜手QA Systems公司聯合推出ISO 26262功能安全在線直播課程，并取得圓滿成功。受疫情影響，汽車電子技術行業的溝通交流難以開展，為打破業內人士之間的交流屏障，促進技術人員的知識共享，旋極信息受邀在汽車安全技術直播專業平臺的系列課程中分享了關于“ISO 26262
閱讀全文
摘要：軟件應用安全測試解決方案的領先提供商GrammaTech,今天宣布已收購JuliaSoft S.r.l.的知識產權及資產。通過針對Java和C＃代碼的自動代碼分析來擴展其CodeSonar®靜態應用程序安全測試(SAST)平臺。 為了向客戶提供可靠的能夠檢測出嵌入式應用程序中安全漏洞和其他缺陷的集成
閱讀全文
摘要：與軟件相關的問題繼續困擾著各種規模的機構和組織，因此IT領導者們正在向應用程序安全測試工具尋求幫助。由于市場上存在多種類型的程序，因此選擇一個程序并不是一個簡單的過程。想要選擇理想的應用程序安全測試解決方案，您需要考慮一系列細節。為此信息安全網站Help Net Security采訪了Defense
閱讀全文
摘要：近期，GreatRiver Technology發布了基于新一代ARINC818協議的仿真開發板-Velocity XI。相對于以往的仿真板卡，Velocity XI具備了劃時代的功能--即通過其獨有的ICD文件配置工具可以快速創建多種任意的ICD文件并固化到仿真板卡內。該功能打破了同類仿真板卡只能
閱讀全文
摘要：DefenseCode集團宣布，DefenseCode靜態應用程序安全測試（SAST）ThunderScan®解決方案現可作為一個GitHub Action，提供30多種語言的安全漏洞分析，并將詳細的漏洞報告集成到GitHub中。 DefenseCodeThunderScan®是SAST（靜態應用程
閱讀全文
摘要：在最新一期的美國權威科技信息評論雜志《 CIO Review》中，GrammaTech被評為20大最有前途的汽車解決方案提供商之一。企業名單由專家小組和CIO Review編輯委員會的成員選出，選擇GrammaTech的物聯網（IoT）解決方案是基于其在當今IoT驅動的市場中提供非凡價值的能力。它源
閱讀全文
摘要：Stoneridge Stoneridge，Inc.是為商用車，乘用車和非公路用車市場提供高度工程化電氣電子元件的全球領導者。其業務范圍遍及全球15個國家，27個地區。 Stoneridge的解決方案可以為車輛智能系統提供動力，大幅提高燃油效率、減少排放，并為公路上的每個人提高安全和保障。他們的技術
閱讀全文
摘要：導語：EN 50128是為鐵路行業的特定需求量身定制的功能安全標準。其標題為“鐵路應用—通信，信號和處理系統—鐵路控制和防護系統軟件”。遵守該標準的要求對于鐵路軟件開發是至關重要的。因此，必須了解什么是EN 50128，如何遵循EN 50128以及什么是軟件安全完整性等級（SSIL）。 什么是EN
閱讀全文
摘要：汽車芯片和集成電路（IC）是高級駕駛員輔助系統（advanced driver assistance systems-ADAS）和聯網自動駕駛汽車（connected autonomous vehicles-CAV）的基礎。盡管IC已經變的非常可靠和耐用，但依然會發生故障。例如物理現象（如電遷移）可
閱讀全文
摘要：Onespin是領先的EDA解決方案提供商，其360系列產品為FPGA形式化驗證工具。它以強大、高性能的形式化驗證引擎為基礎，能夠覆蓋自動設計分析到高級屬性檢查以及邏輯等效性驗證，幫助構建功能正確，安全，可靠、可信賴的系統。 OneSpin 360?2020.2.0版本現已準備就緒，該版本包括功能和
閱讀全文
摘要：Cantata 9.0，從2019年10月開始正式發布，它是一個重要的具有全新功能的新版本。此版本引入了對測試驅動開發（TDD）的支持，并增強了Cantata的AutoTest功能，為C ++代碼提供了自動測試生成技術。 Cantata 9.0還包含許多其他較小的功能增強和修復。發行說明中記錄了完整
閱讀全文
摘要：“借助Klocwork，我們能夠比傳統的手動分析和測試更快發現可能遺漏的問題。這使我們能夠交付出引以為傲的高質量軟件，并滿足客戶的期望。” — SCM系統工程經理 Klocwork 簡介 Klocwork是針對C，C ++，C＃和Java編程語言的最準確的代碼分析器之一。它是一款現代化的敏捷靜態代碼
閱讀全文
摘要：MISRA C是安全使用C編程語言的一套準則，主要使用在安全關鍵的嵌入式系統中。它的許多規則和指令旨在幫助軟件開發人員編寫更易于理解和維護的代碼。軟件開發工作需要團隊合作，這些編程風格類的規則是重要的，有益于理解源代碼。其他規則禁止進行有風險的設計或已知的不良編程行為。 編程風格類規則的一個很好的例
閱讀全文
摘要：Crazyflie是Bitcraze售賣的可編程無人機，它被設計成為可被修改的并為其操縱裝置和操作系統運行的開源軟件。特別是這架無人機使用了FreeRTOS作為其實時的操作系統。 通過CodeSonar運行Crazyflie的代碼，發現Crazyflie中的一個故障由應用程序代碼中的一個未初始化變量
閱讀全文
摘要：最新版本的GrammaTech CodeSonar（版本5.3）繼續致力于成為靜態應用程序安全測試（SAST）的首選提供商,以及成為提高軟件內外部安全和軟件質量所選擇的靜態分析工具。該版本具備一些新功能以及兼容性的更新和其他改進。 此版本的CodeSonar包括對Android，NetBSD 8，V
閱讀全文
摘要：課程簡介 本課程為期2天，結合實例講解如何使用Cantata開展C代碼，通過培訓，可以明顯提高工程師操作Cantata的效率，并加速單元測試和集成測試。 【日期】2020年12月8日-9日（共2天） 【時間】3:00pm-11:00pm （北京）時間 【地點】線上（Go To Meeting -網絡
閱讀全文
浙公網安備 33010602011771號