Dependable Model-driven Development of CPS

JiangYU,SongHoubing,YangYixiao,LiuHan,GuMing,GuanYong,SunJiaguang,ShaLui

Dependable Model-driven Development of CPS

2018

JiangYU
SongHoubing
YangYixiao
LiuHan
GuMing
GuanYong
SunJiaguang
ShaLui

Simulink is widely used for model-driven development (MDD) of cyber-physical systems. Typically, the Simulink-based development starts with Stateflow modeling, followed by simulation, validation, a...

Keywords:

Stateflow
Software engineering
Runtime verification
Formal verification
Real-time computing
Timed automaton
Engineering
model driven development

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations