Existing software development methodologies mostly assume that an application runs on a single device without concern about the non-functional requirements of an embedded system such as latency and resource consumption. Besides, embedded software is usually developed after the hardware platform is determined, since a non-negligible portion of the code depends on the hardware platform. In this article, we present a novel model-based software synthesis framework for parallel and distributed embedded systems. An application is specified as a set of tasks with the given rules for execution and communication. Having such rules enables us to perform static analysis to check some software errors at compile-time to reduce the verification difficulty. Platform-specific programs are synthesized automatically after the mapping of tasks onto processing elements is determined. The proposed framework is expandable to support new hardware platforms easily. The proposed communication code synthesis method is extensible and flexible to support various communication methods between devices. In addition, the fault-tolerant feature can be added by modifying the task graph automatically according to the selected fault-tolerance configurations by the user. The viability of the proposed software development methodology is evaluated with a real-life surveillance application that runs on six processing elements.

中文翻译：

---

用于并行和分布式嵌入式系统的基于数据流模型的软件综合框架

现有的软件开发方法大多假设应用程序在单个设备上运行，而不考虑嵌入式系统的非功能性要求，例如延迟和资源消耗。此外，嵌入式软件通常是在确定了硬件平台之后开发的，因为代码中不可忽略的部分取决于硬件平台。在本文中，我们提出了一种新颖的基于模型的软件综合框架，用于并行和分布式嵌入式系统。应用程序被指定为一组具有给定执行和通信规则的任务。有了这样的规则，我们就可以在编译时进行静态分析，检查一些软件错误，从而降低验证难度。在确定了任务到处理元素的映射之后，平台特定的程序会自动合成。所提出的框架可扩展以轻松支持新的硬件平台。所提出的通信代码合成方法具有可扩展性和灵活性，以支持设备之间的各种通信方式。此外，还可以根据用户选择的容错配置，通过自动修改任务图来添加容错功能。建议的软件开发方法的可行性通过在六个处理元件上运行的真实监控应用程序进行评估。所提出的通信代码合成方法具有可扩展性和灵活性，以支持设备之间的各种通信方式。此外，还可以根据用户选择的容错配置，通过自动修改任务图来添加容错功能。建议的软件开发方法的可行性通过在六个处理元件上运行的真实监控应用程序进行评估。所提出的通信代码合成方法具有可扩展性和灵活性，以支持设备之间的各种通信方式。此外，还可以根据用户选择的容错配置，通过自动修改任务图来添加容错功能。建议的软件开发方法的可行性通过在六个处理元件上运行的真实监控应用程序进行评估。