We are organizing an open workshop as a forum to present our final results on solutions for safe cooperative systems from the automotive and the avionics domains. The workshop will take place on December 11th, 2014 in Borås, near Gothenburg, Sweden. The event will feature several interesting sessions, namely: • A keynote talk by a representative from Volvo Cars; • Demonstration sessions, highlighting the KARYON project achievements and their applicability in the automotive and avionics domains; • Technical sessions addressing in more detail the main scientific advances and project contributions; • Focused posters and technology demonstrators to highlight particular project achievements; • Participant short talks (and/or posters), highlighting ongoing related initiatives. Participation is by invitation only. If you are interested in attending, please contact us.

The 3rd ASCoMS workshop took place earlier this week, on September 8, as a side event of the leading conference on computer safety, SAFECOMP. The event was once again a success, with a one day program including 9 paper presentations, some of them focusing on KARYON work and results. For more details about the workshop, visit the webpage on: http://www.safecomp2014.unifi.it/ascoms-program/

A new KARYON public deliverable has just been made available in the project web. D2.6 is about the integration of environment models in the KARYON architecture. Among other contributions, the deliverable describes two use cases from the automotive domain along a simple environment model and explains the extraction of application specific views.

Latest results from KARYON have been recently presented by António Casimiro in the 66th IFIP WG10.4 on Dependable and Fault-Tolerant Systems. Several prominent researchers and industry leaders are members of this group. The audience praised the very interesting work that is being developed within KARYON.

Four new KARYON deliverables have been made available. Among other results they provide a failure algebra for sensor data validity elaboration, solutions for dealing with uncertainty in communication, software components and a diagnosis and debugging solution for cooperative systems. Get these deliverables on http://www.karyon-project.eu/documents/deliverables/

We are proud to announce that the paper entitled "Validity-based Failure Algebra for Distributed Sensor Systems", presenting work developed by the OVGU team in the scope of KARYON, has received the best paper award at the 32nd International Symposium on Reliable Distributed Systems (SRDS 2013). The paper, authored by Tino Brade, Sebastian Zug and Jörg Kaiser, was selected among the 22 papers presented at the conference, from a total of about 70 submitted papers. Congratulations to our colleagues!

A new tool for the evaluation of inaccessibility periods in IEEE 802.15.4 beacon enabled wireless networks has been made publicly available by KARYON. The tool is implemented as a spreadsheet that allows the configuration of network parameters, producing tabular results and associated graphics.

Year 1 deliverables have now been made available on the project website. These deliverables provide initial results on issues ranging from the KARYON architecture definition, to the definition of safety constraints and safety predicates. They can be found in the Project Documents - Deliverables section of the website.

During the last KARYON meeting, held in Chalmers (Gothenburg, Sweden), the team from Chalmers made a demonstration of their miniature autonomous car platform, where the cars follow a predefined path while coordinating among them to avoid collisions. Three videos illustrating three different scenarios were prepared and you can watch them here: 1) Virtual traffic light scenario http://www.youtube.com/watch?v=wDAb3la5D78&feature=plcp 2) Coordinated lane change scenario http://www.youtube.com/watch?v=mk0GeFayv90&feature=plcp 3) Adaptive cruise control scenario http://www.youtube.com/watch?v=eTZeUXssq4Y&feature=plcp