A Component-Based Approach for the Development of Automated Systems.
Saved in:
| Title: | A Component-Based Approach for the Development of Automated Systems. |
|---|---|
| Authors: | Mosbahi, Olfa1, Khalgui, Mohamed1, Hanish, Hans-Michael1, Li, Zhiwu1 |
| Source: | IEEE Transactions on Systems, Man & Cybernetics: Part A. Sep2011, Vol. 41 Issue 5, p1026-1031. 6p. |
| Subjects: | Automation, B method (Computer science), Material requirements planning, Detectors, Control theory (Engineering), Synchronization, Mathematical proofs |
| 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] |
| Copyright of IEEE Transactions on Systems, Man & Cybernetics: Part A is the property of IEEE and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
