Skip to main content
  • Log in
  • Manage Cookies
projects.eclipse.org
Download
  • Projects
  • Working Groups
  • Members
  • Community
    • Marketplace
    • Events
    • Planet Eclipse
    • Newsletter
    • Videos
    • Blogs
  • Participate
    • Report a Bug
    • Forums
    • Mailing Lists
    • Wiki
    • IRC
    • Research
  • Eclipse IDE
    • Download
    • Learn More
    • Documentation
    • Getting Started / Support
    • How to Contribute
    • IDE and Tools
    • Newcomer Forum
  • More
      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs
      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research
      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum
    • Search

  1. Home
  2. Projects
  3. Eclipse PolarSys
  4. Eclipse CHESS™
  5. 1.1.0
  6. 1.1.0 Release Review

Eclipse CHESS™ 1.1.0 Release Review

Type: 
Release
State: 
Successful
End Date of the Review Period: 

Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.

Wednesday, February 16, 2022
Project: 
Eclipse CHESS™
Release: 

1.1.0

Description: 

New features and improvements:

  • Cross-level contract refinement.
  • Support for "timed" time model.
  • Improved default user settings.
  • Increased tests coverage.
  • Used xText editors for textual areas.
  • Defined AST for guards/effects on state machines.
  • Improved generation and auto-layout of diagrams.
  • Created default workspace for V&V analysis.
  • Further formal verification of state machine.
  • Improved checker manager.
  • Fixed Maven warnings.
Conforms To UI/UX Guidelines: 
Not verified
End of Life: 

No APIs and significant features are intended to be deprecated in a near future.

Communities: 
  • Wiki prodiving additional resources to follow and contribute to CHESS: https://wiki.eclipse.org/CHESS
  • Consult the CHESS forum and ask questions about the tool: https://www.eclipse.org/forums/index.php/f/529/
  • GitLab for bug reporting and enhancement requests: https://gitlab.eclipse.org/eclipse/chess/chess/-/issues
  • Subscribe to the developers mailing-list to be warned about technical announcements: https://accounts.eclipse.org/mailing-list/chess-dev
  • Sign in to post comments.
Incubating - Eclipse CHESS™

Related Projects

Project Hierarchy:

  • Eclipse PolarSys
  • Eclipse CHESS™

Tags

Build Technologies
  • Jenkins
  • Maven
  • Tycho

Eclipse Foundation

  • About Us
  • Contact Us
  • Sponsor
  • Members
  • Governance
  • Code of Conduct
  • Logo and Artwork
  • Board of Directors
  • Careers

Legal

  • Privacy Policy
  • Terms of Use
  • Copyright Agent
  • Eclipse Public License
  • Legal Resources

Useful Links

  • Report a Bug
  • Documentation
  • How to Contribute
  • Mailing Lists
  • Forums
  • Marketplace

Other

  • IDE and Tools
  • Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation. All Rights Reserved.

Back to the top