Analyzing Behavior of Concurrent Software Designs for Embedded Systems
This paper describes an integrated approach for the design and subsequent behavioral analysis of concurrent software designs for embedded systems. The approach integrates software design using the COMET concurrent object-oriented design method, colored Petri net (CPN) modeling, and performance measu...
Saved in:
Published in | 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) pp. 124 - 132 |
---|---|
Main Authors | , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.05.2007
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | This paper describes an integrated approach for the design and subsequent behavioral analysis of concurrent software designs for embedded systems. The approach integrates software design using the COMET concurrent object-oriented design method, colored Petri net (CPN) modeling, and performance measurement of the target system. The approach combines information from platform-independent and platform-specific models to construct analyses of software architectures for embedded systems. It allows an engineer/analyst to examine behavioral and performance properties of a software architecture design paired with a candidate implementation architecture. Applying the behavioral design patterns in the UML-based design along with corresponding CPN templates, the results from the analyses can be directly mapped back to the original design artifacts. The approach is illustrated using a robot controller case study |
---|---|
ISBN: | 0769527655 9780769527659 |
ISSN: | 1555-0885 2375-5261 |
DOI: | 10.1109/ISORC.2007.20 |