This proposal has been approved and the Eclipse POOSL project has been created.
Visit the project page for the latest information and development.

Eclipse POOSL

Thursday, September 30, 2021 - 02:54 by William Piers
This proposal is in the Project Proposal Phase (as defined in the Eclipse Development Process) and is written to declare its intent and scope. We solicit additional participation and input from the community. Please login and add your feedback in the comments section.
Project
Parent Project
Proposal State
Created
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.

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)

Initial Contribution

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

Source Repository Type