@inproceedings{2596cc0230584f69a4cffe0100c12b37,
title = "Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications",
abstract = "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.",
keywords = "Distributed, MBSE, Multi-CPU, Process, Re-quirements",
author = "Eric Lubat and Eric Jenn and Dominique Blouin and Marc Kaufmann",
note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2023 ; Conference date: 01-10-2023 Through 06-10-2023",
year = "2023",
month = jan,
day = "1",
doi = "10.1109/MODELS-C59198.2023.00092",
language = "English",
series = "Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "549--558",
booktitle = "Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023",
}