共找到7條詞條名為蔡浩的結果 展開
蔡浩
汕頭大學工學院教授
蔡浩，汕頭大學工學院教授。研究領域：軟體/硬體協同設計容錯計算機系統、高完整性的實時系統的工程方法、低功耗移動和嵌入式計算系統、高完整性，實時系統的硬體和軟體架構、高完整性，實時系統的多核心計算機、可靠分散式計算系統。
06/2012 – 現在，汕頭大學工學院，計算機系，教授
08/2008 – 06/2012，高級軟體工程師，諮詢師，技術總監
08/2005 – 08/2008 研究員，博士生導師，實時組博士評審委員會委員
10/2001 – 08/2005 助教，博士研究生
提出並進一步論證了兩層固定優先順序並加入預算的實時調度方法，為混合高安全實時系統提供了理論基礎；
成功的在Spark Ada 系統中實現我所提出的新的實時調度方法，並且廣泛應用於大型高安全實時系統中（包括英國最新空中交通管制系統）；
論證正規化方法 (Formal Methods) 在大型高安全軟體工業領域中的實際應用。使用Z和 SPARK Ada 應用於英國最新空中交通管制系統開發, 主持目前軟體工業領域最大規模使用正規化方法。證實了正規化方法是提高大型軟體質量，降低軟體開發成本的有效重要的方法。具體的創新成果包括：
制定和完善整套的有效使用正規化方法開發高安全軟體的流程；
相應的開發工具的優化，支持工具的研發；
FWP Engine 的架構設計 (包括并行處理方法，安全分析，飛行數據處理，雷達信號處理等);
參與制定了整套從正規化系統設計到系統實現的大型高安全軟體質量控制體系。