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
Link To Document