• DocumentCode
    3420397
  • Title

    A systematic approach for identifying operational relationships in embedded computer control systems

  • Author

    Chen, DeJiu ; Törngren, Martin

  • Author_Institution
    Dept. of Machine Design, R. Inst. of Technol., Sweden
  • fYear
    2004
  • fDate
    31 Aug.-3 Sept. 2004
  • Firstpage
    32
  • Lastpage
    39
  • Abstract
    Embedded computer control systems are a kind of safety critical real-time system, formed by a synergetic integration of various functions, technologies, and engineering disciplines. To modularize the design and to define the embodiments of functional modules in terms of software components, a more precise modeling of systems and support for assessments of modularity and related tradeoffs in designs is necessary. However, little support exists in this area. Existing system models and modularity metrics such as coupling and cohesion are often either too general or too specific by targeting only a specific implementation technology. This work proposes a meta-level model for the systems and a fine-grained classification of relationship patterns established by communication, synchronization, and implementation. The work emphasizes a system perspective and aims to support a more precise assessment of coupling, considered as one of the most important criterion for component creation and integration as well as structuring.
  • Keywords
    embedded systems; formal specification; object-oriented programming; program verification; safety-critical software; software metrics; synchronisation; embedded computer control system; meta-level model; modularity metrics; operational relationship; safety critical real-time system; software components; synchronization; Communication system control; Computerized monitoring; Control systems; Design engineering; Embedded computing; Motion control; Object oriented modeling; Real time systems; Safety; Systems engineering and theory;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Euromicro Conference, 2004. Proceedings. 30th
  • ISSN
    1089-6503
  • Print_ISBN
    0-7695-2199-1
  • Type

    conf

  • DOI
    10.1109/EURMIC.2004.1333353
  • Filename
    1333353