A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures.

Modern automotive software components are often first developed by different suppliers and then integrated under limited resources by a manufacturer. The integration of software components under various resource configurations is prone to timing errors because the components are resources independently designed by the supplier and viewed by the manufacturer as black boxes during the integration st...