Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications

In the domain of safety critical real-time computing, the ever increasing demand for processing power and robust safety guarantees has fueled the development of solutions to support the development of multicore and multi-CPU distributed software architectures. These architectures offer the potential for achieving enhanced computational power by exploiting the high-level of hardware parallelism, but they also raise significant challenges in ensuring temporal guarantees, such as the absence of deadlocks and race conditions, compliance with time budgets, etc. In this paper we present our ongoing work of developing a workflow for developing multi-CPU software applications from high level requirements down to the integrated system. The workflow is supported by several models and is specified with the FTG+PM formalism. We illustrate the workflow using two industrial applications from the aeronautical domain.