Annotation with Timing Constraints in the Context of EAST-ADL2 and AUTOSAR -the Timing Augmented Description Language. STANDRTS'09 at ECRTS, 2009. ,
, EAST_ADL2 Specification
, AUTOSAR AUTomotive Open System Architecture
, , 2008.
, OMG UML Profile for Modeling and Analysis of Real-time and Embedded Systems, MARTE V1.0. Object, 2009.
Systems Modeling Language (SysML) Specification 1.1. Object Management Group, 2008. ,
Syntax and semantics of the clock constraint specication language, INRIA, 2009. ,
, IEEE P1850 -Standard for PSL -Property Specification Language Homepage, 2011.
, TimeSquare Model Development Kit
,