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...

Full description

Saved in:
Bibliographic Details
Published in10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) pp. 124 - 132
Main Authors Pettit, R.G., Gomaa, H.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2007
Subjects
Online AccessGet full text

Cover

Loading…
More Information
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