• 
<ul id="auswy"><sup id="auswy"></sup></ul>
  • 

  • <ul id="auswy"></ul>
    


    
    
    
                                    最新廣告
                            
    
            關(guān)注中國(guó)自動(dòng)化產(chǎn)業(yè)發(fā)展的先行者！
            
    
                
				
                
                
                
            
    
        
    
    
    

    


    
    
    
        
        
        
        
       
					
    
				
    
					
    
												
    
							工業(yè)智能邊緣計(jì)算2025年會(huì)
						
    
												
    
							CAIAC 2025
						
    
												
    
							2025工業(yè)安全大會(huì)
						
    
												
    
							OICT公益講堂
						
    
						
					
    
				
    
				
    
			
    
		
    
    

    


    
    
    

    


    
    
    
        
        當(dāng)前位置：首頁(yè) >> 名篇 >> 名家名篇

    
    

    
    
        
    名家名篇
    
    
    

    
    
        
    
            
    提高核電儀控系統(tǒng)軟件安全性的驗(yàn)證技術(shù)研究
    
            
    
                
      
                                            
    • 廠商：《自動(dòng)化博覽》
      • 
                                                                
    • 作者：尹寶娟
      • 
                                        
    • 點(diǎn)擊數(shù)：2543     發(fā)布時(shí)間：2012-10-10 15:24:00
      • 
                    
    • 分享到：
      • 
                
    
            
    
            
                            
    
                    由于軟件技術(shù)在核電站中的應(yīng)用日益廣泛，其安全性顯得越發(fā)重要；而對(duì)提高軟件安全性的分析驗(yàn)證技術(shù)和方法的研究將進(jìn)一步促進(jìn)核電儀控軟件的應(yīng)用。本文將對(duì)核電站儀控系統(tǒng)軟件開(kāi)發(fā)全生命周期中的若干提高軟件安全性的驗(yàn)證技術(shù)與方法進(jìn)行闡述，包括：可追蹤性分析、危險(xiǎn)分析、安全性測(cè)試等。
                
    
            
        
                            
    
                    關(guān)鍵詞：
                                    
    
                                                    
    請(qǐng)登錄以后訪問(wèn)所有功能！
    
                    登錄 
                    注冊(cè)
                
    

                        
                            
    
                    
    相關(guān)文章
    
                    
      
                                            
    
                
    
            
        
    



        
    
                            
    熱點(diǎn)新聞
    
                
            
                            
    推薦產(chǎn)品