Abstract
The crucial foundation in developing embedded safety-critical real-time systems based on multicore based platforms is the capability to combined different methodologies and approaches with a sound formal description of the system architecture. With such a system of methodologies and system architectures it is possible to develop a system satisfying all requirements and even being able to optimize the overall system towards domain specific goals. This article discusses activities in ARAMiS, which have been performed on system architecture level, including improvements of modeling existing architectures and design techniques concerning reliability, independence, segregation and determinism for deployment strategies.
©2017 Walter de Gruyter Berlin/Boston
