Back to Search
Start Over
A Component-Based Approach for the Development of Automated Systems.
- Source :
-
IEEE Transactions on Systems, Man & Cybernetics: Part A . Sep2011, Vol. 41 Issue 5, p1026-1031. 6p. - Publication Year :
- 2011
-
Abstract
- This paper addresses a component-based approach using the Event-B method to develop automated systems. These systems are composed of two parts: the control part (controller) and the operative part (controlled component). The first is a software component which controls the operative part that models the physical device and its environment. We propose in this paper the use of the formal Event-B method to develop automated systems applying a codesign technique, where the two components are developed separately, and then, a composition is defined with the Event-B method to prove the automated system correctness. First of all, we define a specification for the composition of these two components in the Event-B method. Second, we give refinement semantics for a component-based system before proposing a method to verify the refinement of a whole system from that of its components. [ABSTRACT FROM PUBLISHER]
Details
- Language :
- English
- ISSN :
- 10834427
- Volume :
- 41
- Issue :
- 5
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Systems, Man & Cybernetics: Part A
- Publication Type :
- Academic Journal
- Accession number :
- 64470290
- Full Text :
- https://doi.org/10.1109/TSMCA.2010.2093885