Publications:

“A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines,” Julie S. Fant, Hassan Gomaa and Robert G. Pettit, in Software Technologies, Springer 2016.

  “Integrating and Applying Architectural Design Patterns in Space Flight Software Product Lines,” Julie S. Fant, Hassan Gomaa and Robert G. Pettit, Proc. 10th International Joint Conference on Software Technologies (ICSOFT 2015), Colmar, France, July 2015.

“On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems,” Robert G. Pettit IV, Navneet Mezcciani, and Julie S. Fant Proc. 17th International Symposium on Real-time Computing (ISORC 2014), 2014, Reno, NV USA, June 2014.

  “Highlighting the Challenges of Model-Based Engineering for Spaceflight Software Systems,” Robert G. Pettit IV and Navneet Mezcciani Proc. 5th International Workshop on Modeling in Software Engineering (MiSE 2013), 2013, San Francisco, CA, USA, May 2013.

  “A Pattern-based Modeling Approach for Software Product Line Engineering,” Julie S. Fant, Hassan Gomaa, and Robert G. Pettit IV, Proc.46th 46th Hawaii International Conference on Systems Sciences (HICSS 2013), Maui, Hawaii, USA, January 2013.

  “A Comparison of Executable Model Based Approaches for Embedded Systems,” Julie S. Fant, Hassan Gomaa, and Robert G. Pettit IV, Proc.2nd International Workshop on Software Engineering for Embedded Systems (SEES 2012), Zurich, Switzerland, June 2012.

  “Software Product Line Engineering for Spaceflight Software,” Julie S. Fant, Hassan Gomaa, and Robert G. Pettit IV, Proc.3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE 2012), Zurich, Switzerland, June 2012.

  “Architectural Design Patters for Flight Software,” Julie S. Fant, Hassan Gomaa, and Robert G. Pettit IV, Proc. 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2011), Newport Beach, California, USA, March 2011.

  “Modeling and Prototyping of Real-Time Embedded Software Architectural Designs with Colored Petri Nets”, Robert G. Pettit IV, Hassan Gomaa, and Julie S. Fant, Proc. 4th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB) 2011, Wellington, New Zealand , October 2011.

   “Architectural Design Patterns for Flight Software”, Julie S. Fant, Robert G. Pettit IV, and Hassan Gomaa, Proc., Workshop on Model-Based Engineering for Real-Time Embedded Systems (MoBE-RTES) 2011, Newport Beach, CA, March 2011.

   “Design and Development of Concurrent, Embedded, and Real-Time Software Using UML and Ada 2005”, Robert G. Pettit IV, Tutorial Proc., SIGAda 2010, Fairfax, Virginia, October 2010.

  “Evaluating Concurrent Software Architectures using Petri Nets”, Robert G. Pettit IV, Tutorial Proc., Petri Nets 2009, Paris, France, June 2009.

  Modeling and Prototyping of Concurrent Software Architectural Designs with Colored Petri Nets”, Proc. Petri Nets in Software Engineering, Paris, France, June 2009.

  “Designing Real-Time, Concurrent, and Embedded Software Systems using UML and Ada”, Tutorial Proc. 14th International Conference on Reliable Software Technologies - Ada-Europe 2009, Brest, France, June 2009.

  Towards Composable Timing for Real-Time Software”, Peter Puschner, Raimund Kirner, and Robert G. Pettit IV, Proc. IFIP International Workshop on Software Technologies for Future Dependable and Distributed Systems”, Tokyo, Japan, March 2009.

  “Increasing Confidence in Concurrent Software Through Architectural Analysis”, Robert G. Pettit IV, Proc. 13th International Conference on Reliable Software Technologies - Ada-Europe 2008, Venice, Italy, June 2008.

   “Analyzing Behavior of Concurrent Software Designs for Embedded Systems”, Robert G. Pettit and Hassan Gomaa, Proc. 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini Island, Greece, May 2007.

   “Independent Model-Driven Software Performance Assessments of UML Designs”, Julie A. Street,  Robert G. Pettit, and Hassan Gomaa, Proc. 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini Island, Greece, May 2007.

  “Modeling Behavioral Design Patterns of Concurrent Objects”, Robert G. Pettit IV and Hassan Gomaa, Proc. 28th International Conference on Software Engineering (ICSE), Shanghai, China, May 2006.

    “Lessons Learned Applying Performance Modeling and Analysis Techniques”, Julie A. Street and Robert G. Pettit IV, Proc. 9th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2006), Gyeongju, Korea, April 2006.

  “The Impact of UML 2.0 on Existing UML 1.4 Models”, Julie A. Street and Robert G. Pettit IV, Proc. 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Montego Bay, Jamaica, October 2005.

   “Lessons Learned Applying UML in the Design of Mission Critical Software”, Robert G. Pettit IV and Julie A. Street, Proc. 7th International Conference on the Unified Modeling Language (UML), Lisbon, Portugal, October 2004.

    “Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets,” Robert G. Pettit IV and Hassan Gomaa, Working IEEE Conference on Software Architectures (WICSA) 2004, Oslo, Norway, June 2004.

   “Lessons Learned Applying UML in the Design of Embedded Software Systems,” Robert G. Pettit IV, Invited Paper, Workshop on Software Technology for Future Embedded and Ubiquitous Systems (WSTFEUS) 2004, Vienna, Austria, May 2004.

    “Improving the Reliability of Concurrent Object-Oriented Software Designs,” Robert G. Pettit IV, Workshop on Object-oriented Real-time and Dependable Systems (WORDS) 2003, Capri, Italy, October 2003.

    “Establishing Inspection Criteria for UML Models,” Robert G. Pettit IV, Tutorial Proc. 5th International Conference on the Unified Modeling Language (UML), Dresden, Germany, October 2002.

   “Improving the Reliability of Object-Oriented Architecture Designs: An Approach Using Colored Petri Nets,” Robert G. Pettit IV, Symposium on Reliable Object-Oriented Programming, London, England, October 2001.

    “Modeling State-Dependent Objects using Colored Petri Nets,” Robert G. Pettit IV and Hassan Gomaa, Coloured Petri Nets 2001:  Modeling of Objects, Components and Agents Workshop, Århus, Denmark, August 2001.

     “Validation of Dynamic Behavior in UML Using Colored Petri Nets,” Robert G. Pettit IV and Hassan Gomaa, UML 2000 Dynamic Behavior Workshop, York, England, October, 2000.

     “Modeling Object-Oriented Behavior Using Petri Nets,” Robert G. Pettit IV, OOPSLA '99 Behavioral Semantics Workshop, Denver, Colorado, November, 1999.

     Consortium Object-Oriented Software Engineering using UML (COSUML), Robert G. Pettit IV and Hassan Gomaa, Software Productivity Consortium, 1998. 

     Ada 95 Quality and Style: Guidelines for Professional Programmers,  Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, and Steven B. Opdahl, Springer-Verlag, 1997.

     "Ada 95 Quality and Style," Robert G. Pettit IV and Christine Ausnit-Hood, Software Technology Conference Proceedings, Salt Lake City, UT, April, 1997.

     "Using Ada 95 for the Design of Distributed Real-Time Systems," Robert G. Pettit IV, TRI-Ada '96 Conference Proceedings, Philadelphia, PA, December, 1996.

   "Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems," Robert G. Pettit IV and Hassan Gomaa, IEEE Real-Time Applications Workshop, October, 1996.

     Ada 95 Quality and Style: Guidelines for Professional Programmers, SPC-94093-CMC, Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, and Steven B. Opdahl, Software Productivity Consortium, October, 1995.

     “A Software Design Method for Ada 95 Based Concurrent and Real-Time Systems,” Robert G. Pettit IV and Hassan Gomaa, TRI-Ada ’95 Conference Proceedings, Anaheim, CA, November, 1995

Invited Talks:

  “Model Based Engineering Challenges for the Spaceflight Software Domain,” Robert G. Pettit IV, Keynote Address to the International Workshop on the Globalization of Modeling Languages (GeMOC 2013), Miami Beach, Florida, USA, October 2013.

  “Flight Software Risk Mitigation Through Early Modeling and Analysis”, Robert G. Pettit IV and Alan Unell, PMAG Symposium, Los Angeles, California, February 2009.

   “Model Based Design and Development of Real-Time Embedded Systems”, Presentation to Department of Computing, Lancaster University, England, January 2008.

  “Modeling and Analysis for Real-Time Software Systems”, Presentation to Real-Time Systems Group, Technische Universität Wien, Vienna, Austria, October 2006.

  “Careers in Mission-Critical Software Engineering”, Presentation to Student Chapter of ACM, University of Virginia, Charlottesville, Virginia, April 2006.

  Panelist, International Workshop on the Specification and Verification of UML Models for Real-Time and Embedded Systems (SVERTS) 2004.  Panel Topic:  Applicability of UML for Real-Time Systems.

   “Lessons Learned Applying UML in the Design of Embedded Software Systems,” Workshop on Software Technology for Future Embedded and Ubiquitous Systems (WSTFEUS) 2004, Vienna, Austria, May 2004.