Analyzing behavior of concurrent software designs for embedded systems

Proceedings - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007

Volumn , Issue , 2007, Pages 124-132

  Pettit IV, Robert G ^a   Gomaa, Hassan ^b  

^a AEROSPACE CORPORATION   (United States)

^b Krasnow Institute for Advanced Study   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SOFTWARE ARCHITECTURE; UNIFIED MODELING LANGUAGE;

BEHAVIORAL ANALYSIS; PLATFORM SPECIFIC MODELS; SOFTWARE ARCHITECTURE DESIGN;

SOFTWARE DESIGN;

EID: 36348995321     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2007.20     Document Type: Conference Paper

References (20)

1. H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML, 1 ed: Addison-Wesley, 2000.
2. R. Pettit and H. Gomaa, "Modeling behavioral design patterns of concurrent objects," presented at ICSE 2006, Shanghai, China, 2006.
3. L. Sha and J. B. Goodenough, "Real-Time Scheduling Theory and Ada," IEEE Computer, vol. 23, pp. 53-62, 1990.
4. C. W. Smith, Performance Engineering of Software Systems: Addison Wesley, 1990.
5. H. Gomaa and D. Menascé, "Performance Engineering of Component-Based Distributed Software Systems," in Performance Engineering 2001, LNCS: Springer, 2001, pp. 40-55.
6. SEI, A Practioner's Handbook for Real-Time Analysis - Guide to Rate Monotonic Analysis for Real-Time Systems. Boston: Kluwer, 1993.
7. IBM, "IBM Technical Developer," 2006.
8. Ilogix, "Ilogix Rhapsody," Ilogix, 2006.
9. D. Harel and E. Gery, "Executable Object Modeling with Statecharts," 1996.
10. M. Baldassari, G. Bruno, and A. Castella, "PROTOB: an Object-oriented CASE Tool for Modelling and Prototyping Distributed Systems," Software-Practice & Experience, vol. 21, pp. 823-44, 1991.
11. O. Biberstein, D. Buchs, and N. Guelfi, "Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism," in COPN, Advances in Petri Nets, LNCS: Springer-Verlag, 2001, pp. 73-130.
12. L. Baresi and M. Pezze, "On Formalizing UML with High-Level Petri Nets," in COPN, Advances in Petri Nets, LNCS. Berlin: Springer-Verlag, 2001, pp. 276-304.
13. K. M. Hansen, "Towards a Coloured Petri Net Profile for the Unified Modeling Language - Issues, Definition, and Implementation," Centre for Object Technology, Aarhus, Denmark, Technical Report COT/2-52-V0.1, 2001.
14. R. Pettit and H. Gomaa, "Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets," presented at 4th WICSA, Oslo, Norway, 2004.
15. B. Huber, R. Obermaisser, P. Peti, and C. E. Salloum, "Resource Specification of the DECOS Integrated Architecture," TU Wien, Vienna, Austria, Technical Report October 12, 2005 2005.
16. Lego, "Lego Mindstorms - http://mindstorms.lego.com."
17. R. Pettit, "SWE 626: Software Project Lab for Real-Time and Embedded Systems," George Mason University, 2006.
18. B. Bagnall, Core LEGO MINDSTORMS Programming: Unleash the Power of the Java Platform: Prentice Hall, 2002.
19. K. Proudfoot, "RCX Internals - http://graphics.stanford.edu/ ~kekoa/rcx/," 1999.
20. N. S. Andersen and M. N. Kjærgaard, "Advanced programming of the LEGO RCX for education," Technical University of Denmark, 2001.