loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Manoranjan Satpathy 1 ; Colin Snook 2 ; Silky Arora 1 ; S. Ramesh 1 and Michael Butler 2

Affiliations: 1 General Motors Global R &D, India ; 2 University of Southampton, United Kingdom

Keyword(s): Refinement based Development, Discrete Controllers, Simulink/Stateflow, Event-B.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Frameworks for Model-Driven Development ; Methodologies, Processes and Platforms ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Based Testing and Validation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering

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 are graphical formal models and they also support incremental formal development. We have used synchronising state machines to encode RRMDs. We have also developed a prototype tool which translates RRMDs automatically to SL/SF designs.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 13.59.122.162

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Satpathy, M.; Snook, C.; Arora, S.; Ramesh, S. and Butler, M. (2013). Systematic Development of Control Designs via Formal Refinement. In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-8565-42-6; ISSN 2184-4348, SciTePress, pages 143-148. DOI: 10.5220/0004321001430148

@conference{modelsward13,
author={Manoranjan Satpathy. and Colin Snook. and Silky Arora. and S. Ramesh. and Michael Butler.},
title={Systematic Development of Control Designs via Formal Refinement},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2013},
pages={143-148},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004321001430148},
isbn={978-989-8565-42-6},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Systematic Development of Control Designs via Formal Refinement
SN - 978-989-8565-42-6
IS - 2184-4348
AU - Satpathy, M.
AU - Snook, C.
AU - Arora, S.
AU - Ramesh, S.
AU - Butler, M.
PY - 2013
SP - 143
EP - 148
DO - 10.5220/0004321001430148
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic