Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Equipment software modeling FR1.2-50 Michel Arruat, Stephen Jackson, Jean-Luc Nougaret, Maciej Peryt Contributors to FESA Accelerators & Beams Department, CERN [see [see WE612 PO2.094-5] in 2003] Equipment Software Modeling Outline • Introduction • Part one: abstraction levels • Part two: findings • Conclusions Equipment Software Modeling Equipment software’s purpose Interface module Front-end crate Timing receiver CPU Device Field bus Device model Equipment Software Modeling Part one: abstraction levels Climbing the pyramid of abstraction levels for modeling equipment-software Equipment Software Modeling Equipment modeling UML modeling language ? Equipment Software Modeling [see WE612 in 2003] Equipment meta-modeling Equipment Software Modeling A hierarchy of abstraction levels Equipment specialist steer design code Equipment Software Modeling [see MOF [see & OMG] W3C] Part two: findings Raising abstraction brings concrete benefits Equipment Software Modeling Modeling in a guided design-space enforces constraints validates against edit interface scheduling actions interactively Equipment Software Modeling [see PO2.094-5] Modeling frees C++ developers What goes on behind the hood: • Actions triggered according to scheduling rules. • Devices collected according to sorting criteria. XSLT • Data pushed to clients according to notification scheme. Equipment Software Modeling [see PO2.094-5] Modeling eases database integration SQL design code deploy Equipment Software Modeling instantiate [see PO2.094-5] Languages and equipment modeling Language FESA usage Pros Cons C++ Equipment Implementation Flexible and powerful Low-level UML Framework model Universal Abstract XML Schema Equipment Meta-Model Flexible for iterations and code-generation. Stretch XML beyond original intent Restricted, Performance issues, ‘Graphical’ barrier ‘Mathematical’ barrier Data-flow control-flow Suits instrumentation Formal Verification Equipment Software Modeling Conclusions • Modeling can be useful in embedded systems. • XML Schemas help elaborate domain-languages. • FESA has a meta-model of equipment software. Equipment Software Modeling