'
' Copyright (c) 2021, 2025 Contributors to the Eclipse Foundation
'
' This program and the accompanying materials are made
' available under the terms of the Eclipse Public License 2.0
' which is available at https://www.eclipse.org/legal/epl-2.0/
'
' SPDX-License-Identifier: EPL-2.0
'

@startuml
% PlantUML:
@startmindmap

<style>
node {
    Padding 12
    Margin 3
    HorizontalAlignment center
%    LineColor blue
    LineThickness 2.0
    BackgroundColor gold
    RoundCorner 40
    MaximumWidth 150
}
</style>

* Trace-based performance engineering of cyber-physical systems
** Techniques
*** Visualization
*** Transformation
*** Analysis
**** Critical path
**** Comparison
***** Timing
***** Ordering
***** Constraints
**** Repetitive structures
**** Little's law and resource usage
**** Runtime verification
** Tools
*** Eclipse TRACE4CPS

left side

** Formalisms
*** Execution traces
*** Constraint graphs
*** Temporal-logic specifications
*** Transformation specifications
** Methods
*** Model/system validation
*** Bottleneck analysis
*** Automated property verification

@endmindmap
@enduml