View in EDS

A Component-Based Approach for the Development of Automated Systems.

Saved in:
Bibliographic Details
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
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 64470290
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A Component-Based Approach for the Development of Automated Systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Mosbahi%2C+Olfa%22">Mosbahi, Olfa</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Khalgui%2C+Mohamed%22">Khalgui, Mohamed</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Hanish%2C+Hans-Michael%22">Hanish, Hans-Michael</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Li%2C+Zhiwu%22">Li, Zhiwu</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Systems%2C+Man+%26+Cybernetics%3A+Part+A%22">IEEE Transactions on Systems, Man & Cybernetics: Part A</searchLink>. Sep2011, Vol. 41 Issue 5, p1026-1031. 6p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Automation%22">Automation</searchLink><br /><searchLink fieldCode="DE" term="%22B+method+%28Computer+science%29%22">B method (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Material+requirements+planning%22">Material requirements planning</searchLink><br /><searchLink fieldCode="DE" term="%22Detectors%22">Detectors</searchLink><br /><searchLink fieldCode="DE" term="%22Control+theory+%28Engineering%29%22">Control theory (Engineering)</searchLink><br /><searchLink fieldCode="DE" term="%22Synchronization%22">Synchronization</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+proofs%22">Mathematical proofs</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>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.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=64470290
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/TSMCA.2010.2093885
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 6
        StartPage: 1026
    Subjects:
      – SubjectFull: Automation
        Type: general
      – SubjectFull: B method (Computer science)
        Type: general
      – SubjectFull: Material requirements planning
        Type: general
      – SubjectFull: Detectors
        Type: general
      – SubjectFull: Control theory (Engineering)
        Type: general
      – SubjectFull: Synchronization
        Type: general
      – SubjectFull: Mathematical proofs
        Type: general
    Titles:
      – TitleFull: A Component-Based Approach for the Development of Automated Systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Mosbahi, Olfa
      – PersonEntity:
          Name:
            NameFull: Khalgui, Mohamed
      – PersonEntity:
          Name:
            NameFull: Hanish, Hans-Michael
      – PersonEntity:
          Name:
            NameFull: Li, Zhiwu
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 09
              Text: Sep2011
              Type: published
              Y: 2011
          Identifiers:
            – Type: issn-print
              Value: 10834427
          Numbering:
            – Type: volume
              Value: 41
            – Type: issue
              Value: 5
          Titles:
            – TitleFull: IEEE Transactions on Systems, Man & Cybernetics: Part A
              Type: main
ResultId 1