The Semantics of Refinement Chart

Dominique Méry 1, 2 Neeraj Kumar Singh 3
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Refinement techniques play a major role to build a complex system incrementally. Refinement is supported by several modelling techniques in the area of system designing. These modelling techniques focus on notations that are either text or graphical. This article focuses on refinement chart (RC) that is based on graphical notations. The refinement chart is a graphical representation of a complex system using layering approach, where functional blocks are di- vided into multiple simpler blocks in a new refinement level, without changing the original behaviour of the system. The main contribution of this article is to provide the formal semantical description of the refinement chart. The refinement chart offers a clear view of assistance in "system" integration that assists to model the complex critical systems. Moreover, it also sketches a clear view of different operating modes and their associated components. To realise the effectiveness of this approach, we apply this refinement based graphical modelling technique to model an industrial case study: Adaptive Cruise Control (ACC).
Complete list of metadatas

https://hal.inria.fr/hal-00995176
Contributor : Dominique Méry <>
Submitted on : Thursday, May 22, 2014 - 8:41:18 PM
Last modification on : Thursday, September 19, 2019 - 5:00:03 PM

Identifiers

Collections

Citation

Dominique Méry, Neeraj Kumar Singh. The Semantics of Refinement Chart. HCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩. ⟨hal-00995176⟩

Share

Metrics

Record views

236