Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development 2013
DOI: 10.5220/0004321001430148
|View full text |Cite
|
Sign up to set email alerts
|

Systematic Development of Control Designs via Formal Refinement

Abstract: Abstract:The Simulink/Stateflow (SL/SF) modeling framework is widely used in industry for the development of control applications. However, such models are not amenable to formal reasoning. Controllers can also be designed using formal specification languages. Such designs can be formally verified, but the models do not explicitly represent control or data flow information. In this paper, we discuss RRM diagrams (RRMDs), a new modelling notation which incorporates the benefits of these two formalisms. RRMDs ar… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2013
2013
2014
2014

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
references
References 3 publications
0
0
0
Order By: Relevance