Ellidiss P d www ellidiss com Stood Coding in C User Manual revision B STOOD Coding in C User Manual Ellidiss October 2011 page 1 Pierre Dissaux page 2 STOOD Coding in C User Manual Ellidiss October 2011 Contents 1 C mapping overview 5 2 C coding sections 8 2 1 headers 9 2 2 declarations 11 2 3 behavioural and procedural code 18 3 C generation options 26 3 1 main options 27 3 2 RTOS options 36 3 3 presentation options 39 3 4 funct
fa Stood for the AADL Stood 5 2 AADL Tutorial STOOD AADL Tutorial Ellidiss May 2007 page 1 e Stood for the AADL Pierre Dissaux Ellidiss Technologies page 2 STOOD AADL Tutorial Ellidiss May 2007 eg Sto Contents RE Tel en e uneuabeeionatonncnnonsscbsamiunnonengsotsnnamsananadea tanubadecaausinahogsuadonsanebecsonsseaseins 5 NS a E 6 SEENEN 6 PPE EITE A anA n e E E EEeie 7 PESE GUNN EE ING ENE E N A E T A E OE A EE E E NE OEE E 8 D E O s
zr e e Ellidiss Stood Administrator Manual revision D STOOD Administrator Manual Ellidiss October 2011 page 1 Pierre Dissaux Pam Flood page 2 STOOD Administrator Manual Ellidiss October 2011 This manual explains how to customize Stood It is assumed here that a standard installation procedure for the product and its license server has been followed successfully before attempting to use Stood Please refer to the Installation Manual in case of any p
110 H H 109 108 H H 107 106 G 4 G 4 105 lt lt gt gt for manifest arrays semicolon as separator between an Assertion_clause and the next 104 G 2 G 2 RESERVED WORDS alias all and as BIT BOOLEAN CHARACTER check class creation Current debug deferred do DOUBLE else elseif end ensure expanded export external false feature from frozen if implies i