
Multi-View, Multi-Domain, and Multi-Paradigm Approaches 149
Cyber-physical
system
integration
Methodology
integration
Physical world
dimension,
Communication
dimension,
Computation
dimension
Physical view, Functional
view, Behavior view,
Spatial view,
Temporal view,
Performance view,
Data view, and Hardware
view
AADL, SysML, UML,
Modelica,
SCADE, MARTE, ModelicaML
Petri nets, Hybrid automata,
Timed automata, RCC, Formal
methods
00 Model, Aspect-oriented
models,
Component models, Multi-
domain models, Dataflow
models, State machine
models, Process algebra,
Temporal logic, Petri net,
WCET, Scheduling models ,
RCC
Multi-domain, 00,
Component-oriented,
Model-based,
aspect-oriented, ...