「Ada」標籤的文章

Ada 的泛型程式設計 ── 以型別撰寫契約，零成本達成程式碼重用

2026年06月17日 00:00

系統性說明 Ada 的泛型程式設計，涵蓋泛型子程式、泛型套件、形式子程式參數、型別類別、正式套件參數，以及實務上的設計方針。搭配 Mermaid 圖與實例，整理型別安全的重用與零成本抽象化的思路。

用 Ada 打造即時系統程式設計 ── 優先權、週期、執行時間控制實戰

2026年06月14日 03:00

本文透過 8 個實戰程式碼範例，逐步學習 Ada Annex D（即時系統）所提供的即時功能──任務優先權、Ceiling_Locking 協定、delay until 的週期執行、Ravenscar 設定檔、計時事件、保護佇列、依任務量測執行時間、多週期整合。

Ada 的安全並行處理 ── 任務與保護物件實戰指南

2026年06月14日 00:00

本文是 Ada 語言內建並行處理機制──任務(task)與保護物件(protected object)的實戰入門文章。內容涵蓋會合(entry/accept)、選擇性接受(select)、生產者消費者模式、保護物件實現的排他控制、帶屏障的保護入口、附逾時的呼叫，以及任務優先權與即時排程，從安全並行處理的基礎一路整...

SPARK形式驗證入門 ── 從Ada的契約到數學證明

2026年06月13日 00:00

本文是使用Ada子集語言SPARK進行形式驗證的實務入門文章，整理從契約(Pre/Post)進階到證明的方法、GNATprove的使用方式、迴圈不變條件、資料流契約、證明等級，以及在實際專案中導入的方法。

Ada 語言的魅力 —— 用型別闡述設計理念，支撐運作數十年軟體的語言

2026年06月12日 00:00

介紹 Ada 語言的魅力。從強型別、範圍限制、以套件分離規格與實作、契約式設計、內建於語言的工作(task)、SPARK 形式驗證，到 GNAT 與 Alire 開發環境，整理支撐高可靠軟體的設計理念。