REDUCED CERTIFICATION COSTS FOR TRUSTED...

ARTEMIS JU

ARTEMIS-2009-1

REDUCED CERTIFICATION COSTS FOR

TRUSTED MULTI-CORE PLATFORMS

(RECOMP)

DELIVERABLE D7.12 Dissemination Report 2012

Nature: Report Dissemination Level: Public

Grant Agreement number: 100202

Project acronym: RECOMP

Project title: Reduced Certification Costs for Trusted Multi-core

Platforms

Funding Scheme: ARTEMIS JU

Date of latest version of Annex I

against which the assessment will

be made:

Periodic report: Second Periodic Report

Period covered: From 1/04/2012 to 31/03/2013

Project coordinator name,

title and organization: Jarkko Makitalo, KONE; [email protected]

Project website address: http://www.recomp-project.eu

mailto:[email protected]


http://www.recomp-project.eu/

TABLE OF CONTENTS

1. INTRODUCTION ..................................................................................................................... 3

1.1. PURPOSE .......................................................................................................... 3 1.2. AUDIENCE ........................................................................................................ 3

1.3. SCOPE OF THE DOCUMENT ......................................................................... 4 2. RECOMP ARTWORK ............................................................................................................... 4

2.1. RECOMP NAME & LOGO ............................................................................... 4

2.2. RECOMP TEMPLATES ................................................................................... 4 3. PUBLICATIONS ....................................................................................................................... 5

3.1. CONFERENCES ................................................................................................ 6 3.2. SCIENTIFIC JOURNALS ................................................................................. 9

4. EXTERNAL EVENTS ............................................................................................................... 10

4.1. EPoSS 2012 ...................................................................................................... 11 4.2. ESWeek 2012 ................................................................................................... 12

4.2.1. MIXED CRITICAL SYSTEM DESIGN AND ANALYSIS TUTORIAL . 12 4.3. HiPEAC 2013 ................................................................................................... 12 4.4. SASSUR 2012 .................................................................................................. 13

4.5. MULTICORE ENABLEMENT FOR EMBEDDED AND CYBER

PHYSICAL SYSTEMS, DAGSTUHL SEMINAR ................................................... 14

4.6. WICERT 2013 .................................................................................................. 15 5. INTERNAL PROJECT WORKSHOPS AND MEETINGS ............................................................. 17

5.1. TASK 4.2b FACE-TO-FACE MEETING IN MUNICH, GERMANY .......... 18 5.2. JOINT WORK PACKAGE WORKSHOPS IN BATH, UK. .......................... 18

5.3. JOINT WORKPACKAGE WORKSHOPS AND GENERAL ASSEMBLY IN

MADRID, SPAIN ...................................................................................................... 19 5.4. INTERNAL RECOMP WORSHOPS SUMMARY ........................................ 20

6. PROJECT WEBSITE ............................................................................................................... 20

6.1. WEBSITE UPDATING AND PUBLISHING PROCESS .............................. 23 6.2. MONITORING OF WEBSITE ACTIVITY AND STATISTICS ................... 23

6.2.1. MONITORING OF WEBSITE ACTIVITY AND STATISTICS .............. 24 6.2.2. WEBSITE SEARCH ENGINES TRAFFIC ................................................ 25

6.3. WEBSITE QUALITY ASSURANCE ............................................................. 27 7. NEWSLETTERS ..................................................................................................................... 27

8. CONCLUSIONS ..................................................................................................................... 30

Appendix I: RECOMP Partners individual Dissemination activities ............................................ 31

[ARTEMIS JU RECOMP] 3 [Deliverable 7.12 “Dissemination Report 2012”]

1. INTRODUCTION

1.1. PURPOSE

The main purpose of D7.12 is to describe the current (March 2013) status of RECOMP project

dissemination activities on their three faces: dissemination related to the scientific community,

industrial community and to general public. The former is mainly covered by RECOMP

research results in scientific conferences and journals, attending to different real-time and

embedded system events/conferences and the organization of RECOMP and ARTEMIS

Workshops.

RECOMP dissemination activities can be classified as:

Publications in scientific journals.

Conferences at different embedded and real-time systems congresses.

Workshops/Events related to RECOMP bases and goals.

Internal RECOMP Workshops.

Newsletters.

RECOMP Project website.

All the dissemination activities arranged during this period with the scope of the project are also

listed by partners in Appendix I at the end of this document as well as on the RECOMP Wiki

(https://research.it.abo.fi/confluence/display/RECOMP/Dissemination+Reporting), which all

RECOMP partners dissemination plans (including future activities) are available for

downloading.

1.2. AUDIENCE

This deliverable targets people that may be interested in the public dissemination activities of

RECOMP project, and more specifically the research community concerning the scientific

impact, through the respective scientific publications in journals and conference proceedings.

The industrial sector also plays an important role as final user of the research results produced

in the project and, therefore, it is also one of our key RECOMP dissemination targets.

RECOMP audience can be described as follows:

Academic and Research Targets: Targets related to all the scientific community

(universities, societies, symposiums, etc) as well as networks of excellence created by

Academia, government and industry. European-related projects are also included due to

they could be potential groups of interest on RECOMP results.

Industrial Targets: Targets related to the industrial sector.

Other institutions: This group of stakeholders is composed by international/national

government agencies or private ones interested in RECOMP project goals.

All possible RECOMP targets are listed in previous Dissemination Plan document which is

available on RECOMP Wiki

https://research.it.abo.fi/confluence/display/RECOMP/Communication+and+Dissemination+Pla

n

https://research.it.abo.fi/confluence/display/RECOMP/Dissemination+Reporting

https://research.it.abo.fi/confluence/display/RECOMP/Communication+and+Dissemination+Plan

https://research.it.abo.fi/confluence/display/RECOMP/Communication+and+Dissemination+Plan


1.3. SCOPE OF THE DOCUMENT

The scope of the document includes the dissemination activities of RECOMP project during

T25 and T36 (April 2012 - March 2013) of the project lifetime, both included. In the next

sections we will describe the different dissemination activities arranged along this second year

of the project, as well as some basic elements (logo, webpage, templates) required for the public

presentation of RECOMP results.

2. RECOMP ARTWORK

This section includes the electronics support files that RECOMP partners use in their

presentations, posters of any kind of marketing material. They are basically composed by a logo

and electronics documents templates.

2.1. RECOMP NAME & LOGO

The name of RECOMP comes from the real name of the project: Reduced Certification Costs

for trusted Multi-core Platforms.

Related to RECOMP logo, we were looking for something that could represent a mixture of

multicore systems and certification. This is the reason the final logo has a multilayer model with

the biggest one on the bottom and the smallest on the top. Different layers colors help providing

the notion of mixed criticality systems, which is one of the RECOMP goals.

Figure 1 - RECOMP logo

2.2. RECOMP TEMPLATES

Templates for all deliverables and for different RECOMP related presentations have been

created in order to provide an unified corporative image. Microsoft word and PowerPoint

documents are available. Open source documents templates (for OpenOffice tool suite) are also

available for required users.

Templates are available in RECOMP Wiki in Project Administration -> Templates

(https://www.it.abo.fi/confluence/display/RECOMP/Templates). An illustrative picture of how

these templates looks like is presented below.

https://www.it.abo.fi/confluence/display/RECOMP/Templates


Figure 2 - RECOMP Templates

3. PUBLICATIONS

For the last year of RECOMP project, RECOMP partners have already provide several

contributions to scientific journals and conferences. In RECOMP website all these publications

will be referenced and abstracts can be downloaded.

Despite the fact that during the first year of RECOMP there were so many publications neither

conferences, it is obvious that the work done within RECOMP has brought many of them

during the second and the third years of RECOMP as it was expected. It is worth to mention

that there has been an increase during the last two years of RECOMP. Below it is listed

publications to scientific journals, congresses and workshops that regards to the third year.


3.1. CONFERENCES

In total, partners have presented a total of 55 publications in many conferences. The next table

lists the conferences in which RECOMP partners have presented results:

Event Name Title Partner/s

12th International

Conference on Application

of Concurrency to System

Design (ACSD 2012)

Improving Dynamic Partial Order

Reductions for Concolic Testing

Aalto

17th IEEE Pacific Rim

International Symposium

on Dependable Computing

Utilizing Hidden Markov Models for

Formal Reliability Analysis of Real-

Time Communication Systems with

Errors

TUBS

21st Euromicro

International Conference

on Parallel, Distributed,

and Network-Based

Processing PDP 2013

Manager for Energy Efficient Many-

Core Operating Systems

AAU

21st Euromicro


on Parallel, Distributed,

and Network-Based

Processing PDP 2013

Task Migration for Dynamic Power

and Performance Characteristics on

Many-Core Distributed Operating

Systems

AAU

27th IEEE/ACM


Automated Software

Engineering 2012 (ASE

2012)

Using Unfoldings in Automated

Testing of Multithreaded Programs

Aalto

3rd International

Workshop on Analysis

Tools and Methodologies

for Embedded and Real-

time Systems (WATERS)

Compositional Performance Analysis

in Python with pyCPA

TUBS

9th International

Conference on Integrated

Formal Methods (iFM

2012)

Requirements Modeling AAU

ARCS 2013 Power Monitoring for Mixed-

Criticality on a Many-Core Platform

TUBS

ARCS 2013 Load-Adaptive Monitor-Driven

Hardware for Preventing Embedded

Real-Time Systems from Overloads

Caused by Excessive Interrupt Rates

BUT

ARTIST Summer School

2012

Switched network based embedded

systems for time and safety critical

applications

TUBS

Automotive 2012 ISO 26262 – Tool chain analysis

reduces tool qualification costs

Validas

Dagstuhl Seminar - Dagstuhl Seminar - Multicore EADS,


Multicore Enablement for

Embedded and Cyber

Physical Systems

Enablement for Embedded and Cyber

Physical Systems

SYSGO

ECRTS 2012 Task Assignment Algorithms for Two-

type Heterogeneous Multiprocessors

ISEP

EDCC 2012 Leveraging Multicore Computing

Architectures in Avionics

SYSGO CZ

Embedded Systems Week "Virtualisation Support for an

Embedded Automotive Environment"

(presentation)

IFX-UK

Emerging Technologies

and Factory Automation

(ETFA)

Timing Analysis of Mixed-Criticality

Hard Real-Time Applications

Implemented on Distributed

Partitioned Architectures

DTU

EMSOFT 2012 Towards Real-Time Agreement

Protocols For Many-Cores

ISEP

EUC 2012 Dynamic Global Scheduling of

Parallel Real-Time Tasks

ISEP

EuroForum CTI ISO

26262 Japan Conference

Tool Chain Poka Yoke Validas

EuroSPI 2013 Making software safety assessable and

transparent- Safety workshop

ESI-

TECNALIA,

Spinet

Fifth Swedish Workshop

on Multicore Computing

Power Optimized Many-Core Systems AAU

HASE 2012 IDAMC: A Many-Core Platform with

Run-Time Monitoring for Mixed-

Criticality

TUBS

HIPEAC Workshop

“Integration of mixed-

criticality subsystems on

multi-core processors

HIPEAC Workshop “Integration of

mixed-criticality subsystems on multi-

core processors

EADS

ICESS 2012 An Analysis of the Impact of Bus

Contention on the WCET in

Multicores

ISEP

IEEE International

Symposium on Design and

Diagnostics of Electronic

Circuits and Systems 2012

Monitoring-Driven HW/SW Interrupt

Overload Prevention for Embedded

Real-Time Systems

BUT


on Embedded Software

(EMSOFT) Tutorial

Switched Network Systems

Integration for Manycore

Architectures

Thales FR

International conference

on Hardware/software

codesign and system

synthesis (CODES+ISSS)

Synthesis of communication schedules

for TTEthernet-based mixed-criticality

systems

DTU

JCE 2012 Safety-Critical Platform Model Based

on Certification Standards

UGR

JCRA 2012 Monitorización en Tiempo de

Ejecución para Sistemas Críticos

UGR


Empotrados


Embedded and Cyber

Physical Systems

IDAMC - A manycore architecture for

mixed critical applications

TUBS

RTNS 2012 Extending Fixed Task-Priority

Schedulability by Interference

Limitation

ISEP

RTNS 2012 Real-Time Scheduling with Resource

Sharing on Uniform Multiprocessors

ISEP

RTNS 2012 The Generalized Multiprocessor

Periodic Resource Interface Model for

Hierarchical Multiprocessor

Scheduling

ISEP

RTSS 2012 A PTAS for assigning sporadic tasks

on two-type heterogeneous

multiprocessors

ISEP

RTSS@Work 2012 Virtual Execution Platforms for Mixed

Time-Criticality Applications:

Demonstrating the CompSoC Platform

and Design Flow

ISEP

SAE World Congress A New Approach to Input and Output

Monitoring for

Microcontrollers Supporting

Functional Safety

IFX-UK

SAE World Congress Techniques and Measures for

Improving Domain Controller

Availability while Maintaining

Functional Safety in Mixed Criticality

Automotive Safety Systems

IFX-UK

SAE World Congress Intelligent ECU End of Line Testing to

Support ISO26262 Functional

Safety Requirements

IFX-UK

SAE World Congress Hardware Based Paravirtualization:

Simplifying the co-hosting of

legacy code for mixed criticality

applications

IFX-UK

SAE World Congress

2012

Tool prototype demo for methods

developed in Task 2.3 and 4.2

SYM

SafeComp 2012 Determining Potential Errors in Tool

Chains – Strategies to Reach Tool

Confidence According to ISO 26262

Validas

SAFECOMP 2013 Monitoring-Based Shared Resource

Separation for Commercial Multi-core

System-on-Chip

SYSGO

SASSUR 2012 Towards a Case-Based Reasoning

Approach

for Safety Assurance Reuse

ESI-

TECNALIA

Schloss Dagstuhl :

Software Certification:

Methods and Tools

From Tool Qualification to Tool Chain

Design

Validas

SIES 2012 Shared Memory Protection for Spatial Fortiss

mailto:RTSS@Work%202012


Separation in Multicore Architectures

SIES 2012 Online Intra-Task Device Scheduling

for Hard Real-Time Systems

ISEP

SIES 2012 An Improved Preemption Delay Upper

Bound for Floating Non-preemptive

Region

ISEP

Software-Based Methods

for Robust Embedded

Systems

Designing an Analyzable and Resilient

Embedded Operating System

TUBS

WICERT 2013 Open platform for mixed-criticality

applications

7S, UGR

WICERT 2013 Methods and tools for reducing

certification costs of mixed-criticality

applications on multi-core platforms:

the RECOMP approach

DTU, ESI-

TECNALIA,

Validas,

AAU,

Fortiss, SYM

WICERT 2013 Impact of multicore platforms in

hardware and software certification

SSF, Validas,

AAU, TÜV-

SUD, Spinet

WICERT 2013 Hardware and Software Support for

Mixed-Criticality Multicore Systems

IFX-UK,

TUBS,

Elektrobit

WICERT 2013 Servosystem control for theatre stage

equipment

BUT, Camea

WICERT 2013 Multicore In Real-Time Systems –

Temporal Isolation Challenges Due To

Shared Resources

Honeywell,

EADS, ISEP,

SYSGO

WICERT 2013 Isolation of Cores Delphi DE Table 1 - RECOMP participation in Conferences

3.2. SCIENTIFIC JOURNALS

The work accomplished by RECOMP partners have been also published in Scientific Journals.

The journal papers submitted and published during the last RECOMP year are the following:

Journal Name Paper Title Partner/s Status

IEEE Embedded

Systems Letters -

Special Issue on

Rigorous Modeling

and Analysis of

Cyber-Physical

Systems

A Failure Mode and Effects

Analysis of a Network-on-Chip

TUBS Submitted

International Journal

on Software Tools for

Technology Transfer

Compositional Verification of

Real-Time Systems using Ecda

Aalto Published

Journal JSA - Special

Issue DSE-ES 2012

Safe Motor Controller in a

Mixed-Critical Environment

with Runtime Updating

Capabilities

UGR,

AAU, 7S

Submitted


Science of Computer

Programming

Exploiting Step Semantics for

Efficient Bounded Model

Checking of Asynchronous

Systems

Aalto Published

TECS SI Design

Challenges for Many-

core Processors

Towards a Certifiable Fault-

Tolerant Network-on-Chip

TUBS Submitted

Table 2 - RECOMP scientific journal publications

4. EXTERNAL EVENTS

RECOMP partners have already participated in many events presenting the project goals and

current results. An overview of them is presented in the next lines.

Event RECOMP Participant

ACIVS 2012 BUT, Camea

ARM TechCon 2012 SYSGO

ARTEMIS CO-Summit 2012 Kone, Integrasys

AutoFOCUS3 Workshop Integrasys, Fortiss

Avionics Europe 2013 SYSGO

CITICOFFEE Granada UGR

Common Criteria Forum

Workshop

SYSGO

Computing PhD Day 2012 Thales FR

Conti Workshop Fortiss

DASIA 2012 SYSGO

EAST-ADL Worksho Fortiss

ECS 2012 SYSGO

electronica 2012 SYSCZ

electronica 2012 SYSGO

Embedded Systems Week IFX-UK

Embedded World 2013 SYSGO

EP China 2012 SYSCZ

FiSMA and STX workshop Spinet

Fortiss Open House Day Fortiss

GAUDEAMUS BUT, Camea

HiPEAC 2013 SYSGO, TRT-UK

InnoTrans 2012 SYSCZ

International Avionics

Conference 2012

SYSGO

ISO/IEC JTC1 SC7 Spinet

MCFA EADS-IW

MSV '12 International

Engineering Fair

SYSCZ

RECOMP 2nd REVIEW ESPELSA, Integrasys

rts EMBEDDED SYSTEMS SYSGO

SafeTrans 2012 SYM SASSUR 2012 ESI-TECNALIA

SDMD 2013 SYSGO

Seventh White Rabbit UGR, 7S


Workshop

Sixth White Rabbit

Workshop

UGR, 7S

SKA Conference 2012 UGR, 7S

SKA: Strategic Position and

Future Opportunities for

Spanish Industry

UGR

Thales Research days TRT-UK

Validas Workshop Fortiss Table 3 - RECOMP Attendance Events

The next events described in the following sections are the most relevant external ones of the

last year.

4.1. EPoSS 2012

The achievements of Integrasys in RECOMP were presented at the EPoSS Annual Forum

“Industrial Leadership and Solutions for Societal Challenges” 2012, with an attendance of more

than 150 participants, from large industry and research centers Europe.

Figure 3 - EPoSS 2012

EPoSS, the European Technology Platform on Smart Systems Integration, is an industry-driven

policy initiative, defining R&D and innovation needs as well as policy requirements related to

Smart Systems Integration and integrated Micro- and Nanosystems. EPoSS is contributing to

EUROPE 2020, the EU's growth strategy for the coming decade, to become a smart, sustainable

and inclusive economy.


4.2. ESWeek 2012

This year at Embedded Systems Week (October 7th-12th) in Tampere Finland, there was an

industrial session on Automotive Embedded Systems. Hosted by Professor Rolf Ernst (TUBS),

there were representatives of the full automotive supply chain from semiconductors (Infineon

Technologies), Tier 1s (Continental Systems, and Denso) and OEMs (BMW).

IFX-UK presented a survey of the current challenges in co-hosting safety critical applications

on multicores. IFX-UK also particularly needed to introduce some of the context of the

automotive market – the extreme economic pressures and also the impact of ISO26262 on

development costs. It was also a chance to present some of the technical solutions contained in

the AURIX® family of devices, many of which were developed during the RECOMP project.

Specifically, these mechanisms allow a “virtualisation light” – without an MMU; based on an

MPU only, but still providing the spatial separation required. In addition the system

configuration allows SW to be developed such that the temporal interference between

applications on different cores can be reduced to I/O accesses and exclude simple memory

operations (code fetch, reads and writes).

There was quite a bit of interest in all the talks, and in particular questions afterwards indicated.

4.2.1. MIXED CRITICAL SYSTEM DESIGN AND ANALYSIS

TUTORIAL

This was an invited tutorial which was intended to cover different aspects of mixed critical

systems. It started with an introduction to the challenges (Ernst), followed by a one hour

summary of derived topics for academic research into “Mixed Critical System Scheduling”

(Burns). The following talk “Increasing Predictability in Multicore Systems” (Thiele) gave an

in depth discussion of timing interference and proposed systematic approaches to improve

predictability. This talk was from the CERTAINTY project. The final two talks on “Switched

Network Systems Integration for Manycore Architectures” (Ernst, Le Rhune) provided the

RECOMP perspective with a presentation of hardware and software mechanisms, related

architectures and applications.

Despite the unfortunate timing (Sunday, reachability of Tampere, Finland in October), there was

a large attendance and a lively discussion. It became clear that CERTAINTY and in particular

RECOMP are seen as highlights of research into practical mixed criticality systems.

4.3. HiPEAC 2013

TUBS leaded a talk at the HIPEAC Workshop “Integration of mixed-criticality subsystems on

multi-core processors”, 21.1.2013, Berlin.

With only 25min time, the RECOMP presentation had to be focused on few core concepts and

results. After a short presentation of RECOMP and its goals, 2 trusted platforms were presented

as examples of the RECOMP results, the Infineon AURIX platform including the software

architecture, the safety critical ECSL function implemented by Delphi following safety

standards with the safety assessment executed by the TÜV Süd. As a second platform, the

IDAMC NoC combined with the Thales many-core research system was chosen. It was

demonstrated that the same underlying principles of core-to-core communication and isolation


(virtualization) could be used in different architectures. This was addressed in the discussion (in

particular wrt. memory access and timing protection) and seemed to be well received by the

audience.

This one-day Workshop was hosted by the HiPEAC 2013 conference that took place in Berlin,

Germany from 21-23 January 2013. The workshop was a joint activity of the following research

projects: ACROSS (ARTEMIS), ARAMIS (BmBF), CERTAINTY (FP7), MultiPARTES (FP7)

and RECOMP (ARTEMIS).This workshop gave the opportunity to compare the different

projects targeting multi-core platforms for mixed critical systems. In the end, there was a panel

which highlighted many open issues in academia and industry. The workshop setup was

particularly interesting because many of the partners of the different projects were present in the

audience exchanging their different views in the discussion with Max Lemke, EC, participating

most of the time.

For more info see http://www.hipeac.net/conference/berlin/workshop/integration-mixed-

criticality-subsystems-multi-core-processors

4.4. SASSUR 2012

From September 25th to September 28th SAFECOMP conference took place in Margdeburg

(Germany). SAFECOMP is an annual event covering the state-of-the-art, experience and new

trends in the areas of safety, security and reliability of critical computer applications. More than

150 participants attend to the conference which received more than 120 paper submission out of

that 30 full papers where accepted and 2 more where left as stand by. During the first day 5

workshops took place with 11 organization chair and 64 program committee members in total.

SASSUR was one of those workshops with 21 people in the audience, 10 papers accepted and 2

invited talks, Tim Kelly and John Knight who are very well known in this area.

The agenda for the workshop was:

Figure 4 - SAFECOMP 2012 Programme

Speaker

9:30 9:45 Alejandra Ruiz

9:45 10:30 Tim Kelly

10:30 11:00 Ewen Denney

11:00 11:30 Alejandra Ruiz

11:30 12:00

12:00 12:10 Jasen Markovski

12:10 12:40 Fabien Belmonte

12:40 12:50 Sunil Nair

12:50 13:20 Dajian Zhang

13:20 13:30 Eric Verhulst

13:30 14:30

14:30 15:15 John Knight

15:15 15:25 Anna Lanzaro

15:25 15:55 Daniel Kästner

15:55 16:25

16:25 16:55 Patrick Graydon

16:55 17:55 Moderator: Alejandra Ruiz

A New Approach to Assessment of Confidence in Assurance Cases

coffee break

Meeting Real-Time Requirements with Multi-Core Processors

A Preliminary Fault Injection Framework for Evaluating Multicore Systems

Panel & Discussion & Wrap Up

Assessing Software Interference Management When Modifying Safety-Related Software

lunch break

An Unified Meta-Model for Trustworthy Systems Engineering

Modelling for Safety in a Synthesis-Centric Systems Engineering Framework

Intro by the Workshop Chair

SASSUR'12 Madgeburg, Sept 25th

KeyNote: Protecting Safety-Critical Systems From Security Threats Using Artificial Diversity

KeyNote: The Challenges of Cross-Domain Modular Certification

AdvoCATE: An Assurance Case Automation Toolset

coffee break

Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards

Towards a Case-Based Reasoning Approach for Safety Assurance Reuse

A model based approach for safety analysis

http://www.hipeac.net/conference/berlin/workshop/integration-mixed-criticality-subsystems-multi-core-processors

http://www.hipeac.net/conference/berlin/workshop/integration-mixed-criticality-subsystems-multi-core-processors


Regarding RECOMP, we should remark the importance of the multicore technologies in this

area that was discussed on different papers there, not only from RECOMP partners but also

from institutions outside the project like Siemens AG or Federico II University of Naples.

Figure 5 - SAFECOMP 2012

Tecnalia, partner from RECOMP not only was part of the organization of the event but also has

presented a paper there Towards case-based reasoning approach where some result of its work

at RECOMP projects has been shown.

4.5. MULTICORE ENABLEMENT FOR EMBEDDED AND CYBER

PHYSICAL SYSTEMS, DAGSTUHL SEMINAR

Dagstuhl is world renowned for its technical seminars on important technical topics. Multiple

partners of RECOMP participated in a week-long seminar around multi-core computers . The

seminar brought together leading industry and university research groups from different fields

of embedded system design and application development, multicore architecture and

hardware/software design methodology & tools. The main objective of the seminar was on

contributions that are reusable and transferable among market segments, vendors and research

institutions in the context of a technology ecosystem with a focus on multi-core safety aspects.

Thereby, the technical focus of the agenda was on:

Generic hardware/software building blocks for real-time performance, dependability,

functional safety and security for embedded systems built around enhanced standard

multicore solutions.

System modeling, design and validation methods and tools for such platforms.

The close collaborations between industry and academia was visible in this workshop with 35%

participation from industry. The seminar established new and strengthened existing ties between

networks in the area of multicore and embedded technologies, with non-functional requirements

representing the common denominator of economical and scientific interest.


Figure 6 - DAGSTUHL Seminar Meeting

Michael Paulitsch (EADS) has organized the seminar with Andreas Herkersdorf and Mike

Hinchey. Michael also presented a brief overview of the RECOMP research. Multiple

RECOMP partners showed their technical research solutions, which often resulted in interesting

technical discussions.

Participants from RECOMP included Rolf Ernst (TU Braunschweig, DE), Glenn Farrall

(Infineon - Bristol, GB), Massimo Ferraguto (Space Syst. Finland Ltd - Espoo, FI), Johan Lilius

(Abo Akademi University, FI), Michael Paulitsch (EADS Deutschland - München, DE), Stefan

M. Petters (ISEP-IPP - Porto, PT), Sergey Tverdyshev (Sysgo AG, DE).

More info can be found at

http://www.dagstuhl.de/no_cache/en/program/calendar/semhp/?semnr=13052

4.6. WICERT 2013

In March 22, 2013, a tutorial regarding Approaches for Cost-effective Certification of Safety-

Critical, Mixed-Criticality Systems will take place at DATE 2013 congress in Grenoble, France.

This tutorial has been organized by several RECOMP partners: Huáscar Espinoza from

TECNALIA, Jarkko Mäkitalo (KONE Oij), Javier Díaz Alonso (University of Granada), Rolf

Ernst (TU Braunschweig), Michael Paulitsch (EADS IW), Simon Brewerton (Infineon Tech.)

and José Luis Gutiérrez Rivas (University of Granada).

This workshop aims to present and evaluate different industry-driven approaches for reducing

certification costs in safety-critical, mixed-criticality systems. In particular, WICERT will

provide a platform for industrial demonstrations, thematic presentations and in-depth

discussions about new HW/SW architectures and mechanisms and safety guidelines to achieve a

more cost-effective, precise, and scalable certification. WICERT aims at bringing together

http://www.dagstuhl.de/no_cache/en/program/calendar/semhp/?semnr=13052


experts, researchers, and practitioners, from diverse communities, such as safety and security

engineering, certification processes, model-based technologies, software and hardware design,

safety- critical systems and applications communities (aerospace, automotive, industrial

manufacturing, health, etc.)

The workshop agenda look as follows:

Time Session

0830 Workshop Introduction Speaker: Huáscar Espinoza - TECNALIA, ES, Contact Huáscar Espinoza

0845 KEYNOTE 1

0845 MULCORS - The Use of MULticore proCessORs in airborne Systems. Project EASA.2011.OP.30. (study done for

EASA: European Aviation Safety Agency) Marc Gatti and Guy-Andre Berthon - Thales Avionics, FR

0920 Session 1: Mixed-criticality HW/SW platforms

Chair: Rolf Ernst - TU Braunschweig, DE, Contact Rolf Ernst

0920 Isolation of Cores

Claus Stellwag - Elektrobit, DE Swapnil Gandhi and Thorsten Rosenthal - Delphi , DE

0935 Open platform for mixed-criticality applications

Miguel Méndez - Seven Solutions, ES José Luis Gutiérrez Rivas, David Fernández García-Valdecasas and Javier Díaz Alonso - University of Granada, ES

1000 Servosystem control for theatre stage equipment

Pavel Zemcik, Sevcovic Jiri, Michal Kajan and Josef Strnadel - Faculty of Information Technology, CZ Pavol Korcek - Camea, CZ

1015 Coffee Break

1045 Session 2: Certification on aerospace, automotive and automation industries with mixed-criticality Chair: Uwe Kremer - TÜV, DE, Contact Uwe Kremer

1045 Hardware and Software Support for Mixed-Criticality Multicore Systems Glenn Farrall - Infineon, UK

Claus Stellwag - Elektrobit, DE

Jonas Diemer and Rolf Ernst - TU Braunschweig, DE

1110 IFCIMA - Incremental Functional Certification on Integrated Modular Avionics (IMA)

Franck Aimé - Thales Avionics, FR

1135

Impact of multicore platforms in hardware and software certification Risto Nevalainen - Spinet, FI

Uwe Kremer - TÜV, DE

Oscar Slotosch - Validas, DE Dragos Truscan - Åbo Akademi, FI

Vicky Wong - SpaceSystems Finland, FI

1200 Lunch Break

1300 KEYNOTE 2

1300 Industrial practice on mixed-criticality engineering and certification in the aerospace industry Ondrej Kotaba - Honeywell, CZ

1330 Session 3: Methods and tools for cost-effective certification of safety critical systems

Chair: Huáscar Espinoza - TECNALIA, ES, Contact Huáscar Espinoza

1330

Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the

RECOMP approach Paul Pop - Technical University of Denmark, DK

Leonidas Tsiopoulos - Åbo Akademi, FI

Sebastian Voss - fortiss, DE Oscar Slotosch - Validas, DE

Christoph Ficek - Symtavision, DE

Ulrik Nyman - Aalborg University, DK Alejandra Ruiz Lopez - TECNALIA, ES

1355 Towards Model-Driven Engineering for Mixed-Criticality Systems: MultiPARTES Approach

Alejandro Alonso and Miguel A. de Miguel - Universidad Politécnica de Madrid, ES Christophe Jouvray and Cyril Grepet - Trialog, FR

http://www.date-conference.com/user/16520/contact





Salvador Trujillo - Ikerlan-IK4, ES

José Simó - Universidad Politécnica de Valencia, ES

1420

Multicore In Real-Time Systems – Temporal Isolation Challenges Due To Shared Resources

Ondrej Kotaba - Honeywell, CZ

Michael Paulitsch and Jan Nowotsch - EADS, DE Stefan Petters - ISEP, PT

Henrik Theiling - SYSGO, DE

1445 Coffee Break

1500 Demonstrators and Poster session: Paralell demonstrators and posters

Chair: Simon Brewerton - Infineon Technologies, UK, Contact Simon Brewerton

1500 Mixed-Critical Multi-Processor Motor Controller with Capabilities for Runtime Update of Software

Simon Holmbacka - Åbo Akademi, FI José Luis Gutiérrez Rivas - University of Granada, ES

Miguel Méndez - Seven Solutions, ES

1500 RECOMP Demonstration of Mixed-Criticality Approach Claus Stellwag - Elektrobit, DE

Natalia Willey - Delphi , FR

Swapnil Gandhi and Thorsten Rosenthal - Delphi , DE

1500 Emergency Shutdown System Demonstrator Anton Hattendorf and Sebastian Voss - fortiss, DE

1500 Tools for Compliance Management and Compositional Safety Assurance

Alejandra Ruiz and Huáscar Espinoza - TECNALIA, ES

1615 Wrap Up

Chair: Javier Díaz Alonso - University of Granada, ES, Contact Javier Díaz Alonso

Time Session

0830 Workshop Introduction

Speaker: Huáscar Espinoza - TECNALIA, ES, Contact Huáscar Espinoza

0845 KEYNOTE 1

0845 MULCORS - The Use of MULticore proCessORs in airborne Systems. Project EASA.2011.OP.30. (study done for

EASA: European Aviation Safety Agency)

Marc Gatti and Guy-Andre Berthon - Thales Avionics, FR

0920 Session 1: Mixed-criticality HW/SW platforms

Chair: Rolf Ernst - TU Braunschweig, DE, Contact Rolf Ernst

0920 Isolation of Cores

Claus Stellwag - Elektrobit, DE

Swapnil Gandhi and Thorsten Rosenthal - Delphi , DE

0935 Open platform for mixed-criticality applications

Miguel Méndez - Seven Solutions, ES

José Luis Gutiérrez Rivas, David Fernández García-Valdecasas and Javier Díaz Alonso - University of Granada, ES

1000 Servosystem control for theatre stage equipment

Pavel Zemcik, Sevcovic Jiri, Michal Kajan and Josef Strnadel - Faculty of Information Technology, CZ

Pavol Korcek - Camea, CZ

1015 Coffee Break

Table 4 - WICERT'13 Programme

WICERT is meant to be an excellent final opportunity at the end of RECOMP project to bring

together people from the diverse communities specializing in safety-critical systems. Jointly,

these communities can help create a critical mass of research, development and innovation in

safety-critical technology and affordable certification. An open exchange of ideas and

experience will benefit the global community, leading to new insights and stimulating further

development.

5. INTERNAL PROJECT WORKSHOPS AND MEETINGS

In addition to public events, RECOMP partners are actively participating on many internal

meetings that helps to the purpose of project coordination but as well enforce partners






collaborations and future join exploitation plans of the developed technology. The following

subsection give a quick overview of the different first year project internal events.

5.1. TASK 4.2b FACE-TO-FACE MEETING IN MUNICH, GERMANY

From July 25th to July 26th, project task 4.2b, "Considerations to Achieve Functional Safety

When Using Multiple Tasks on Multi-Core Processors", organized a face-to-face meeting in

Munich.

Figure 7 - Task 4.2b meeting in Munich, Germany.

The main objective of this meeting was to realize a backward and forward analysis about

possible effects, and existing solutions, in the complex study of shared resources on multi-core

systems. The resulting analysis shows there are known or proposed solutions to mitigate all the

identified unwanted temporal effects of resource sharing - some of them being readily

implementable, others requiring significant further research.

The event was hosted by EADS and it involved 8 different partners from work package 4.

5.2. JOINT WORK PACKAGE WORKSHOPS IN BATH, UK.

Joint Work Package Workshops were held on September from Monday 10 to Thursday 13 at

Bath, United Kingdom. Infineon hosted the event, which took place at Bath Ventures

Innovation Centre. During four days, and involving more than 45 people, many meetings were

held for several project tasks regarding work packages 2, 3, 4, 5, 6 and 7.


Figure 8 - Joint WP Workshops in Bath, UK.

5.3. JOINT WORKPACKAGE WORKSHOPS AND GENERAL ASSEMBLY

IN MADRID, SPAIN

The final RECOMP Workshop and General Assembly sessions took place in Madrid during 5th

- 7th February 2013. The sessions included 48 participants representing 27 project partners.

The workshop included segregated meetings for each Work Package during the first two days,

ending in the General Assembly. The last day was the Joint Technical Day, where several

project partners presented some of their RECOMP results in the morning and WP5

demonstrators were exhibited in the afternoon.

Figure 9 General Assembly Meeting in Madrid

All sessions happened at FCC Industrial facilities. There were also social events during the

evenings attended by most participants.


5.4. INTERNAL RECOMP WORSHOPS SUMMARY

There have been also many internal RECOMP workshops since the early beginning of the

project because of the large number of partners and work package tasks make necessary a strong

coordination in order to achieve the complex RECOMP goals.

During the life-cycle of each WP there are different workshops to present to partners the status

of each deliverable related to the tasks.

On the other hand, there is a General Assembly meeting that occurs once a year in which all

Work Packages status are described, there are several changes proposals when needed,

presentations, etc.

All RECOMP workshops during the second year of RECOMP are listed in the table below:

Workshop Activity Place/Date

WP4 Kick-off Meeting Task 4.2a F2F Kick-off Munich, Germany

(05-05-2011)

RECOMP 2nd Review 2nd Review of the RECOMP

Project

Brussels, Belgium

(05/07/2012)

RECOMP 3rd Review 3rd Review of the RECOMP

Project

Brussels, Belgium

(20/03/2012) Table 2: RECOMP Internal Workshops

6. PROJECT WEBSITE

The website maintenance comprises all the activities needed to ensure the operational integrity

of the RECOMP website. The most important part of the RECOMP website maintenance is to

keep the relevant content fresh and updated. To do so, the website administrator needs to

consider content improvement periodically to show RECOMP visitors fresh and latest

information and events about the project. That is the key for getting return visits.


Figure 10 - RECOMP Website

During this third year of RECOMP several enhancements have been done within the website

based on partners and external audience feedback as well as RECOMP first review comments.

They are:

New downloading demo section. All the presentations and demo videos of the public

work accomplished in RECOMP is now available as downloadable demos and

presentations here:

http://atc.ugr.es/recomp/index.php?option=com_content&view=article&id=41&Itemid=

19

Demos for task 3.3

Demos for task 3.4

Demos for task 3.5

Demos for WP5 demonstrators

Video Streaming

Artemis Events Section. Here different links to Artemis events are available.

Related Events. Events related to RECOMP and interesting for embedded systems

companies are listed here.

Figure 9 shows the current and final structure of the website.

The website maintenance team is University of Granada, and the responsible person at the

moment this deliverable is being written is:

José Luis Gutiérrez ([email protected]) ; Javier Díaz ([email protected])

http://atc.ugr.es/recomp/index.php?option=com_content&view=article&id=41&Itemid=19

http://atc.ugr.es/recomp/index.php?option=com_content&view=article&id=41&Itemid=19


[email protected]


Figure 11 - RECOMP Website Structure


6.1. WEBSITE UPDATING AND PUBLISHING PROCESS

The updating and publishing process in RECOMP consists in the following procedure:

Step 1: The source of new information or updated content must send any request to update and

publish information to the website maintenance team (copy to both persons).

Step 2: The website maintenance team reviews the request.

Case 2.1. If the request includes minor updates in the website the changes are

implemented immediately with a delay of 5 days in the worst case. Examples of

minor changes are: broken links, editorial changes, missing contents (e.g images,

references, etc.), spelling and grammar of content, browser compatibility, etc.

Case 2.2. If the request includes sensitive updates in the website, the WP7 leader

(Huascar Espinoza, Tecnalia-ESI) discusses the changes with the project

coordinator. If the change requires a more general agreement, this is discussed with the

Project Board. The delay to implement the changes depends on the complexity of the

modifications (if it needs further editions or graphical work, it may take more than a week).

The deadlines are defined in agreement with the project coordinator.

Step 3. The website maintenance team ask the source of the request for its approval before the

change is actually deployed. At the same time, the impact of the change will be evaluated

regarding other website pages (broken links, broken references, etc.)

Step 4. If the changes or content update are relevant, they are communicated to the whole

consortium (general mailing list). A track of changes will be maintained by the website

coordination team and available in the RECOMP repository (excel file in WP7 folder).

There will be two kinds of updating and publishing events:

a) Changes under request. These are generated by internal or external sources from

RECOMP consortium

b) Periodic update. These are performed periodically by the website maintenance team.

The RECOMP website will be updated in a monthly basis regarding the next content:

RECOMP Download Area and Press Area (see http://atc.ugr.es/recomp/).

6.2. MONITORING OF WEBSITE ACTIVITY AND STATISTICS

Website monitoring is the activity that gathers and analyses data against which the success of a

website can be evaluated. The three most commonly used are:

Website Activity (traffic): basically number of visits per a given period.

Visitor Feedback: this is obtained by the “comments” in the pertinent RECOMP pages

(e.g., Press Area).

Number of external pages linking to RECOMP webpage. This will be measured by

using Google searches.

http://atc.ugr.es/recomp/


The activity of the RECOMP website will be reported and included annually in the annual

Dissemination activity report by the WP7 leader.

6.2.1. MONITORING OF WEBSITE ACTIVITY AND STATISTICS

During the third year of RECOMP, the project website has been storing several information

about the visitors thanks to the installation of a new feature on the website: Google Analytics.

The figures bellow show the location from where the visitors surf into the website, and the

percent of all of them.

Figure 12 - RECOMP Website Visitors

A huge increment has taken place during the third year due to several big updates with

important content. RECOMP website has received 2.968 visits during the last two years of the

project. A 70.18% of this visits regards to new visitors. Each user has seen an overall of 3.37

pages in each visit during 2:23 minutes.

Regarding the country visits. The next table summarizes the results of the visits per country for

the last year that shows Germany, Spain and France as the most RECOMP website visitors:

Country /

Territory

Visits Pages /

Visit

Avg. Visit

Duration

% New

Visits

Bounce

Rate

Germany 579 3.79 0:02:22 70.47% 51.81%

Spain 471 4.07 0:03:05 41.19% 53.29%

France 280 3.76 0:03:11 72.14% 50.00%

Finland 242 3.27 0:02:12 57.02% 60.33%

United States 179 2.55 0:01:20 92.18% 73.18%

United Kingdom 136 2.65 0:01:47 77.21% 61.76%


Denmark 131 3.24 0:02:11 70.23% 58.78%

Italy 79 4.66 0:03:04 88.61% 40.51%

China 62 3.85 0:03:54 67.74% 38.71%

This number of visits has been due to:

Newsletters. Second and third newsletters have been published during this second

period.

Publications from partners, making them available for download when possible.

Partners participation in workshops and conferences.

RECOMP deliverable list. Making public reports available for download.

Safety-critical Systems Market Survey. This survey was included and promoted by

SSF which is in charge of task 7.1 to make it available worldwide. The results of this

survey will be included within D7.1.

Figure 13 - RECOMP Website Views and Visits

6.2.2. WEBSITE SEARCH ENGINES TRAFFIC

RECOMP website have been accessed from different webpages and search engines. This proofs

about the dissemination accomplished by partners in terms of the different methods and

strategies carried out to referral RECOMP website in different system among the WWW.


Figure 14 - Search Engines Statistics

The figure above shows that a 46.56% of RECOMP access have been accomplished using

search engines. The next table shows the relation about the visits and the most relevant search

engines:

Source Visits % Visits

google 1,352 97.83%

bing 14 1.01%

conduit 7 0.51%

babylon 4 0.29%

images.google 2 0.14%

avg 1 0.07%

comcast 1 0.07%

yandex 1 0.07% Figure 15 - Search Engines

A 37.63% of the website visits corresponds to the referral traffic from other websites. This is

listed as follows:

Visits % Visits Columna1

recomp-

project.eu 744 66.61%

google.com 44 3.94%

google.de 34 3.04%

fortiss.org 19 1.70%

google.es 18 1.61%

sysgo.com 15 1.34%

sevensols.com 14 1.25%

google.dk 12 1.07%

linkedin.com 12 1.07%


af3.fortiss.org 11 0.98% Figure 16 - Referral Traffic

Finally, only a 15.80% of the visits corresponds to the utilization of direct traffic.

This demonstrates the relevance of using a good dissemination use of the WWW since the most

generated traffic to the website comes from search engines and referral links.

6.3. WEBSITE QUALITY ASSURANCE

The aim of this task is to collect the data against which the RECOMP website can be examined

for issues of quality. This includes:

Improve the ranking of the webpage by creating references to the RECOMP website in

other sites (LinkedIn, partner websites, etc.)

Checking for broken links

Checking for missing content, e.g. images

Checking for missing browser titles

Checking the spelling and grammar of content

Checking for missing metadata

Checking the file sizes of pages to ensure they are not too large

Checking for browser compatibility

Checking that applications are functioning correctly, e.g. polls, search, messages to

project contact person.

These tasks will be performed monthly by the website maintenance team together with the

periodic update procedure.

7. NEWSLETTERS

Newsletters have been edited in order to provide a better dissemination scope of the project.

Interested readers can subscribe to the RECOMP newsletter mailing list in order to receive

automatically each of the issues.

During this period (T25-T36) three issues of the newsletters have been published and will be

available for downloading in RECOMP website.

This fourth newsletter was published on May 2012 and presents:

Joint and General Assembly Meeting in Munich

WP2 Overview

Infineon Introduces Micro-controller Multicore Architecture for Automotive

Applications

WP 3 Overview

CO-SUMMIT 2012 Workshop

SafeCOMP 2012 Workshop

RECOMP on Date 2012

Avionics Demonstrator F2F Meeting in Madrid


Figure 17 - Fourth Newsletter

This fifth newsletter was published on October 2012 and presents:

WP 2 Overview

WP 3 Overview

Integrasys on EPoSS Annual Forum 2012

RECOMP on DATE'13 (WICERT)

Joint WP Meeting in Bath

Task 4.2b F2F Meeting

Infineon on ESWeek 2012

SASSUR SafeComp 2012


Figure 18 - Fifth Newsletter

The sixth and last newsletter is under development at the moment of writing of this deliverable.

It will be published next March 2013 and it will contain the following information:

WP2 Overview


WP3 Overview

WP4 Overview

WP5 Overview

WP6 Overview

Project Finalization Overview

RECOMP GA and Industrial Day in Madrid, Feb 2013

WICERT '13 Status and Agenda Update.

Beyond RECOMP.

RECOMP Newsletters are available on RECOMP website under dissemination section

(http://www.recomp-project.eu).

8. CONCLUSIONS

This D7.12 deliverable aimed at collecting all dissemination activities carried out along the third

and last year of RECOMP project that can be summarized as follows:

RECOMP Artwork, including logo and corporate image.

Scientific conference contributions (55 contributions)

Scientific journal publications (5 papers)

Dissemination events (36 external events)

Internal RECOMP Events (3 internal RECOMP workshops)

Project Website enhancements with comments from the 1st and 2nd Technical Review

of RECOMP.

Fourth, fifth and sixth Newsletters.

A great effort has been done in order to transfer research results to the scientific and industrial

community and the society in general, having a huge increment in publications and conferences

during this third year of the project.

This effort has been continuously tracked on the project website, which will serve as an actual

intermediate “Dissemination Report” since it covers all current activities and will be updated on

a very regular base.

A more concise and wide version of this report is available in deliverable D7.9 Dissemination

Results and Impact, which includes a summary and evaluation of the three dissemination reports

(D7.10, D7.11 and D7.12) and the relevance that RECOMP partners have provided in terms of

dissemination of the satisfactory and exhaustive work that has been performed within the life-

cycle of RECOMP during the three years.

http://atc.ugr.es/recomp/images/stories/newsletters/recomp_first_newsletter_v05.pdf


Appendix I: RECOMP Partners individual Dissemination activities

Dissemination activities along third year (May 2012 – March 2013) for each project participant are reported below.

Seven Solutions (7S)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel

Event Name Activity Title Geographical

Scope

Size of

audience IPR

Standards

related

Task 3.5:

HW/SW

Component

integration

25/06/2012 Done Other Specific user

group

RECOMP

partners

meeting

(Wittenstein,

UGR, 7S)

Three days

workshop

regarding

HW/SW

integration

efforts for core

to core

communication

within the ACP

platform

European 5 Non

Public

No

Task 3.5:

HW/SW

Component

integration


group

RECOMP

partners

meeting

(UGR, 7S)

HW/SW

integration

efforts in the

ACP platform

architectures

National 4 Non

Public

No

Task 3.5:

HW/SW

Component

integration


group

RECOMP

partners

meeting

(ABO, UGR,

7S)

Eight days

workshop

regarding

HW/SW

integration

efforts for

mixed-critical

applications and

joint efforts

European 5 Non

Public

No


regarding the

ACP platform

Task 3.5:

HW/SW

Component

integration

01/10/2012-

30/11/2012

Done Other Specific user

group

RECOMP

partners

meeting

(UGR, 7S)

Several

meetings

regarding

HW/SW

integration

efforts for the

ACP platform

architectures

National 4 Non

Public

No

Task 7.3

Dissemination

Activities

23/11/2012 Done Small and

Medium

Enterprises

Conferences SKA

conference

Strategic

Position and

Future

Oportunities for

Spanish

Industry

National 50 Public No

Task 7.3

Dissemination

Activities

22/03/2012 Submitted General

public

Publication WICERT

2013

Demostrator and

paper submitted

in the WICERT

2013.

European 100 Public Yes

Task 3.5:

HW/SW

Component

integration


group

RECOMP

partners

meeting

(UGR, 7S)

HW/SW

integration

efforts in the

ACP platform

architectures

National 4 Non

Public

No

Task 7.3

Dissemination

Activities

22/03/2013 Accepted General

public

Publication WICERT

2013

Demostrator and

paper submitted

in the WICERT

2013.


Task 3.5:

HW/SW

Component

integration


group

RECOMP

partners

meeting

(UGR, 7S)

HW/SW

integration

efforts in the

ACP platform

architectures

National 4 Non

Public

No


Aalborg University (AAL)

Principal Task Planned /

Delivered

Date Status

Principal

Audience

Principal

Dissemination

Channel Event Name Activity Title

Geographical

Scope Size of

audience IPR

Standards

related

T2.2

Component

validation to

support

certification

15/06/2012 Published Research

Institutes

Scientific

journals

STTT Internation Journal

on Software Tools

for Technology

Transfer, vol 14,

no 6

World 1000 Public

Helsinki University of Technology (Aalto)


Delivered

Date Status

Principal

Audience

Principal

Dissemination


Geographical

Scope Size of

audience IPR

Standards

related

T2.3

Validation,

verification

and timing

analyses

27/09/2012 Published Universities Conferences 12th

International

Conference on

Application of

Concurrency

to System

Design (ACSD

2012)

Improving

Dynamic Partial

Order Reductions

for Concolic

Testing

World 100 Public

T2.3

Validation,

verification

and timing

analyses

30/09/2012 Published Universities Conferences 27th

IEEE/ACM

International

Conference

Automated

Software

Engineering

2012 (ASE

Using Unfoldings

in Automated

Testing of

Multithreaded

Programs

World 100 Public


2012)

T2.3

Validation,

verification

and timing

analyses

30/08/2012 Published Universities Scientific

journals

Science of

Computer

Program- ming

Exploiting Step

Semantics for

Efficient Bounded

Model Checking of

Asynchronous

Systems

World Not

applicable

Public

Åbo Akademi University (AAU)

Principal

Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

T2.3

Validation,

verification

and timing

analyses

19/06/2012 Presented Universities Conferences 9th International

Conference on

Integrated Formal

Methods (iFM

2012), 2012

Requirements

Modelling

World 60 Public Yes

T2.1 Selection

of component

model

12/09/2012 Presentation Other Specific user

group

RECOMP WP2

Workshop in Bath,

UK.

Component model

specification for

certification

European est. 20 Non

Public

Yes

T2.3

Validation,

verification

and timing

analyses

18/10/2012 Accepted Universities Publication Presentation of

Master thesis at

AAU

Modelling Critical

Systems with Time

Constraints in

Event-B

National est. 20 Public Yes

Tak 4.2a:

Analysis

method for

Functional

Safety of

Multiple

Processor


group

RECOMP WP4

Workshop in Bath,

UK.

Demonstration of

the EPF Plugin for

IEC16508


Public

Yes


and Multiple

Threads

Safety

Applications

Task 3.3:

Operating

system

support for

safe multi-

core

integration

22/10/2012 Accepted Universities Publication 21st Euromicro

International

Conference on

Parallel,

Distributed, and

Network-Based

Processing PDP

2013

Manager for

Energy Efficient

Many-Core

Operating Systems

World Public No

Task 3.4: HW

support for

operating

systems,

applications

and

monitoring

22/10/2012 Accepted Universities Publication 21st Euromicro

International

Conference on

Parallel,

Distributed, and

Network-Based

Processing PDP

2013

Task Migration for

Dynamic Power

and Performance

Characteristics on

Many-Core

Distributed

Operating Systems

World Public No

Task 3.3:

Operating

system

support for

safe multi-

core

integration

22/11/2012 Presented Research

Institutes

Conferences Fifth Swedish

Workshop on

Multicore

Computing

Power Optimized

Many-Core

Systems

World 50 Public No

Tak 4.2a:

Analysis

method for

Functional

Safety of

Multiple

Processor

and Multiple

Threads


group

RECOMP WP4

Workshop in

Madrid, Spain.

Demonstration of

the EPF Plugin

for IEC16508


Public

Yes


Safety

Applications

Tak 4.2a:

Analysis

method for

Functional

Safety of

Multiple

Processor

and Multiple

Threads

Safety

Applications

22/03/2013 To be

published

General

public

Conferences Workshop on

Industry-Driven

Approaches for

Cost-effective

Certification of

Safety-Critical,

Mixed-Criticality

Systems (WICERT

2013) in conjuction

with Design,

Automation, and

Test Europe

(DATE) conference

Publication World Yes

T2.2

Component

validation to

support

certification

5.2.201 Done Other Specific user

group

RECOMP WP2

Workshop in

Madrid, Spain.

Component Model

Specification for

Certification


Public

Yes

Task 3.3:

Operating

system

support for

safe multi-

core

integration

28/02/2013 Presented Universities Publication 21st Euromicro

International

Conference on

Parallel,

Distributed, and

Network-Based

Processing PDP

2013

Manager for

Energy Efficient

Many-Core

Operating Systems

World est. 35 Public No

Task 3.3:

Operating

system

support for

safe multi-

core

integration

28/02/2013 Presented Universities Publication 21st Euromicro

International

Conference on

Parallel,

Distributed, and

Network-Based

Processing PDP

2013

Task Migration for

Dynamic Power

and Performance

Characteristics on

Many-Core

Distributed

Operating Systems



Task 3.3:

Operating

system

support for

safe multi-

core

integration

22/03/2013 Accepted Other Conferences Workshop on

Industry-Driven

Approaches for

Cost-effective

Certification of

Safety-Critical,

Mixed-Criticality

Systems (WICERT

2013)

Mixed-Critical

Multi-Processor

Motor Controller

with Capabilities

for Runtime

Update of

Software


Brno University of Technology (BUT)

Principal

Task

Planned /

Delivered

Date Status

Principal

Audience

Principal

Dissemination


Geographical Scope

Size of audience

IPR Standards

related

T2.3

Validation,

verification

and timing

analyses

20/04/2012 Published General

public

Conferences IEEE

International

Symposium on

Design and

Diagnostics of

Electronic

Circuits and

Systems 2012

Monitoring-

Driven HW/SW

Interrupt

Overload

Prevention for

Embedded Real-

Time Systems

World 100 Non Public

No

Task 3.5:

HW/SW

Component

integration


Institutes

Conferences ACIVS 2012 Presentation of

AX32 Platform World 100 Public No

Task 3.5:

HW/SW

Component

integration

01/11/2012 Presented General

public

Conferences GAUDEAMUS Presentation of

AX32 Platform National-Regional

5000 Public No

T2.3

Validation,


public

Conferences ARCS 2013 Load-Adaptive

Monitor-Driven World Public


verification

and timing

analyses

Hardware for

Preventing

Embedded Real-

Time Systems

from Overloads

Caused by

Excessive

Interrupt Rates

Camea Ltd. (Camea)

Principal

Task

Planned /

Delivered

Date Status

Principal

Audience

Principal

Dissemination


Geographical

Scope Size of

audience IPR

Standards

related

Task 3.5:

HW/SW

Component

integration


Institutes

Conferences ACIVS 2012 Presentation of

AX32 Platform

World 100 Public No

Task 3.5:

HW/SW

Component

integration


public

Conferences GAUDEAMUS Presentation of

AX32 Platform

National-

Regional

5000 Public No

CEA List (CEA)


Delivered

Date Status

Principal

Audience

Principal

Dissemination


Geographical

Scope Size of

audience IPR

Standards

related

Task 3.2: 31/01/2012 Done Industrial Conferences SAE 2012 Automotive World 10000 Public No


Requirements

and

Implementation

of Core-to-Core

Communication

End-User

Large-

Scale

congress

Task 3.2:

Requirements

and

Implementation

of Core-to-Core

Communication

12/11/2012 Done Small and

Medium

Enterprises

Specific user

group

KronoSafe Knowledge

transfer

National 10 Non

Public

Technical University of Denmark (DTU)

Principal

Task

Planned /

Delivered

Date Status

Principal

Audience

Principal

Dissemination


Geographical

Scope Size of

audience IPR

Standards

related

T2.4

Configuration

synthesis to

support

certification

and upgrade

of NSC part

10/08/2012 Presented Universities Conferences International

conference on

Hardware/software

codesign and

system synthesis

(CODES+ISSS)

Synthesis of

communication

schedules for

TTEthernet-

based mixed-

criticality

systems

World 200 Public No

T2.3

Validation,

verification

and timing

analyses

19/09/2012 Presented Universities Conferences Emerging

Technologies and

Factory

Automation

(ETFA)

Timing Analysis

of Mixed-

Criticality Hard

Real-Time

Applications

Implemented on

Distributed

Partitioned

Architectures

World 100 Public No


EADS-IW & CASSIDIAN (EADS)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience Event Name Activity Title

Geographical

Scope

Size of

audience IPR

Standards

related

Task 7.4

Industrial day.

01/07/2012 Done Industrial

End-User

Large-Scale

MCFA working

group

participation to Multi-Core

for Avionics event - this is a

closed industry group with

aerospace electronic

companies participating with

the goal to discuss

implications of the use of

multi-core computers in

avionics - the goal is to have

non-binding standard

practices in certification of

multi-core

World 60 people Non

Public

Yes

Task 7.3

Dissemination

Activities

01/04/2012 Done Research

Institutes

EDCC (European

Dependable

Computing

Conference) 2012

paper presentation

"Leveraging Multicore

Computing Architectures in

Avionics"

European 100

people

Public No

Task 7.3

Dissemination

Activities


Institutes

BICCnet talk on

certification with

focus on multi-

core

Certification in Aerospace -

Multi-Core – A Done Deal?

National-

Regional

35 people Public no

Task 4.2b:

Considerations

to Achieve

Functional

Safety When

Using Multiple

Tasks on Multi-

Core Processors

01/10/2012 Done Large

Enterprises

ARAMiS public

project on multi-

core -

presentation of

RECOMP results

related to Task

4.2b which are

public (like

presentation on multi-core

certification aspects

National 20 people Non

Public

no


Multi-core

Analysis

HIPEAC

Workshop

“Integration of

mixed-criticality

subsystems on

multi-core

processors

HIPEAC Workshop




World about 40

people

Public No

HIPEAC

Workshop

“Integration of

mixed-criticality

subsystems on

multi-core

processors

HIPEAC Workshop




World about 40

people

Public No

Multi-Core for

Avionics working

group meeting

Multi-Core for Avionics

working group meeting

World 25 people Non

Public

Yes

Multi-Core for

Avionics working

group meeting

Multi-Core for Avionics

working group meeting

World 25 people Non

Public

Yes

Dagstuhl Seminar

- Multicore

Enablement for

Embedded and

Cyber Physical

Systems

Dagstuhl Seminar -


Embedded and Cyber

Physical Systems

World 35 people Non

Public

No

FCC SERVICIOS INDUSTRIALES Y ENERGETICOS S.A. (FCC)


Delivered Status

Principal

Audience

Principal

Dissemination Event Name Activity Title

Geographical

Scope

Size of

audience IPR

Standards

related


Date Channel

Task 5.9:

Application

demonstrator

“UAV Sense

and Avoid

System”

02/07/2013 Presented Other Specific user

group

RECOMP

Internal Technical

Day

T5.9

Demonstration

European 40 Public No

Fortiss GmbH (Fortiss)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 5.16:

Tools

11/07/2012 Presented Small and

Medium

Enterprises

Tool

Demonstrations

Validas

Workshop

The Danfoss

Use-Case

Extensions

National 5 Non

Public

No

Task 3.3:

Operating

system

support for

safe multi-core

integration

20.-22.-

06.2012

Presented General

public

Conferences SIES 2012 Shared Memory

Protection for

Spatial

Separation in

Multicore

Architectures

World 200 Public No

T2.4

Configuration

synthesis to

support

certification

and upgrade

of NSC part

29.-

30.08.2012

Presented Small and

Medium

Enterprises

Specific user

group

AutoFOCUS3

Workshop

Integrasys

Workshop


Task 5.16:

Tools

10/09/2012 Presented Large

Enterprises

Specific user

group

Conti Workshop AF3 Tool Demo National 10 Non

Public

No

T2.4

Configuration

24.-

25.09.2012

Presented General

public

Tool

Demonstrations

EAST-ADL

Workshop

Model-based

Engineering



synthesis to

support

certification

and upgrade

of NSC part

T2.2

Component

validation to

support

certification


public

Tool

Demonstrations

fortiss open house

day

Model-based

Engineering


Infineon technologies UK Limited (IFX-UK)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 5.15:

Develop

commercial

multi-core

processor

platform

09/10/2012 Done Embedded

Systems Week

"Virtualisation

Support for an

Embedded

Automotive

Environment"

(presentation)

European Public

Task 5.15:

Develop

commercial

multi-core

processor

platform

01/01/2013 Done Newsletter Technology

Tomorror

Infineon

OIKOS Control

Unit for a global

ECO system

World 26.000 Non

Public

Task 5.15:

Develop

commercial

multi-core

processor

22/03/2013 Accepted Conferences WICERT 2013 Hardware and

Software

Support for

Mixed-

Criticality


platform Multicore

Systems

Integrasys (INT)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 5.4

Application

demonstrator

“Air Traffic

Management

middleware”

05/07/2012 Presented Other Specific user

group

RECOMP 2nd

REVIEW

T5.4

Demonstration


Task 5.4

Application

demonstrator

“Air Traffic

Management

middleware”


public

Flyer RECOMP 2nd

REVIEW

T5.4

Demonstrator -

POSTER


Task 5.4

Application

demonstrator

“Air Traffic

Management

middleware”

29 & 30

August

2012

Presentation Tool

providers

Training

courses/events

Integrasys and

Fortiss Meeting.

Training on

Autofocus.

Integrasys and

Fortiss Meeting.

Training on

Autofocus.


Task 5.4

Application

demonstrator

“Air Traffic

Management

middleware”

30 & 31

October

2012

Done General

public

Conferences ARTEMIS CO-

SUMMIT 2012

T5.4

Demonstration

European >1000 Public


Polytechnic Institute of Porto (ISEP)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences SIES 2012 Online Intra-

Task Device

Scheduling for

Hard Real-Time

Systems

World 60 Public No

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences SIES 2012 An Improved

Preemption

Delay Upper

Bound for

Floating Non-

preemptive

Regio

World 60 Public No

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences ICESS 2012 An Analysis of

the Impact of

Bus Contention

on the WCET in

Multicores

World 70 Public No

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences ECRTS 2012 Task

Assignment

Algorithms for

Two-type

Heterogeneous

Multiprocessors

World 150 Public No

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences EMSOFT 2012 Towards Real-

Time

Agreement

Protocols For

Many-Cores

World 100 Public No


T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences RTNS 2012 Extending Fixed

Task-Priority

Schedulability

by Interference

Limitation

World 100 Public No

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences RTNS 2012 Real-Time

Scheduling with

Resource

Sharing on

Uniform

Multiprocessors

World 100 Public No

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences RTNS 2012 The Generalized

Multiprocessor

Periodic

Resource

Interface Model

for Hierarchical

Multiprocessor

Scheduling

World 100 Public No

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences EUC 2012 Dynamic Global

Scheduling of

Parallel Real-

Time Tasks

World 50 Public No

T2.3

Validation,

verification

and timing

analyses


Institutes

Conferences RTSS@Work

2012

Virtual

Execution

Platforms for

Mixed Time-

Criticality

Applications:

Demonstrating

the CompSoC

Platform and

Design Flow

World 100 Public No

T2.3

Validation,


Institutes

Conferences RTSS 2012 A PTAS for

assigning

World 100 Public No




verification

and timing

analyses

sporadic tasks

on two-type

heterogeneous

multiprocessors

Kone Oyj (KONE)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 7.3

Dissemination

Activities

31/10/2012 Done General

public

Project

Exhibition

Co-summit 2012

of ARTEMIS and

ITEA 2

Project

Exhibition at

Co-summit

2012 of

ARTEMIS and

ITEA 2 on 30 &

31 October

2012


SpaceSystem Finland (SSF)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 4.2b:

Considerations

to Achieve

Functional

Safety When

Presentation

4.12.2012

Publication

31.12.2012

Presented Universities White papers Bachelor's

Thesis

Prosessoriajan ja

muistiavaruuden

osioinnin

hyödyntäminen

automaatiosovelluksissa

National-

Regional

Non

Public

No


Using Multiple

Tasks on

Multi-Core

Processors

(Utilization of Time-

Space Partitioning in

automation

applications)

Tak 4.2a:

Analysis

method for

Functional

Safety of

Multiple

Processor and

Multiple

Threads

Safety

Applications

22/03/2013 Planned General

public

Conferences WICERT

2013 (Date

2013)

Impact of multicore

platforms in hardware

and software

certification--Summary

results of RECOMP

WP4

World Public Yes

Symtavision GmbH (SYM)

Principal Task Dissemination

type

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

T2.4

Configuration

synthesis to

support

certification

and upgrade

of NSC part

(Asset related)

Pre-emptive


public

Conferences SAE Wolrd

Congress

2012

Paper

publication

World Public

T2.4

Configuration

synthesis to

support

certification

(Asset related)

Pre-emptive


public

Conferences SAE Wolrd

Congress

2012

Presentation World 50 Public


and upgrade

of NSC part

SYSGO AG (SYSGO)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 7.3

Dissemination

Activities


public

Conferences rts

EMBEDDED

SYSTEMS,

Paris, France

European Public

Task 7.3

Dissemination

Activities


public

Conferences Common

Criteria Forum

Workshop,

Cannes, France

European Public

Task 7.3

Dissemination

Activities


public

Conferences DASIA 2012,

Dubrovnik,

Croatia

European Public

Task 7.3

Dissemination

Activities


public

Conferences InnoTrans

2012

InnoTrans

2012, Berlin,

Germany

European Public

Task 7.3

Dissemination

Activities


public

Conferences ECS 2012 Embedded

Conference

Scandinavia,

Stockholm,

Sweden

European Public

Task 7.3

Dissemination

Activities


public

Conferences International

Avionics

Conference

2012

IMA, State and

Prospects of

Development,

Moscow,

Russia

European Public

Task 7.3 30/10/2012 Done General Conferences ARM TechCon ARM TechCon World Public


Dissemination

Activities

public 2012 2012, Santa

Clara,

California,

USA

Task 7.3

Dissemination

Activities


public

Conferences electronica

2012

electronica

2012, Munich,

Germary

European Public

Task 7.3

Dissemination

Activities


public

Conferences HiPEAC 2013 Hipeac

Workshop

2013, Berlin,

Germany

European Public

Task 7.3

Dissemination

Activities


public

Conferences SDMD 2013 Software

Design for

Medical

Devices,

Munich,

Germany

European Public

Task 7.3

Dissemination

Activities


public

Conferences Avionics

Europe 2013

Avionics

Europe 2013,

Munich,

Germany

European Public

Task 7.3

Dissemination

Activities


public

Conferences Embedded

World 2013

Embedded

World 2013,

Nuremberg,

Germany

World Public

Task 7.3

Dissemination

Activities


public

Conferences Embedded

Multicore

Workshop

Dagstuhl

Multicore

Enablement for

Embedded and

Cyber Physical

Systems,

Dagstuhl,

Germany

European Public

Task 4.2b:

Considerations

to Achieve

Functional


public

Publication SAFECOMP

2013

Monitoring-

Based Shared

Resource

Separation for

World Public


Safety When

Using Multiple

Tasks on Multi-

Core Processors

Commercial

Multi-core

System-on-

Chip

SYSGO S.R.O. (SYSCZ)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 7.3

Dissemination

Activities


End-User

Large-

Scale

Seminar EP China /

Electrical China

2012

World Public

Task 7.3

Dissemination

Activities


End-User

SME

Seminar SYSGO Days World Public

Task 7.3

Dissemination

Activities


End-User

Large-

Scale

Publication MSV 2012 /

International

Engineering Fair

European-

Regional

Public

Task 7.3

Dissemination

Activities


public

Conferences InnoTrans 2012 InnoTrans 2012,

Berlin,

Germany

European Public

Task 7.3

Dissemination

Activities


public

Conferences electronica 2012 electronica

2012, Munich,

Germary

European Public

European Software Institute Tecnalia (ESI-TECNALIA)


Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel

Event

Name Activity Title

Geographical Scope

Size of audience

IPR Standards

related

Tak 4.2a:

Analysis method

for Functional

Safety of

Multiple

Processor and

Multiple Threads

Safety

Applications


public

Conferences SASSUR Paper presentation:

Towards a Case-

Based Reasoning

Approach

for Safety Assurance

Reuse


Task 7.3

Dissemination

Activities


public

Conferences SASSUR Workshop

organization European 20 Public No

T2.5 Guidelines

for developing

certifiable

systems and

integration with

existing tool

flows


public

Conferences WICERT Paper: Methods and

tools for reducing

certification costs of

mixed-criticality

applications on multi-

core platforms: the

RECOMP approach

European Public No

Task 7.4

Industrial day.


public

conferences WICERT Workshop

organization European Public No

Task 7.4

Industrial day.


public

conferences WICERT Demonstrator:Tools

for Compliance

Management and

Compositional Safety

Assurance

European Public Yes

Task 7.5

Standardization

Activities


public

Conferences EuroSPI

2013

Making software

safety assessable and

transparent- Safety

workshop

European Public


Thales France (Thales)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 3.2:

Requirements

and

Implementation

of Core-to-Core

Communication

07/10/2012 Presented Universities Conferences International

Conference on

Embedded

Software

(EMSOFT)

Tutorial

Switched

Network

Systems

Integration for

Manycore

Architectures

World 100 Public No

Task 3.5:

HW/SW

Component

integration

12/10/2012 Presented Industrial

End-User

Large-Scale

Awareness

seminars

Safety Critical

Architectures

and Tools

Research Topic

annual

meetinggénéral

European-

Regional

20 Non

Public

No

Task 3.5:

HW/SW

Component

integration


End-User

Large-Scale

End Users

Forum

Computing PhD

Day 2012

European-

Regional

10 Non

Public

No

Thales Research & Technology (TRT-UK)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

RECOMP 11/09/2012 Done Other Specific user

group

RECOMP

meeting

WP meetings

+ plenary

European 40 Non

Public

No

RECOMP 13/12/2012 Done Industrial

End-User

Large-Scale

Specific user

group

Thales RTOS

meeting

Thales RTOS

meeting

National 5 Non

Public

No


Task 4.2b:

Considerations to

Achieve

Functional Safety

When Using

Multiple Tasks

on Multi-Core

Processors


group

D4.2b RECOMP

telecons

European 10 Non

Public

Yes

Task 6.4:

Evaluation in the

aerospace

domain


group

WP6 RECOMP

telecons

European 10 Non

Public

No


public

Conferences HiPeac 2013 8th

International

Conference

on High-

Performance

and

Embedded

Architectures

and

Compilation,



End-User

Large-Scale

Awareness

seminars

Thales Research

days

Thales

Research days

European 250 Non

Public

No


End-User

Large-Scale

Awareness

seminars

Thales/ SysGo

PikeOs meeting

Thales/

SysGo PikeOs

meeting

European 50 Non

Public

Yes

RECOMP 04/02/2013 Done Other Specific user

group

RECOMP

meeting

WP meetings

+ plenary

European 50 Non

Public

No

Technische Universitaet Braunschweig (TUBS)


Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Publication HASE 2012 Paper:

"IDAMC: A

Many-Core

Platform with

Run-Time

Monitoring

for Mixed-

Criticality "

World 100 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring

17/09/2012 Presented Universities Tutorials ARTIST

Summer School

2012

Switched

network based

embedded

systems for

time and

safety critical

applications

World 100 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring

12/03/2012 Presented Universities Tutorials Conference on

Design,

Automation &

Test in Europe

(DATE) 2012

Multi-Core

Platforms for

Mixed-

Critical

Embedded

Systems

World 50 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Publication HASE 2012 Paper:

"IDAMC: A

Many-Core

Platform with

Run-Time

Monitoring

for Mixed-

Criticality "

World 100 Public No

Task 3.4: HW

support for

operating

systems,

17/09/2012 Presented Universities Tutorials ARTIST

Summer School

2012

Switched

network based

embedded

systems for

World 100 Public No


applications and

monitoring

time and

safety critical

applications

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Publication ARCS 2013 Power

Monitoring

for Mixed-

Criticality on

a Many-Core

Platform

World 100 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Scientific

journals

TECS SI

Design

Challenges for

Many-core

Processors

Towards a

Certifiable

Fault-Tolerant

Network-on-

Chip

World 500 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


End-User

Large-Scale

Conferences Symtavision

News

Conference 2012

Future

Automotive

Networks -

The Need for

a Holistic

Approach

World 150 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Tutorials ESWEEK 2012 Mixed critical

system design

and analysis

World 50 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Conferences Software-Based

Methods for

Robust

Embedded

Systems

Designing an

Analyzable

and Resilient

Embedded

Operating

System

World 50 Public No

Task 3.4: HW

support for

operating


public

Publication ARCS 2013 Power

Monitoring

for Mixed-

World 100 Public No


systems,

applications and

monitoring

Criticality on

a Many-Core

Platform

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Scientific

journals

TECS SI

Design

Challenges for

Many-core

Processors

Towards a

Certifiable

Fault-Tolerant

Network-on-

Chip

World 500 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Conferences Software-Based

Methods for

Robust

Embedded

Systems

Designing an

Analyzable

and Resilient

Embedded

Operating

System

World 50 Public No

T2.3 Validation,

verification and

timing analyses


public

Conferences 3rd

International

Workshop on

Analysis Tools

and

Methodologies

for Embedded

and Real-time

Systems

(WATERS)

Compositional

Performance

Analysis in

Python with

pyCPA

World 50 Public No

Task 3.4: HW

support for

operating

systems,

applications and

monitoring


public

Scientific

journals

IEEE Embedded

Systems Letters

- Special Issue

on Rigorous

Modeling and

Analysis of

Cyber-Physical

Systems

A Failure

Mode and

Effects

Analysis of a

Network-on-

Chip

World 100 Public No

Task 3.4: HW

support for

operating


public

Seminar Multicore

Enablement for

Embedded and

IDAMC - A

manycore

architecture



systems,

applications and

monitoring

Cyber Physical

Systems

for mixed

critical

applications

TÜV SÜD Automotive GmbH (TÜV)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 7.3

Dissemination

Activities


group

Generische SW-

Komponenten

internal

workshop

TÜV SÜD

Rail GmbH

National-

Regional

22 Non

Public

No

University of Granada (UGR)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Task 7.3

Dissemination

Activities

10/04/2012 Presented Universities Specific user

group

CITICOFFEE,

Granada, Spain

RECOMP:

Sistemas

Críticos para

Industria,

Aviónica y

Automoción

National-

Regional

25 Non

Public

Task 4.2b:

Considerations

to Achieve

Functional


group

RECOMP

T4.2b F2F

Meeting,

Munich,

RECOMP

T4.2b F2F

Meeting

European 10 Non

Public


Safety When

Using Multiple

Tasks on Multi-

Core Processors

Germany

Task 7.3

Dissemination

Activities

11/09/2012 Done Other Workshops RECOMP Joint

WP

Workshops,

Bath, UK

RECOMP Joint

WP Workshops

European 100 Non

Public

Task 7.3

Dissemination

Activities

19/09/2012 Presented Universities Conferences JCE 2012,

Elche, Spain.

Safety-Critical

Platform Model

Based on

Certification

Standards

World 300 Public

Task 7.3

Dissemination

Activities

19/09/2012 Done Universities Publication JCE 2012,

Elche, Spain.

Safety-Critical

Platform Model

Based on

Certification

Standards

World 300 Public

Task 7.3

Dissemination

Activities

21/09/2012 Presented Universities Conferences JCRA 2012,

Elche, Spain

Monitorización

en Tiempo de

Ejecución para

Sistemas

Críticos

Empotrados

World 300 Public

Task 7.3

Dissemination

Activities

21/09/2012 Done Universities Publication JCRA 2012,

Elche, Spain

Monitorización

en Tiempo de

Ejecución para

Sistemas

Críticos

Empotrados

World 300 Public

Task 7.3

Dissemination

Activities


public

Scientific

journals

Journal JSA -

Special Issue

DSE-ES 2012

Safe Motor

Controller in a

Mixed-Critical

Environment

with Runtime

Updating

World Public


Capabilities

Task 7.3

Dissemination

Activities


public

Conferences WICERT 2013,

Grenoble,

France.

Open Platform

for Mixed-

Criticality

Applications

World 100 Public

Task 7.3

Dissemination

Activities

27-

28/11/2012

Done General

public

Workshops Seventh White

Rabbit

Workshop

WR switch

hardware status

and plans

World 60 Public

Task 7.3

Dissemination

Activities

22-

23/3/2012

Done General

public

Workshops Sixth White

Rabbit

Workshop

Safety

mechanisms for

the switch

World 60 Public

Task 7.3

Dissemination

Activities


public

Workshops SKA: Strategic

Position and

Future

Opportunities

for Spanish

Industry

SADT & SAT

group on SKA

National-

Regional

80 Public

Task 7.3

Dissemination

Activities


public

Seminar Invited

conferences on

the CITIUS

research center,

Santiago de

Compostela,

Spain.

Investigación y

transferencia

sobre sistemas

empotrados en

la UGR

National-

Regional

50 Public

Task 3.5:

HW/SW

Component

integration


group

RECOMP Task

3.5 - HW/SW

Component

Integration,

Madrid, Spain

RECOMP Task

3.5 - HW/SW

Component

Integration

status and

finalization task

meeting

European 40 Non

Public

Task 7.3

Dissemination

Activities


group

RECOMP Task

7.3 -

Dissemination

Activities,

Madrid, Spain.

RECOMP Task

7.3 -

Dissemination

Activities status

and finalization

European 40 Non

Public


task meeting

Task 7.3

Dissemination

Activities

22/03/2013 Planned Other Conferences WICERT 2013,

Grenoble,

France.

Workshop

Organization

European 200 Non

Public

Validas AG (Validas)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

T2.5 Guidelines

for developing

certifiable

systems and

integration with

existing tool

flows


public

Conferences SafeComp 2012 Determining

Potential Errors

in Tool Chains

– Strategies to

Reach Tool

Confidence

According to

ISO 26262


T2.5 Guidelines

for developing

certifiable

systems and

integration with

existing tool

flows


public

Conferences Automotive

2012

ISO 26262 –

Tool chain

analysis

reduces tool

qualification

costs

National 100 Public Yes

T2.5 Guidelines

for developing

certifiable

systems and

integration with

existing tool

flows


public

Conferences EuroForum CTI

ISO 26262

Japan

Conference

Tool Chain

Poka Yoke

World 60 Public Yes

Tak 4.2a: 22/03/2013 Accepted Other Conferences WICERT 2013 Impact of World 50


Analysis method

for Functional

Safety of

Multiple

Processor and

Multiple

Threads Safety

Applications

multicore

platforms in

hardware and

software

certification

T2.5 Guidelines

for developing

certifiable

systems and

integration with

existing tool

flows

22/03/2013 Accepted Other Conferences WICERT 2013 Methods and

tools for

reducing

certification

costs of mixed-

criticality

applications on

multi-core

platforms: the

RECOMP

approach

World 50

T2.5 Guidelines

for developing

certifiable

systems and

integration with

existing tool

flows

29/01/2013 Presented Universities Conferences Software

Certification:

Methods and

Tools

From Tool

Qualification to

Tool Chain

Design

World 40

Spinet Oy (Spinet)

Principal Task

Planned /

Delivered

Date

Status Principal

Audience

Principal

Dissemination

Channel


Scope

Size of

audience IPR

Standards

related

Tak 4.2a: 13/09/2012 Presented Large Standardisation RECOMP Multicore and European- 100 Public Yes


Analysis method

for Functional

Safety of

Multiple

Processor and

Multiple

Threads Safety

Applications

Enterprises workshops workshop

September

2012

safety standards Regional

Task 7.5

Standardization

Activities

15/11/2012 Submitted Industrial

End-User

Large-Scale

Standardisation

workshops

ISO/IEC JTC1

SC7 meeting

Next generation

of process

assessment

standards

World 2000 Public Yes

Task 7.5

Standardization

Activities

01/11/2012

Presented Industrial

End-User

Large-Scale

Seminar FiSMA and

STX workshop

Presentation: -

Safety: a new

process quality

characteristic?

National 60 Public Yes

Task 7.5

Standardization

Activities


End-User

Large-Scale

Seminar RECOMP

Technical day

February 2013

Presentation: -

Safety: a new

process quality

characteristic?

European 40 Non

Public

Yes

Task 7.5

Standardization

Activities


End-User

Large-Scale

seminar RECOMP WP4

workshop

February 2013

Presentation -

Amendments in

safety standards

European 40 Non

Public

Yes

Task 7.5

Standardization

Activities

15/11/2012 Submitted Industrial

End-User

Large-Scale

Standardisation

workshops

ISO/IEC JTC1

SC7 meeting

Next generation

of process

assessment

standards

World 2000 Public Yes

REDUCED CERTIFICATION COSTS FOR TRUSTED...

Documents

Transcript of REDUCED CERTIFICATION COSTS FOR TRUSTED...