本書提出了一種基于形式化模型的嚴(yán)密的系統(tǒng)設(shè)計方法，闡述了嚴(yán)密系統(tǒng)設(shè)計方法的基本原理，介紹了嚴(yán)密系統(tǒng)設(shè)計框架BIP的建模語言、形式語義及其工具鏈。自主系統(tǒng)作為人工智能技術(shù)應(yīng)用落地的重要形態(tài)，討論了自主系統(tǒng)設(shè)計的趨勢和挑戰(zhàn)，闡述了一種集成模型驅(qū)動方法與數(shù)據(jù)驅(qū)動方法的思路，并提出了一種新的基于替換測試的智能測試方法，用以判斷自主系統(tǒng)在完成多種不同類型任務(wù)方面的智能水平。