COMPASS Workshop

Session

Open Challenges and Future Directions

Oct 22, 2015, 11:00 AM

Escape Dance Room (ESA/ESTEC)

11. The Marriage of COMPASS and MILS

Mr Rance De Long (The Open Group)

10/22/15, 11:00 AM

12. COMPASS in the D-MILS project - an experience report

Mr Harald Ruess (Fortiss GmbH)

10/22/15, 11:10 AM

13. Model Repair in Systems Design

Mr Panagiotis Katsaros (Aristotle University of Thessaloniki)

10/22/15, 11:20 AM

14. Model based safety assessment of space operations – toward integration of failure analysis of system and operation

Mr Jean-Paul Blanquart (Airbus DS)

10/22/15, 11:30 AM

15. A Statistical Approach for Timed Reachability in AADL Models

Mr Harold Bruintjes (RWTH)

10/22/15, 11:40 AM

16. The FoReVer MBSE solution for system composition correctness analysis

Ms Silvia Mazzini (Intecs)

10/22/15, 11:50 AM