Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Refinement Approach

Handbook of Research on Industrial Informatics and Manufacturing Intelligence: Innovations and Solutions
It is a solution proposed to avoid state explosion at the verification of some properties with the model checker (instead of verifying these properties on the whole model, the refinement permits to verify them at each step on a part of the model).
Published in Chapter:
Functional Safety of Distributed Embedded Control Systems
Atef Gharbi (INSAT, Tunisia), Hamza Gharsellaoui (INSAT, Tunisia), Mohamed Khalgui (Xidian University, China), and Samir Ben Ahmed (INSAT, Tunisia)
DOI: 10.4018/978-1-4666-0294-6.ch006
This chapter deals with the functional safety of distributed embedded control systems following the component-based approach. The authors define a new concept of components called “Control Component” (CC) to cover all of the used technologies in industry. To guarantee the functional safety of distributed control software components, the authors define an agent-based architecture where an intelligent software agent is deployed in a device of the execution environment in order to apply local reconfiguration scenarios, and a coordination agent is used for inter-devices coordination in order to allow coherent reconfigurations.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR