1. Marie Curie, CMS & I : When People and Ideas Come Together
Yi Ling Hwong
CMS DAQ DCS

2. Outline About the researcher Technical work Training Dissemination
Impact

3. About The Researcher ...

4. About the researcher Malaysia 27ºC average temperature
Tropical rainforest vs. Petronas twin tower
About me blah blah

5. How did I get here?
Malaysia -> Germany -> CERN -> ?

6. Technical Work

7. CMS Detector Control System
CMS – Compact Muon Solenoid
One of the four large experiments of the LHC
Detector Control System (DCS)
A set of policies governing and managing all activities
Scope:
All sub-systems, electronics, etc

8. Task and Objectives
To develop a toolset to automatically analyze and verify the Finite State Machine (FSM) system of the Detector Control System of the CMS experiment
Goal: Optimization of the current FSM system

9. Finite State Machines (FSM)
Automata modelling the Detector Control System (DCS)
“The real world is view as a collection of objects behaving as Finite State Machines.”
Parent / children interface
Command down, state up
Written in State Manager
Language (SML)
CMS DCS contains 30,000 FSMs!

10. The birth of FiSMAT™
Large system + different sub-detector groups + diversity in development philosophy = Recipe for error
Analysis of such a system is hard
... but not impossible 
With great people come great ideas
Collaboration with TUe
FiSMAT was born
Finite State Machine Analysis Toolkit

11. FiSMAT™ – What is it?
A set of command-line tools which can be used to analyse Finite State Machines written in the State Manager Language (SML)
Utilizes formal verification methods
Aims to help developers by giving them tools that can automatically verify certain properties of FSMs

12. FiSMAT™ - Technology Used
mCRL2 – micro Common Representation Language 2
Formal specification language
Associated toolset for modelling, simulation, verification
BMC - Bounded Model Checking
“check for a counterexample in runs of length for a fixed number of steps k and check whether a property violation can occur in k or fewer steps”
Encode the model as boolean Satisfiability (SAT) problem

13. Properties Verification
Automatic translation of SML into:
mCRL2 – global properties checking
Boolean formula (SAT problem) – local properties checking
So far we have developed tools to check following requirements
There are no unreachable state
There are no endless-loops
There are no states we can never leave
Enthusiastic feedback from group

14. Trainings & Disseminations

15. Complementary Training
Formal Training
Oracle SQL course: –
PVSS JCOP Framework course: –
FSM course: –
JAVA Level 1: –
Professional French course level 2
Professional French course level 4
Professional French course level B1
Presentation course (How to make a poster)
Leader in Science – confidence building course
Complementary Training

16. Collaboration establishment
Technical University of Eindhoven (TUe), Netherlands
Writing of proposal
Organization of meeting at CERN and at TUe
Application of mCRL2 in FiSMAT
Training trips to Eindhoven
Participation in discussion of mCRL2 tool development
Supervision of student from TUe – development of FiSMAT
Co-author of papers

17. Papers and Presentations
“An Analysis of the Control Hierarchy Modelling of the CMS Detector Control System” – Paper and Poster, ICALEPCS, Japan 2009
“FiSMAT – Finite State Machine Analysis Toolkit” – Poster, ESOF Marie Curie Conference, Torino 2010
“An Analysis of the Control Hierarchy Modelling of the CMS Detector Control System” – Paper and talk, CHEP, Taiwan 2010
“Towards the Verification of the Control Software of the CMS Experiment at the Large Hadron Collider” – Paper, SAC 2010
CMS week presentation

18. Teaching and Organization
ISOTDAQ school – lab instructor, Ankara 2010
Upcoming: ISOTDAQ school – lab instructor, Rome 2011
Upcoming: Organization of ACEOLE booth at CHEP 2010
Upcoming: ACEOLE II

19. Impact

20. Connections Contributions Collaboration Company Career Courage
The 6 C’s
Connections
Contributions
Collaboration
Company
Career
Courage

21. ... and the journey continues ...
Question?