Skip to main content

Panorama Toolchain Resources

Learn more about the projects and partner products in the Panorama toolchain. Resources include articles, videos, presentations and websites and cover these technologies in the Panorama toolchain.

Table of Contents


Panorama

Videos

Articles


APP4MC

Eclipse APP4MC is a platform for engineering embedded multi- and many-core software systems. The platform enables the creation and management of complex tool chains including simulation and validation.

Videos

Articles


CAPRA

Eclipse Capra is a traceability management tool. It allows the creation of trace links between arbitrary artefacts, provides features to edit them and keep them consistent, and visualise the relationships between them.

Videos

Articles


ForSyDe

ForSyDe is a methodology that provides a formal basis for modeling and design of heterogeneous systems-on-chip and cyber-physical systems. It has been designed to meet several requirements including focusing on functionality in early design stages, incorporating formal methods and verification at the outset and employing formal refinement techniques to bridge the gap between specifications and implementation.

Videos

Articles


Arcticus Rubus Tool Suite

Rubus ICE is an integrated development environment supporting the software development of different applications ranging from small time-critical embedded systems to very large mixed time-critical and non-time critical embedded systems. Rubus ICE build on the Rubus Component Model and the Rubus Kernel. The Rubus Kernel is a real-time operating system, which supports both dynamic (Event Triggered threads) and static scheduling (Timed Triggered threads). When using the Rubus Component Model together with the Rubus Kernel, service calls are generated automatically thus providing for the Single Shot Execution (SSX) of threads. Traditional ET-triggered threads utilizing blocking RTOS services are also supported.

Videos

Articles


Inchron Tool Suite

The INCHRON Tool-Suite is a comprehensive set of tools for development and maintenance of embedded systems. Integrated with Amalthea models (APP4MC), the suite provides tools for timing requirement analysis, visualization, design exploration and verification of real-time systems.

Videos

Articles


MoVES

MoVES is a model-driven methodology for the software development of real-time distributed automotive embedded systems on single- and multi-core platforms. Features include improvements to the cost-efficiency of the development process by providing automated support to identify viable design solutions for selected non-functional requirements.

Videos

Articles


Vector TA Tool Suite

Videos

Articles


Automotive architecture


Model-based development


Traceability and Safety

Component Fault Tree (CFT) Safety Analysis

RTana2sim

MobSTr Dataset