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 Toolchain Resources



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)


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.




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 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:

The ForSyde Ecosystem:

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.



The Rubus component model for resource constrained real-time systems.

Hanninen, Kaj, et al., 2008 International Symposium on Industrial Embedded Systems. IEEE, 2008

Support for end-to-end response-time and delay analysis in the industrial tool suite: Issues, experiences and a case study.

Mubeen, Saad, Jukka Mäki-Turja, and Mikael Sjödin, Computer Science and Information Systems 10.1 (2013): 453-482.

From AMALTHEA to RCM and Back: a Practical Architectural Mapping Scheme.

Bucaioni, Alessio, et al.2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 2020.

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.



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.

MoVES: A Model-Driven Methodology for Vehicular Embedded Systems

A. Bucaioni et al., in IEEE Access, vol. 6, pp. 6424-6445, 2018, doi: 10.1109/ACCESS.2018.2789400

MoVES Meets the Real World Automotive Benchmarks

A. Bucaioni and S. Mubeen, 2020 IEEE International Conference on Industrial Technology (ICIT), Buenos Aires, Argentina, 2020, pp. 243-248 doi: 10.1109/ICIT45562.2020.9067182

Transferring a model-based development methodology to the automotive industry

A. Bucaioni et al. 2021 IEEE International Conference on Industrial Technology (ICIT)

Traceability and Safety

Component Fault Tree (CFT) Safety Analysis

Presentation: Component Fault Tree based Safety Analysis (PDF)


Presentation: AMALTHEA Timing Analyses with RTana2sim (PDF)

MobSTr Dataset

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