system architecture

The multiple roles of XText in CHESS to support the model-based system design

This talk will give an overview of how XText has been used to enable various functionalities to support model-based system design in CHESS (1) the use of formal languages for the definition of CHESS elements such as formal properties and transition guards and effects in UML State Machines, (2) the control in real-time of the correctness of these elements (3) import of textual specifications of system models (4) conversion of CHESS models (including SysML architectures enriched with contracts and UML State Machines) into the format accepted by backend tools such as nuXmv and OCRA for formal

Experience level: 

Our Sponsors

For information about becoming a sponsor, please visit the EclipseCon France2018 sponsor prospectus page.




JUG Partners

EclipseCon Support Other Events

Our Other Events

Eclipse events are hosted all over the world!

  • Foss4G NA 2018
  • Eclipsecon France 2018