Rob Pettit

Dr. Rob Pettit

 

Adjunct Professor

Department of Information and Software Engineering
George Mason University
4400 University Drive
Fairfax, Virginia 22030-4444

Sr. Project Leader

The Aerospace Corporation
Office of Software Modeling and Analysis

Software Systems Engineering Department
15049 Conference Center Drive
CH3/320
Chantilly, Virginia 20151

Phone:  703-324-8937
Fax:      703-653-8673
Email: rob.pettit@aero.org

 

Biosketch

 

     Rob Pettit has 20 years of experience in the software development industry and is an internationally recognized expert in the field of software design for object-oriented real-time and concurrent systems.  In his current position as Sr. Project Leader, Dr. Pettit provides technical leadership and research direction for the Office of Software Modeling and Analysis (OSMA), which he helped to found in 2006.  In addition to his leadership role for the OSMA, Dr. Pettit is responsible for oversight, consulting, and mentoring for a number of object oriented software development projects.  Dr. Pettit has also served as the principle investigator on multiple Aerospace-funded research programs primarily focused on applying object-oriented technology to real-time embedded systems.

     Dr. Pettit has taught numerous industrial courses on software development and object-oriented technology; has given numerous presentations to international conferences and workshops; and has been invited to speak at international venues related to real-time and embedded software.  Dr. Pettit is also an Adjunct Professor at George Mason University where he teaches object-oriented software analysis and design for the software engineering master’s program and where he established a course on mode-driven real-time and embedded software.  Dr. Pettit received his B.S., Computer Science degree in 1991 from the University of Evansville, his M.S., Software Systems Engineering degree in 1995 from the George Mason University, and his Ph.D. in Information Technology / Software Engineering from George Mason University in 2003.  Dr. Pettit is a Senior Member of the IEEE and is the General Co-Chair for the Americas of IEEE’s 2007 International Symposium on Object-oriented Real-time Computing (ISORC 2007).

 

 

Resume

 

Research Interests

 

Object-Oriented Software Design

·       Large-scale, real-time, and embedded systems

·        Critical systems

·        Concurrent software architectures

·        Performance modeling and analysis

·        Applying research to industrial applications

 

 

Education

 

-Ph.D. (2003), Information Technology, George Mason University

-M.S. (1995), Software Systems Engineering, George Mason University

-B.S. (1991), Computer Science, University of Evansville

 

 

Teaching

 

-SWE 621 Software Design, Fall 2007

-SWE 626 Software Project Lab (Model-Driven Real-Time and Embedded Systems), Fall 2006

Official Esterel EDA Technologies Academic Partner Academic partner of Esterel EDA Technologies provider of ESL synthesis for control-intensive IP design and verification, including SystemC, VHDL, and Verilog code generation

Official Esterel Technologies Academic Partner Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.

 

 

Program Committees

 

11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2008) – General Co-Chair

10th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2007) – General Co-Chair

 

9th ACI/IEEE International Conference on Model Driven Engineering Languages and Systems – PC Member / Chair, Doctoral Symposium

 

9th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2006) – PC Co-chair / Industry Track Chair

 

International Workshop on Modeling and Analysis of Real Time Embedded Systems (MARTES 2005)

 

8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2005) – PC Co-chair / Industry Track Chair

 

International Workshop on the Specification and Verification of UML Models for Real-Time and Embedded Systems (SVERTS 2004)

 

7th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2004)

 

2nd IEEE Workshop on Software Technologies for Embedded and Ubiquitous Computing Systems (WSTFEUS 2004)

 

Publications

  

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

 

   “The Impact of UML 2.0 on Existing UML 1.4 Models”, Julie A. Street and Robert G. Pettit IV, MoDELS 2005, Montego Bay, Jamaica, October 2004.

 

   “Lessons Learned Applying UML in the Design of Mission Critical Software”, Robert G. Pettit IV and Julie A. Street, UML 2004, 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 Embedded Software Systems Designs”, Robert G. Pettit IV, Workshop on Software Technologies for Embedded and Ubiquitous Computing Systems (WSTFEUS) 2004, (Invited Paper), 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, UML 2002 Tutorial Proceedings, 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, Philadephia, PA, December, 1996.

 

    "CoRE for Requirements, ADARTS for Design," Robert G. Pettit IV, TRI-Ada '96 Conference Tutorial, 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

Last Updated: 5 January 2007