|
Summary
Rob Pettit has nearly 20 years of
experience in the software development industry with expertise in software
development methodologies for real-time and concurrent systems, object-oriented
analysis and design, and UML. In his current position as a Sr. Engineering
Specialist with The Aerospace Corporation, Dr. Pettit is responsible for
oversight, consulting, and mentoring for a number of object oriented software
development projects. Additionally,
Dr. Pettit leads the research efforts of the Software Architecture and Technology Center and has 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 and
has given several presentations to international conferences and workshops. 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.
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.
Experience
The Aerospace Corporation, Chantilly, Virginia
(1999 to Present)
Software Systems Engineering Dept., Computers and Software
Division
Sr. Engineering Specialist
·
Object-oriented
software acquisition support for national security space programs.
·
Expertise includes
object-oriented software design for concurrent, distributed, real-time, and
mission-critical systems
·
Team lead for
department’s Software Architectures and Technology Center
·
Principal investigator for multiple successful
IRAD efforts. Most recent topics
include:
·
Model driven design of embedded systems
·
Effective performance modeling and analysis
for UML software designs
·
Designing mission critical software with UML
·
Founded real-time and embedded systems
laboratory for the Software Engineering Department
·
Mentoring and
oversight of object-oriented software development efforts
·
Developed and taught object-oriented software
inspection course for The Aerospace Institute
·
Conducted code quality audits for Ada software
·
Advisor for DII and MERIT research proposals
·
Program
Office Experience:
·
2000-2002 Rotation with DDSE Studies and
Analysis
·
Served as FFRDC software lead for “EXPERT”
software acquisition
·
Awards:
·
Mentored project that ultimately received U.S
Government’s Top 5 Quality Software Projects Award
·
Directorate L Program Recognition Award
·
Individual Achievement Award for support to
EXPERT development effort
·
Aerospace Institute Award for “Inspecting
Object-Oriented Work Products using the UML” course
Software
Productivity Consortium, Herndon,
VA (1995-1999)
Member, Technical Staff
·
Provided object-oriented mentoring to
Consortium member companies
·
Authored Consortium’s object-oriented software
engineering methodology
·
Co-author for Ada 95 Quality and Style:
Guidelines for Professional Programmers, used as the government and
industry standard for Ada
programming practices
·
Project lead for Consortium’s object-oriented
technology tasks
·
Researched and developed processes, methods,
and analysis techniques for the design, and implementation of software
systems.
·
Developed written guidelines and training
material to support the users of Consortium software processes, methods, and
analysis techniques.
·
Provided consulting and training in software
engineering methodologies
·
Evaluated and selected tools and environments
to automate software development processes and methods.
Sallie Mae, Herndon,
VA (1994 – 1995)
Software Architect
·
Designed and implemented corporate software
development standards.
·
Provided technical advice for the corporate
software process improvement initiative and for corporate software
development methods.
·
Provided consulting services for client/server
development projects.
·
Mentored object-oriented development efforts.
·
Analyzed and recommended software development
tools and environments.
E-Systems, Melpar Division, Falls
Church, VA (1991-1994 )
Software Analyst
·
Designed and developed software for remotely
controlled real-time intelligence systems using DOD-STD-2167A practices.
·
Lead software engineer for a real-time signal
processing subsystem.
·
Supported field site-test and installation
activities for mission-critical
software.
·
Led object-oriented migration efforts for
initial pilot subsystem.
·
Experienced with structured and
object-oriented software development paradigms
Naval Weapons
Support Center, Crane, IN (1989-1991)
Computer
Scientist
·
Designed and developed real-time simulations
and graphical interfaces for Marine Corps missile systems.
·
Evaluated simulation platforms and development
tools.
·
Consulted with armed-forces agencies regarding
the development of real-time combat simulations.
Bristol-Myers, Evansville, IN (1988-1989)
Systems Programmer
·
Developed real-time automation system for
pharmaceutical tablet coating process.
·
Responsible for software design, development,
testing, and maintenance.
Education
Doctor of Philosophy in Information Technology
George Mason
University, Fairfax, Virginia,
May 2003
Master of Science in Software Systems Engineering
George Mason
University, Fairfax, Virginia,
January, 1995
Bachelor of Science in Computer Science / Mathematics
University of Evansville, Evansville,
Indiana, May, 1991
Teaching Experience
Software Analysis
Design (SWE 621 and INFS 622)
·
George
Mason University,
M.S. programs in Software Engineering and Information Systems
·
Awarded “Outstanding Adjunct Professor” for
2004-2005 school year.
Establishing Review
Criteria for UML Work Products
·
UML 2002 Conference Tutorial
Inspecting Object-Oriented
Work Products Using the Unified Modeling Language
·
The Aerospace Institute
Ada-based Design
Approach for Real-Time Systems (ADARTS)
·
Software Productivity Consortium
·
TRI-Ada ’96 Conference Tutorial
Professional
Activities
Senior Member, Institute
of Electrical and Electronics Engineers (IEEE)
- Elected to
senior member status in February, 2006
IEEE International Symposium for
Object-oriented Real-time Computing (ISORC)
- 2007 -
North American General Co-Chair
- 2006 -
Program Committee Co-chair / Chair, Industrial Advances Track
- 2005 -
Program Committee Co-chair / Chair, Industrial Advances Track
- 2004 -
Program Committee Member
ACM/IEEE International Conference on Model Driven Engineering
Languages and Systems (MoDELS)
- 2006 -
Program Committee Member / Doctoral Symposium Chair
International Workshop on the Modeling
and Analysis of Real-Time and Embedded Systems (MARTES)
- 2005 - Program
Committee Member
International Workshop on the
Specification and Verification of UML Models for Real-Time and Embedded
Systems (SVERTS)
- 2004 -
Program Committee Member
IEEE Workshop on Software Technologies for Embedded and Ubiquitous
Computing Systems (WSTFEUS)
- 2004 - Program Committee Member
George Mason University,
School of Information Technology and Engineering
- 2004-Present – Industrial Advisory Board
Addison-Wesley Publishing
- 2000-Present – Reviewer for Object Technology Series
Manuscripts
Selected
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 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, 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, Philadelphia,
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
|