Transcript Equipment Software Modeling - icalepcs 2005

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