Analyzing Behavior of Concurrent Software Designs for Embedded Systems

Authors:
Robert G. Pettit IV;Hassan Gomaa
Affiliations:
The Aerospace Corporation, USA;George Mason University, USA
Venue:
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Year:
2007

Citing 0
Cited 3

Increasing Confidence in Concurrent Software through Architectural Analysis

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Cost-Performance Tradeoff for Embedded Systems

SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Performance modeling and analysis of message-oriented event-driven systems

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.