We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of complex cyber-physical systems. This framework provides a set of rules for combining several domain-specific languages as structured, enclosing layers to orthogonalize the many aspects of system behavior, yet study their interaction in tandem . We define four layers: one for capturing timed interactions in heterogeneous systems, one for structured parallelism, one for modeling uncertainty, and one for describing component properties. This framework enables a systematic exploitation of design properties in a design flow by facilitating the stepwise projection of certain layers of interest, the isolated analysis and refinement on projections, and the seamless reconstruction of a system model by virtue of orthogonalization. We demonstrate the capabilities of this approach by providing a compact yet expressive model of an active electronically scanned array antenna and signal processing chain, simulate it, validate its conformity with the design specifications, refine it, synthesize a sub-system to VHDL and sequential code, and co-simulate the generated artifacts.

中文翻译：

---

ForSyDe-Atom

我们提出了 ForSyDe-Atom，这是一个正式的框架，旨在作为复杂网络物理系统的规范设计的入口点。该框架提供了一组规则，用于将几种特定于领域的语言组合成结构化的、封闭的层数到正交化系统行为的许多方面，但研究它们的相互作用串联. 我们定义了四层：一层用于捕获异构系统中的定时交互，一层用于结构化并行，一层用于建模不确定性，一层用于描述组件属性。该框架通过促进逐步实现设计流程中的设计属性的系统开发投影某些感兴趣的层，​​孤立的分析和细化关于投影和无缝重建通过正交化的系统模型。我们通过提供一个紧凑而富有表现力的有源电子扫描阵列天线和信号处理链模型来展示这种方法的能力，对其进行仿真，验证其与设计规范的一致性，对其进行改进，将子系统合成为 VHDL 和顺序代码，并共同模拟生成的工件。