1. ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Safety Certification of Software-intensive Systems with Reusable Components Sept 25-27, 2013 Riga nSafeCer ramp-up WP120, WP130 2013-09-27 11:30–12:30

2. ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 MDH, Jan Carlson, 2013-09-27Page 2 Sept 25-27, 2013 Riga WP120 and WP130 Status WP120 – Process WP130 – Component Model

3. ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 MDH, Jan Carlson, 2013-09-27Page 3 Sept 25-27, 2013 Riga Proposed discussion points 1.Instantiation of argument templates associated with component types, also when values and evidence cannot be reused. 2.Organization of WP120 work 3.How WP130 can support the results from WP120 4.Integrity level assocaited with component types, contracts, or individual properties?

4. MDH, Jan Carlson, 2013-09-27Page 4 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Component meta-model: Component types, ports and composites

5. MDH, Jan Carlson, 2013-09-27Page 5 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Component meta-model: System modeling

6. MDH, Jan Carlson, 2013-09-27Page 6 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Component meta-model: Contracts and argument fragments