  Modeling and analysis of timing constraints is crucial in automotive systems.
EAST-ADL is a domain specific architectural language dedicated to
safety-critical automotive embedded system design. In most cases, a bounded
number of violations of timing constraints in systems would not lead to system
failures when the results of the violations are negligible, called Weakly-Hard
(WH). We have previously specified EAST-ADL timing constraints in Clock
Constraint Specification Language (CCSL) and transformed timed behaviors in
CCSL into formal models amenable to model checking. Previous work is extended
in this paper by including support for probabilistic analysis of timing
constraints in the context of WH: Probabilistic extension of CCSL, called
PrCCSL, is defined and the EAST-ADL timing constraints with stochastic
properties are specified in PrCCSL. The semantics of the extended constraints
in PrCCSL is translated into Proof Objective Models that can be verified using
SIMULINK DESIGN VERIFIER. Furthermore, a set of mapping rules is proposed to
facilitate guarantee of translation. Our approach is demonstrated on an
autonomous traffic sign recognition vehicle case study.
