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

[1]  Lui Sha,et al.  Real-time scheduling theory and Ada , 1990, Computer.

[2]  Brian Bagnall,et al.  Core LEGO MINDSTORMS Programming , 2002 .

[3]  Giorgio Bruno,et al.  PROTOB: An object‐oriented case tool for modelling and prototyping distributed systems , 1991, Softw. Pract. Exp..

[4]  Luciano Baresi,et al.  On Formalizing UML with High-Level Petri Nets , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[5]  Daniel A. Menascé,et al.  Performance Engineering of Component-Based Distributed Software Systems , 2001, Performance Engineering.

[6]  Mark Klein,et al.  A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[7]  Hassan Gomaa,et al.  Modeling behavioral patterns of concurrent software architectures using Petri nets , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[8]  Hassan Gomaa,et al.  Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.

[9]  Nicolas Guelfi,et al.  Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[10]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[11]  Brian Bagnall,et al.  Core Lego Mindstorms Programming: Unleash the Power of the Java Platform , 2002 .

[12]  Hassan Gomaa,et al.  Modeling behavioral design patterns of concurrent objects , 2006, ICSE '06.

[13]  Connie U. Smith,et al.  Performance Engineering of Software Systems , 1990, SIGMETRICS Perform. Evaluation Rev..