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