SIGAda 2010 Home
Register Online Now
Hotel Rates, Reservations, Travel
Reception Dinner & Cultural Program
Exhibiting and Sponsorship Opportunities
Conference at a Glance
Final Program:
(PDF/US)
Tutorials
Workshops and BoFs
Media Information
Conference Officers
Program Committee
Grants to Educators
Previous Conferences
Important Visa Information for
NON-US ATTENDEES
|
Since 1990, Dr. Bail has worked for The MITRE Corporation in McLean, VA,
as a Computer Scientist in the Software Engineering Center (SWEC).
MITRE is a not-for-profit corporation chartered to provide systems
engineering services to the U.S. Government agencies, primarily the
DoD, the FAA, and the IRS. Within MITRE, the SWEC focuses on supporting
various programs with consultation, particularly transitioning emerging
technologies into practice.
Dr. Bail's technical areas of focus include dependable software design and
assessment, error handling policies, techniques for software specification
development, design methodologies, metric definition and application, and
verification and validation. At MITRE, Dr. Bail is currently supporting
the U.S. Navy, focusing on the practice of software engineering as applied
to large real-time systems. Prior to 1990, Dr. Bail worked at Intermetrics
Inc. in Bethesda MD.
Since 1989 he has served as an part-time Adjunct Professor at the University
of Maryland University College where he develops instructional materials and
teaches courses in software engineering, in topics such as Software
Requirements, Verification and Validation, Software Design, Software
Engineering, Fault Tolerant Software, and others. Previously, Dr. Bail
taught part-time at The University of Maryland from 1983-1986 in the
Computer Science Department for undergraduate courses in discrete
mathematics, computer architecture, and programming language theory.
Dr. Bail has presented tutorials on Cleanroom Software Engineering,
Semi-Formal Development Techniques, Statistical Testing, and Requirements
Engineering for Dependable Systems at SIGAda, AdaEurope, SSTC, NDIA Systems
Engineering Conference, and other venues.
Dr. Bail received a BS in Mathematics from Carnegie Institute of Technology,
and an MS and Ph.D. in Computer Science from the University of Maryland.
He can be reached via email at
bail at mitre.org
Dr. Benjamin Brosgol is a senior member of AdaCore's technical staff in the USA.
He has over 30 years of experience in the computer software industry, with a
focus on programming languages (Ada and Java in particular), software
development methods, safety and security, and real-time systems.
Dr Brosgol has been directly involved with the Ada language development effort
since its inception, and participated in both the initial language design and
the Ada 95 revision. Dr. Brosgol has delivered presentations and tutorials at
many Ada-Europe and SIGAda conferences, and has been conducting professional
Ada courses for more than 20 years.
He can be reached via email at
brosgol at adacore.com
Dr. Cicalese is a Lead Software Systems Engineer at The MITRE Corporation in
McLean, VA, USA where she provides software engineering support to the Army
Robotics and other programs. She has experience both in industry as a software
engineer specializing in distributed systems as well as in academia as a tenured
associate professor of Computer Science at Marymount University in Arlington, VA.
She has a BS in Electrical Engineering from The George Washington University, an
MS in Computer Engineering from Carnegie Mellon University, and a DSc in Computer
Science from The George Washington University.
She can be reached via email at
cicalese at mitre.org
Peter H. Feiler, Ph.D., is a senior member of the technical staff in the
PCS Initiative at the SEI. He has authored more than 80 articles in the
areas of dependable real-time systems, architecture languages for embedded
systems, and predictable system analysis & engineering. Feiler is the
technical lead and author of the SAE AS-2C Architecture Analysis & Design
Language (AADL) standard. Feiler holds a Vordiplom degree in Math/CS from
Technical University Münich and a doctorate in computer science from
Carnegie Mellon University.
He can be reached via email at
phf at sei.cmu.edu
Bruce Lewis is the chairman of the Society of Automotive Engineers (SAE),
Avionic Systems (AS), Architecture Design Language Committee, AS-2C, and
led the standardization of AS5506. He is a resident affiliate at the
Software Engineering Institute working in Architecture-Centric Engineering.
He works for the US Army's Research, Development and Engineering Command,
Aviation and Missile Research, Development and Engineering Center, Software
Engineering Directorate. His research has focused on computer/software
system architecture, reuse, and computer system evolution since 1991.
He can be reached via email at
bruce.a.lewis at us.army.mil
John McCormick is Professor of Computer Science at the University of Northern Iowa.
He began his career in computer science at the State University of New York in 1979.
In 1993 John was awarded the Chancellor’s Award for Excellence in Teaching. He has
served as Secretary, Treasurer, and Chair of ACM SIGAda. He received the SIGAda
Distinguished Service Award in 2002 and the SIGAda Outstanding Ada Community
Contributions Award in 2008. He was awarded the SIGAda Best Paper and
Presentation Award in 1991 and the Ada Europe Best Presentation Award in 2008.
John’s interests include software quality, the specification, design, and
implementation of real-time systems, and the design of courses and laboratories
to support teaching of these topics. His real-time model railroad based embedded
systems laboratory has been duplicated at schools in North America, South America,
Europe, and Australia. He is the major author of Programming and Problem Solving
with Ada and Ada Plus Data Structures: an Object-Oriented Approach. These
introductory computer science textbooks are known for their early introduction
of software engineering principles. His latest book, Building Parallel, Embedded,
and Real-Time Applications with Ada, with coauthors Frank Singhoff and Jérôme
Hugues is due out this year.
John is a senior member of ACM, a member of SIGAda and SIGCSE,
and an affiliate of the IEEE Computer Society.
He can be reached via email at
mccormick at cs.uni.edu
Rob Pettit has over 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 for The Aerospace Corporation, 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 of Computer Science 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 was the General
Co-Chair for the Americas of IEEE’s 2007 and 2008 International Symposium on
Object-oriented Real-time Computing (ISORC 2007 and ISORC 2008) and is the
General Chair for the 2009 ACM/IEEE International Conference on Model Driven
Engineering Languages and Systems (MODELS 2009). Dr. Pettit is a Senior
Member of the IEEE; a member of ACM's SIGAda; and a co-author of Ada 95 Quality and Style.
He can be reached via email at
RPettit at gmu.edu
Jean-Pierre Rosen is a professional teacher, teaching Ada (since 1979,
it was preliminary Ada!), methods, and software engineering. He runs
Adalog, a company specialized in providing training, consultancy, and
services in all areas connected to the Ada language and software engineering.
He is chairman of AFNOR's (French standardization body) Ada group, AFNOR's
spokeperson at WG9, member of the Vulnerabilities group of WG9, and chairman
of Ada-France.
Adalog offers regularly on-site and off-site training sessions in Ada.
J-P Rosen is a consultant for companies involved in high reliability
systems, such as Ansaldo for Railway systems and Thales Avionics for
Airborne/OO systems.
He can be reached via email at
rosen at adalog.fr
Dr. Sherrill is the Director of Research and Development for OAR Corporation
in Huntsville, AL, USA. He is the maintainer of the free real-time operating
system RTEMS and a founding member of the GCC Steering Committee. He lead
the team that ported and validated GNAT/RTEMS. He has a BS in Computer
Science from University of Tennessee at Chattanooga and MS and PhD in
Computer Science from the University of Alabama in Huntsville.
He can be reached via email at
joel.sherrill at OARCorp.Com
Ricky E. "Ranger" Sward is a Lead Information Systems Engineer for the MITRE
Corporation in Colorado Springs, CO, USA. He currently supports the Air Force
A2U Unmanned Systems ISR Innovations Branch working to integrate full-motion
video initiatives for unmanned aircraft systems. Ranger retired from the Air
Force in August 2006 after a 21 year career as a Communications and Computer
officer. He taught at the US Air Force Academy for 10 years where he taught
courses such as Software Engineering and Unmanned Aircraft Systems. He has a
B.S. and an M.S. in Computer Science, as well as a Ph.D. in Computer Engineering.
He is currently Chair of ACM SIGAda.
He can be reached via email at
rsward at mitre.org
Dr. Weatherly is the Director of Army Robotics for the MITRE Corporation
in McLean, VA, USA. His career in robotics began when he led the software
development for MITRE’s successful entry in the DARPA Grand Challenge
robot race. Long before that he worked on one of the first validated
Ada compilers. He has a BS, MS, and PhD in Electrical Engineering from Clemson University.
He can be reached via email at
weather at mitre.org
|
