print_Hyon

本文介绍了ARP4761项目的基本内容和部分aadl。本示例再现了ARP4761和AIR6110标准中描述的车轮制动系统。

本文介绍了复合构建system和通用构建abstract的约束和使用方法。统代表软件、执行平台或系统构建的复合体。

本文介绍了执行平台类构建Processor、Virtual Processor、Memory、Bus、Virtual Bus、Device的使用方法和约束。

本文主要介绍AADL软件类构建Process、Thread、Thread Group、Data、Subprogram、Subprogram Group的功能和基本用法。

本文已参与「新人创作礼」活动，一起开启掘金创作之路。 形式化验证 为什么需要形式化验证? 因为这种证明方法可以在理论上寻找到程序中的错误，而这些错误可能不可复现、无法被测试所覆盖、或者只会发生一次等，

本文介绍了一阶谓词逻辑系统的演绎定理、可证等价关系和完备性定理的基本定义。帮助初学者理解一阶谓词逻辑系统。

本文介绍了一阶语言的逻辑有效性、闭包与闭公式、逻辑等价的基本概念和推论定理。一阶谓词是数理逻辑的重要一环。

本文介绍了一阶语言的解释的定义、组成，赋值、等价赋值的基本性质，以及公式的可满足性，以及一些课本上的习题。

本文介绍了AADL语法组件的基本信息，同时推荐了一些学习新手教材，帮助入门人员更快的了解AADL的基本语法和使用规范。