The Semantics of Refinement Chart

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).
Type de document :
Communication dans un congrès
Vincent G. Duffy. HCI International, Jun 2014, Heraklion, Greece. Springer, 8529, pp.415-426, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-07725-3_42〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00995176
Contributeur : Dominique Méry <>
Soumis le : jeudi 22 mai 2014 - 20:41:18
Dernière modification le : jeudi 22 septembre 2016 - 14:31:50

Identifiants

Collections

Citation

Dominique Méry, Neeraj Kumar Singh. The Semantics of Refinement Chart. Vincent G. Duffy. HCI International, Jun 2014, Heraklion, Greece. Springer, 8529, pp.415-426, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-07725-3_42〉. 〈hal-00995176〉

Partager

Métriques

Consultations de la notice

157