Modeling and Prototyping of Real-Time Embedded Software Architectural Designs with Colored Petri Nets

This paper describes an approach for constructing rapid prototypes to assess the behavioral characteristics of real-time embedded software architecture designs. Starting with a software architecture design nominally developed the using COMET concurrent object-oriented design method, an executable Colored Petri Net (CPN) prototype of the software architecture is developed. This prototype allows an engineer / analyst to explore behavioral and performance properties of a software architecture design prior to implementation. This approach is suitable both for the engineering team developing the software architecture as well as independent assessors responsible for oversight of the software architecture design.

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

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

[5]  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).

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

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

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

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

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

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

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

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