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

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

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

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

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

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

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

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

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

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 runtime - Can be properly documented When to use WSF2?

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)

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

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

Instrument Control System Seminar, 20 th -24 th October 2014 Availability: - Installed in VLTSW starting from VLTSW Or retrieve from SVN and install it using pkginBuild wsf2BUILD Documentation: - Requirement Document: VLT-SPE-ESO Design Document: VLT-SPE-ESO User Manual: VLT-MAN-ESO Papers: - “A Platform Independent Framework for Statecharts Code Generation”, ICALEPCS “Formal Validation of Fault Management Design Solutions”, ASE “Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain”, MODELS2014 Questions?

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

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

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

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