Skip to main content

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.

Panorama

Articles

PANORAMA - Boosting Design Efficiency for Heterogeneous³ Systems

Lukas Krawczyk, Joerg Tessmer, Harald Mackamul. Eclipse Research Newsletter 2019

Model-Based Timing Analysis and Deployment Optimization for Heterogeneous Multi-core Systems using Eclipse APP4MC

Lukas Krawczyk, Mahmoud Bazzal, Ram Prasath Govindarajan, Carsten Wolff. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

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.

Website: https://eclipse.org/capra

Wiki: https://wiki.eclipse.org/Capra

Articles

Cutting through the Jungle: Disambiguating Model-based Traceability Terminology

Jörg Holtmann; Jan-Philipp Steghöfer; Michael Rath; David Schmelter. 2020 IEEE 28th International Requirements Engineering Conference (RE) (pp. 8-19). IEEE.

Software traceability in the automotive domain: Challenges and solutions

JSalome Maro, Jan-Philipp Steghöfer, Miroslaw Staron. Journal of Systems and Software, Volume 141, pages 85-110

Capra: A configurable and extendable traceability management tool

Salome Maro, Jan-Philipp Steghöfer. 2016 IEEE 24th International Requirements Engineering Conference (RE), 407-408

Enabling Domain-specific Traceability with Eclipse Capra

Salome Maro, Jan-Philipp Steghöfer Grand Challenges of Traceability: The Next Ten Years, 57

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.

Website and main documentation sources: https://forsyde.github.io/

The ForSyde Ecosystem: https://forsyde.github.io/tools.html

Traceability and Safety

Component Fault Tree (CFT) Safety Analysis

Presentation: Component Fault Tree based Safety Analysis (PDF)

RTana2sim

Presentation: AMALTHEA Timing Analyses with RTana2sim (PDF)

MobSTr Database

The MobSTr dataset provides artifacts and traceability links that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive system.

MoVES

Bringing MoVES Towards Consolidated Electrical/Electronic Automotive Architectures

Alessio Bucaioni, Saad Mubeen. Work in Progress Session of the Euromicro DSD/SEAA 2019 conference