本論文提出了一種基於工具的設計方法，用於協助設計師從實作選擇為起點，推斷隱含的需求，並自動解決基於組件的嵌入式系統架構的配置設定。設計師通常會繪製一個僅捕捉必要需求的架構塊圖，而其他非關鍵部分的細節，則交給助理工程師填入完成。如此形成的規格對於設計工具是不完整的，當今的工具也無法提供自動化協助，但它可以讓設計師專注於關鍵特性，同時保持實作上最大的靈活性。

為了支援使用組件來實作出如此不完整表述的嵌入式架構設計，我們提出的方法是首先從下到上自動將組件相依的需求做明文化，藉由新增實作所選定的組件所需搭配的額外方塊與接線。該過程一直持續到所有因符合實作需求所引起的需求被確定為止。另外一個步驟是收集這些組件實例屬性之間的關係，以自動求解所需的配置設定。對於不同類型的屬性，我們提出了基於代數、匹配和其他一般約束的高效求解演算法。

我們將所提出的設計方法套用於實際嵌入式系統的案例，以展示我們方法的可行性。實驗結果表明，我們的方法使得塊圖能夠保持高度的可重新定向性，同時有助於詳細評估不同實作選項，以進行設計空間的探索。

This thesis proposes a tool-based methodology for assisting designers with inferring implicit requirements from implementation choices and resolving the configuration for component-based embedded system architectures. Designers commonly draw an architectural block diagram that captures only the necessary requirements while leaving other parts implicit to be filled in by implementation engineers. Such a representation may be incomplete for design tools but can be advantageous by allowing designers to focus on the key features while leaving maximal flexibility for the implicit parts to be implemented.

To support designing embedded architectures using components to implement such an incomplete representation, we propose to first automatically explicate the component-dependent requirements bottom-up by inserting additional blocks and links required by the components explicitly chosen for implementation. The process continues until all implementation-induced provisional requirements are explicated. A separate step is to resolve the relations on the attributes of these component instances for the desired system configuration. For different types of attributes, we propose efficient solvers in terms of algebra, matching, and other general constraints.

We present case studies of real-life embedded systems to demonstrate the feasibility of our approach. Experimental results show that our methodology enables the block diagram to remain highly retargetable while facilitating assessment of different implementation options in detail for design space exploration.

[AGF17] Fraser Anderson, ToviGrossman, and George Fitzmaurice. Trigger-action-circuits: Lever-aging generative design to enable novices to design and build circuitry. In Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology, UIST’17, page 331–342, NewYork, NY, USA, 2017. Association for Computing Machinery.

[Bli90] Wayne D Blizard. Negative membership. Notre Dame Journal of formal logic, 31(3):346–368, 1990.
[Cha] Jean-Pierre Charras. KiCad. https://www.kicad.org/.
[Ins] TexasInstruments. CC2541 Datasheet. https://www.ti.com/lit/ds/symlink/cc2541.pdf?
ts=1657428536025.
[Kob] Cris Kobryn. SysML. https://ihttps://sysml.org/.
[LRC¸20] Richard Lin, Rohit Ramesh, Connie Chi,Nikhil Jain, Ryan Nuqui, Prabal Dutta, and Björn
Hartmann. Polymorphicblocks: Unifying high-level specification and low-level control for circuit board design. In Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology, UIST’20, page 529–540, NewYork, NY, USA, 2020.
Association for Computing Machinery.
[LRI¸19] Richard Lin, Rohit Ramesh, Antonio Iannopollo, Alberto Sangiovanni Vincentelli, Prabal Dutta, Elad Alon, and Björn Hartmann. Beyond schematic capture: Meaningful abstractions for better electronics design tools. In Proceedings of the 2019 CHI Conference on
Human Factors in Computing Systems, CHI’19, page1–13, NewYork, NY, USA, 2019. Association for Computing Machinery.
[RLI¸17] Rohit Ramesh, Richard Lin, Antonio Iannopollo, Alberto Sangiovanni-Vincentelli, Björn Hartmann, and Prabal Dutta. Turning coders into makers: The promise of embedded design generation. In Proceedings of the 1st Annual ACM Symposium on Computational Fabrication, SCF’17, NewYork, NY, USA, 2017. Association for Computing Machinery.