1 / 21

Optimizing FSM Systems in CMS Research: Development and Training Insights

This project meeting focuses on the development of a toolset for the automatic analysis and verification of the Finite State Machine (FSM) system in the Detector Control System of the CMS experiment. With around 27,500 nodes, it involves various teams and complex challenges. The objectives include optimizing the FSM system and ensuring properties like the absence of loops and unreachable states. The project has led to peer-reviewed papers, training courses in technical skills, and insights into communication and entrepreneurship.

ash
Télécharger la présentation

Optimizing FSM Systems in CMS Research: Development and Training Insights

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Four Decisions Yi Ling HWONG ACEOLE end of project meeting 15 September 2012

  2. Making Decisions

  3. Venture Out

  4. CMS

  5. Research • To develop a toolset to automatically analyse and verify the Finite State Machine (FSM) system of the Detector Control System of the CMS experiment • Goal: Optimisationof the FSM system • Around 27,500 nodes • By different teams with different development philosophy • Complex project

  6. Reach Out

  7. Collaboration • Technical University of Eindhoven • mCRL2 and Bounded Model Checking • FiSMAT - Finite State Machine Analysis Toolkit • Properties: • There are no loops in the FSM • There are no unreachable states in the FSM • There are no states that an FSM can never leave

  8. Results • 228 different parent/children combinations. • 45 parent/children combinations with the potential to loop • 1500 nodes in the control system (5,45%) • 79 violate the required reachability of states • Nearly 11% • Three peer-reviewed papers • An on-going project …

  9. Training • Six technical training courses • Highlight: Drupal, How to design an effective website, SQL • Eight complementary skills training courses • Highlight: Project engineering, Entrepreneurship, CV writing and interview skills, Science communication • Management, teaching and outreach

  10. Branch Out

  11. Communications • Knowledge Transfer group • World Engineer Convention 2011

  12. The Rubik’s cube video

  13. Feedback • Unique training methodology • Going against the grain • Appropriate guidance, fast feedback • Flexibility to take charge • Secondment • Earlier ice-breaking • Greater awareness (in SEA, for example)

  14. Post – ACEOLE…

  15. Start Up

  16. Médecins Sans Frontières (MSF) • Web editor • From basic research to medical humanitarian emergencies • Drupal - web design and development • Communication – a delicate balance

  17. Entrepreneurship

  18. ESOF 2012 • Marie Curie Actions conference • Workshop speaker “Speaking confidently to a non-scientific audience” • EU-ASEAN partnership symposium • Panel speaker “Researcher’s mobility’

  19. Conclusion

  20. “One of the greatest and simplest tools for learning more and growing is doing more.” Washington Irving

More Related