18 Apr 2017

ICES Newsletter No.40 - April 2017

Dear newsletter readers!

SCSSS
The 5th Scandinavian Conference on SYSTEM & SOFTWARE SAFETY is now just weeks away. It will be held at Spårvagnshallarna on may 22nd to 23rd and is co-organized with Addalot. Don’t miss this opportunity to keep in touch with what is happening in this extremely important and fast moving area, with insights from leading experts in the domains of aerospace and healthcare, and with workshops for interactive discussions. Follow this link for more information and registration.

COSIS
The COSIS proposal went all the way to the final round (13 were selected among the 110 applicants). The competition in the final round was thus very strong. The decision from Vinnova was not the one we hoped for, COSIS was not among the centers chosen for funding.

We put a lot of effort into describing and emphasizing the importance of the area and our capabilities to make good use of the funding for our society, academy and industry. We learnt that communicating the importance of complex software-intensive systems requires more and further efforts.

Going forward we will look into all the possibilities that opened up through the COSIS application efforts; the commitment from the ICES members and also new players was very strong. The main implication is that the centre discussions are ongoing to see what parts we can get going as part of ICES and/or in close cooperation with other initiatives at KTH.

Industry input wanted! – Workshop on decision support for embedded systems architecting. May 4th
In order to clarify the reasons and set out research directions, research at KTH has investigated the state of the art of Design Space Exploration (DSE) methods for distributed embedded system architecting and projections for future architecting methodologies. This has been contrasted with the state of practice of industrial architects (with information gathered through interviews and literature). A  gap analysis has then been performed, as illustrated in the following figure.

At the workshop we will present the findings in order to trigger discussions on  
- how current DSE methods can be improved to satisfy industrial needs;
- how the traditional architecting process autonomous needs to evolve to deal with connected, cooperative, automated systems, often using novel business models.
- opportunities for collaboration and new projects.

Please register, Industry input is essential for the gap analysis to be relevant.










Scania Demo day! – Formal verification of Embedded Software. May 19th

ICES Members are welcome to participate in a demo day at Scania. The focus area is Formal Verification of Embedded Software. The event will start at 10 with presentations and after lunch there will be demos and posters. Register on the ICES homepage. 

 

FORTHCOMING ICES EVENTS! (see the ICES Events Calendar
  
 APR 25 - Guest Lecture (Kista) - Resurrecting Laplace's Demon: The Case for Deterministic Models
Edward A. Lee - Robert S. Pepper Distinguished Professor in the Electrical Engineering and Computer Sciences (EECS) department at U.C. Berkeley.

April 26 - Guest Lecture (Campus Valhallavägen) - Resurrecting Laplace's Demon: The Case for Deterministic Models
Edward A. Lee - Robert S. Pepper Distinguished Professor in the Electrical Engineering and Computer Sciences (EECS) department at U.C. Berkeley.

May 4th - Workshop
Where formalisms and optimization meet heuristics

May 15th - Workshop
Systems Engineering Education in the Nordic Countries – Needs, Visions and Status

May 16th - Workshop
INCOSE - Nordic SE Tour - INCOSE/ICES

May 19th - Workshop
Scania Demo day – Formal Verification of Embedded Software

May 22nd – 23rd - Conference
5th Scandinavian Conference on System & Software Safety, May 22-23!

June 2nd - Workshop
Foundations of Cyber-Physical Systems: Where are we and How should we move forward?

CONTACT US: We welcome your ideas and questions!  Please e-mail: ices-admin@md.kth.se in the first instance.