2015
DOI: 10.1007/978-3-319-25423-4_9
|View full text |Cite
|
Sign up to set email alerts
|

A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
2
1
1

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 12 publications
0
1
0
Order By: Relevance
“…Most of the selected publications consider either discrete or continuous challenges when designing systems [6,23]. This means that very rarely hybrid solutions in systems design are taken into account [19]. Therefore, further investigations should be undertaken for defining formal semantics for SysML to close the gap when combining discrete and continuous modeling and simulation.…”
Section: Research Direction 2: Modeling Hybrid Systemsmentioning
confidence: 99%
“…Most of the selected publications consider either discrete or continuous challenges when designing systems [6,23]. This means that very rarely hybrid solutions in systems design are taken into account [19]. Therefore, further investigations should be undertaken for defining formal semantics for SysML to close the gap when combining discrete and continuous modeling and simulation.…”
Section: Research Direction 2: Modeling Hybrid Systemsmentioning
confidence: 99%