1. Instrument Control Systems Seminar 2014, 20 th -24 th October 2014 Workstation Software Framework 2 (WSF2)

2. Instrument Control System Seminar, 20 th -24 th October 2014 o Introduction to WSF o WSF2  New Requirements  New Technologies  Demo o WSF1 vs. WSF2 o Model Driven Engineering Outline

3. Instrument Control System Seminar, 20 th -24 th October 2014 Workstation Software Framework (WSF) framework to build event driven applications running on WS and based on Statecharts. Created in 2003 for PRIMA (VLTI) Later used in APE, ISS, NGC, etc. Concept similar to LSF: LCU Server Framework Introduction

4. Instrument Control System Seminar, 20 th -24 th October 2014 Basic Principle Developer creates Model and implements Actions WSF takes care of the State Machine Logic

5. Instrument Control System Seminar, 20 th -24 th October 2014 2) Interpreted Statecharts New Requirements 3) Platform Independent 1) Well defined Semantics

6. Instrument Control System Seminar, 20 th -24 th October 2014 StateChartXML (SCXML) SCXML Engines: Java - Apache Commons SCXML C++ - Qt SCXML Engine, scxml4cpp Python – PySCXML JavaScript - SCION

7. Instrument Control System Seminar, 20 th -24 th October 2014 COMODO SW Platform Independent SW Platform Dependent

8. Instrument Control System Seminar, 20 th -24 th October 2014 WSF2: COMODO for VLTSW 1) "modName" WS module is created containing directory structure and a simple Statechart model. 2) Statechart model is modified. 3) "modName" C++ and SCXML files are generated. 4) C++ code for Actions, Do- Activities, data structures is developed. Only two commands: wsf2Create, wsf2Config

9. Instrument Control System Seminar, 20 th -24 th October 2014 WSF1 vs. WSF2 FeaturesWSF1WSF2 State Machine Compiled (based on State Design Pattern) Interpreted (based on SCXML) StandardW3C SCXML recommendation Supported Statecharts Features Entry, Exit, Trans. Actions Composite States Orthogonal States History State Initial pseudo-state Internal and Self Transitions Entry, Exit, Trans. Actions Composite States Orthogonal States History State Initial/final pseudo-state Internal and Self Transitions Do-Activities (multi-threading) Guards Footprint.h = 60,.C = 53, 308K.h = 21,.C = 18, 59K Modeling Tools RationalROSE, MagicDrawAny Tool supporting EMF XMI (MagicDraw, Papyrus, etc.) Text Format CustomSCXML

10. Instrument Control System Seminar, 20 th -24 th October 2014 To develop applications that: - Cannot be built with the INS framework - Are reactive or event-driven - Are single or multi-threaded - Can be rapid-prototyped and simulated - Can be formally analyzed (model checker) - Can be “easily“ ported - Can change behavior @ runtime - Can be properly documented When to use WSF2?

11. Instrument Control System Seminar, 20 th -24 th October 2014 Nothing is for free … Developer needs to: - Learn how to model event driven applications using Statecharts (abstraction, syntax, and semantic) - Learn to use a Modeling Tool and/or SCXML (WSF2 doesn’t solve multithreading problems)

12. Instrument Control System Seminar, 20 th -24 th October 2014 VLT - NGC multi-threaded prototype VLT - Technical Detector Control SW for COTS Camera ACS - Event Subscriber RapidPrototype - Local Supervisor Prototype JPFSC - Star Separator VCM JPFSC - NASA/JPL SMAP Fault Protection To be done: VLT - NAOMI VLT - Porting of WSF1 applications Examples

13. Instrument Control System Seminar, 20 th -24 th October 2014 Model Driven Engineering

14. Instrument Control System Seminar, 20 th -24 th October 2014 Availability: - Installed in VLTSW starting from VLTSW2014 - Or retrieve from SVN and install it using pkginBuild wsf2BUILD http://svnhq1.hq.eso.org/p1/trunk/WorkstationSoftwareFramework/WSF2 Documentation: - Requirement Document: VLT-SPE-ESO-17210-6009 - Design Document: VLT-SPE-ESO-17210-6010 - User Manual: VLT-MAN-ESO-17210-5996 Papers: - “A Platform Independent Framework for Statecharts Code Generation”, ICALEPCS 2011 - “Formal Validation of Fault Management Design Solutions”, ASE2013 - “Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain”, MODELS2014 Questions?

15. Instrument Control System Seminar, 20 th -24 th October 2014 BACKUP SLIDES

16. Instrument Control System Seminar, 20 th -24 th October 2014 WSF2: COMODO for VLTSW VLT PlatformPlatform Independent

17. Instrument Control System Seminar, 20 th -24 th October 2014 COMODO Architecture 1) Input: - Model - TargetPlatform 3) Verify Model is complete and unambiguous 4) Xpand Templates generates the artifacts using Xtend functions 2) One workflow per platform + SCXML 5) Xtend functions to help navigating the model

18. Instrument Control System Seminar, 20 th -24 th October 2014 StateChartXML (SCXML) SCXML Engines: Java - Apache Commons SCXML C++ - Qt SCXML Engine, scxml4cpp Python – PySCXML JavaScript - SCION