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
  1. Home
  2. Projects
  3. Eclipse Modeling Project
  4. Eclipse POOSL
  5. Eclipse POOSL
  6. Creation Review

Eclipse POOSL Creation Review

Type: 
Creation
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, October 20, 2021
Project: 
Eclipse POOSL
Proposal: 

Eclipse POOSL

Parent Project: 
Eclipse Modeling Project
Background: 

High-tech (embedded) systems are characterized by hardware and software components interacting closely with each other. The complexity of these systems requires modeling methods that structure and support the design process. In the early phases of system development, requirements are still unclear and many decisions have to be taken on the system architecture, the responsibilities, the behavior and the interactions between components. For these early phases, there is a lack of tools combining modeling with analysis at the appropriate abstraction level.

Scope: 

Eclipse POOSL (Parallel Object-Oriented Specification Language) provides tools for the editing (both textual and graphical) and debugging (using the Rotalumis simulator) of POOSL models. Debugging depends on the Rotalumis simulator (https://www.es.ele.tue.nl/poosl/Tools/rotalumis/) from Eindhoven University of Technology that is out-of-scope.

Description: 

Eclipse POOSL (Parallel Object-Oriented Specification Language, https://www.es.ele.tue.nl/premadona/publications/TFGHPV07.pdf) and the accompanying tools offer a general purpose method for describing and simulating (embedded) system architectures for the early evaluation of key structural and behavioral concepts, requirements and performance. This lightweight modeling and simulation approach shortens the development time of complex high-tech systems by providing fast insights into requirements and early design decisions, thereby reducing the risk of expensive iterations during design, integration and testing.

POOSL targets discrete domains with a notion of time. It provides an intuitive syntax that matches well-spread approaches such as component-based software development. The semantics is based on formal techniques, which ensures unambiguous simulation of models, functional verification and performance analysis.

POOSL is accompanied with user-friendly industry-strength Eclipse-based tools with strong focus on interactive model development and scalable analysis. Light-weight model development and validation is supported by an Integrated Development Environment in combination with a scalable simulator. The tools allow easy integration with external visualization and control tools via sockets and files. Various model libraries provide common data structures, stochastic distributions and observers for evaluation of, for example, worst/best case and average case performance properties.

POOSL was originally developed at Eindhoven University of Technology (TU/e) and was adopted by ESI (TNO) as a standard modeling and analysis tool following its successful application in the high-tech industry.

Why Here?: 

Eclipse POOSL is based on several Eclipse modeling projects: EMF, Sirius, Xtext. In addition it is based on the Eclipse Debug project. The genericity of the POOSL language makes it suitable for modeling and analyzing many concurrent hardware/software systems.

Initial Contribution: 

The https://github.com/ObeoNetwork/POOSL/ github repository contains all POOSL source code, renamed to Eclipse standards.

Licenses: 
Eclipse Public License 2.0
Project Scheduling: 

The initial contribution is ready to be submitted once the proposal passes.

Incubation release mid-October 2021.

Official release end of December 2021.

Future Work: 

Bugfixes, UI & performance improvements.

Integrate Eclipse TRACE4CPS (TRACE, https://projects.eclipse.org/proposals/eclipse-trace4cps + https://projects.eclipse.org/projects/technology.trace4cps)

People
Project Leads: 
William Piers
Arjan Mooij
Committers: 
William Piers
Arjan Mooij
Nicolas Péransin
Mentors: 
Wayne Beaton
  • Sign in to post comments.
Links: 
GitLab tracking issue
  • Sign in to post comments.
Incubating - Eclipse POOSL

Project Links

  • Website

Related Projects

Project Hierarchy:

  • Eclipse Modeling Project
  • Eclipse POOSL

Tags

Technology Types
  • Modeling

Eclipse Foundation

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

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