[ home ]
[ list of talks ]
[ agenda ]
[ attendees ]
[ motivation ]
[ leadership ]
[ sponsorship ]
[ call for papers ]
[ previous/related meetings ]
|National Workshop on Aviation Software Systems: Design
for Certifiably Dependable Systems
A Workshop on Research Directions and State of Practice of High Confidence Software Systems
October 4-5, 2006, Alexandria, VA
Jim Alves-Foss is an associate professor of computer
science and is the Director of the Center for Secure and Dependable Systems
(est. 1998). He has been at the University of Idaho since 1991. Dr. Alves-Foss
received his Ph.D in Computer Science from the University of California,
Davis (UCD) in 1991, his M.S. in Computer Science from
UCD in 1989 and his B.S. in Physics, Mathematics and Computer Science
from UCD in 1987.
John S. Baras received the B.S. in Electrical Eng. from the Nat. Techn.
Univ. of Athens, Greece, in 1970, and the M.S. and Ph.D. in Applied Math.
from Harvard Univ. in 1971 and 1973.
Professor Baras was the founding Director of the Institute for Systems
Research (one of the first six NSF Engineering Research Centers) from
1985 to 1991. Since August 1973 he has been with the Electrical and Computer
Engineering Department, and the Applied Mathematics Faculty, at the University
of Maryland, College Park, where he is currently a Professor holding
a permanent joint appointment with the ISR. In February 1990 he was appointed
to the Lockheed Martin Chair in Systems Engineering. Since 1991 Dr. Baras
has been the Director of the Maryland Center for Hybrid Networks (HYNET)
(a NASA Research Partnership Center).
Among his awards are: the 1980 Outstanding Paper Award of the IEEE
Control Systems Society; 1978, 1983 and 1993 Alan Berman Research Publication
Awards from NRL; 1991 , 1994, Outstanding Invention of the Year Awards
from the University of Maryland; 1998, the Mancur Olson Research Achievement
Award, from the Univ. of Maryland College Park (award recognizes faculty
whose research achievements have been extraordinary); 2002, Best paper
Award at the 23rd Army Science Conference, Orlando, Florida; Best paper
Award 2004 Wireless Security conference.
Dr. Baras is a Fellow of the IEEE. He was elected a Foreign Member
of the Royal Swedish Academy of Engineering Sciences in 2006.
Professor Baras' research interests include control, communication
and computing systems.
Professor Baras was the initial principal architect of the ISR M.S.
program in Systems Engineering. More recently Dr. Baras has been
in the development of new core courses for systems engineering. His
efforts address the often emphasized need for a new integrative approach
(holistic rather than in parts) which in turn addresses the needs for
modular design, systems thinking and team work.
Alexandre Bayen received the Engineering Degree in applied mathematics
from the Ecole Polytechnique, France, in July 1998, the M.S. degree in
aeronautics and astronautics from Stanford University in June 1999, and
the Ph.D. in aeronautics and astronautics from Stanford University in
December 2003. He was a Visiting Researcher at NASA Ames Research Center
from 2000 to 2003. Between January 2004 and December 2004, he worked
as the Research Director of the Autonomous Navigation Laboratory at the
Laboratoire de Recherches Balistiques et Aerodynamiques, (Ministere de
la Defense, Vernon, France), where he holds the rank of Major. He has
been an Assistant Professor in the Department of Civil and Envinronmental
Engineering at UC Berkeley since January 2005.
Scott Beecher is from Pratt & Whitney.
Azer Bestavros (PhD'92, Harvard U) is Professor and Chairman of the
Computer Science Department at Boston University, which he joined in
1991. Prof. Bestavros' research interests are in the general areas of
networking and real-time systems.
Robin Bloomfield is Professor of Software and System Dependability at
the City University, London. His research interests are in the dependability
(reliability, safety, security) of computer-based systems. His work in
safety in the past 20 yrs has combined policy formulation, technical
consulting and underpinning research. Robin Bloomfield is involved in
a wide range of projects and is currently the Industrial Liaison Director
for a UK interdisciplinary research project on dependability (DIRC).
He is a founder member of the consultancy Adelard and prior to this he
worked in industry for the UK electricity utility (CEGB) where he was
concerned with the design and validation of the control and safety systems
of nuclear power stations. The post is shared with Peter Bishop and he
spends part of his time with the consultancy Adelard that is co-located
at City with the CSR.
Ray Bortner is with the Air Force Research Laboratory, in Dayton, OH.
Darren Cofer is from Honeywell.
Eric Cooper received a B.A. magna cum laude in mathematics from Harvard
University in 1980 and a Ph.D. in computer science from the University
of California at Berkeley in 1985. From 1985 to 1991, he was a member
of the computer science faculty at Carnegie Mellon University, where
he conducted research in computer networks,
operating systems, and programming languages.
Dr. Cooper co-founded FORE Systems in 1990, serving as CEO until 1998
and as Chairman until 1999. During his tenure, the company grew from
a pioneering developer of ATM local-area networks to a leading supplier
of networks for enterprises and service providers. Dr. Cooper took FORE
public in 1994, acquired eight private companies and one public company
over the next five years, and sold the company in 1999 to Marconi for
$4.5 billion in cash. In its final year as an independent company, FORE
Systems employed 2,000 people worldwide, generated $700 million in revenue,
and earned $50 million in net income.
In 1999, Dr. Cooper was appointed Distinguished Service Professor of
Computer Science at Carnegie Mellon University. In 2000, he co-founded
G4 Partners to provide advisory services to technology companies. Dr.
Cooper was a member of the Board of Trustees of Carnegie Mellon University
from 1996 to 2002. He has served as a Director of several
technology companies, both public and private.
Matthew Dwyer, the Henson Chair of Software Engineering at
UNL, has over a decade of experience developing static software
analysis techniques and tools and studying their application in practice.
Sebastian Elbaum is an Associate Professor in CSE at UNL
with expertise in run-time monitoring of deployed software and
empirical studies of software testing techniques. Steve Goddard,
an Associate Professor in CSE and College of Engineering Distinguished
Scholar at UNL, is a highly-regarded expert in realtime
and embedded systems and enterprise-scale decision support
software. This team of researchers has led more then 25 research
projects for ARO, DARPA, NASA, USDA, and NSF that have produced
more than 10 software systems which have been leveraged
for industrial use.
Eric Feron is a Professor at Georgia Tech.
Emilio Frazzoli, Ph.D., is with MIT.. He received the Laurea
degree in Aeronautical Engineering, magna cum laude, from the University
La Sapienza , Rome, Italy, in 1994, and a Ph. D. from the Aeronautics
and Astronautics Department of the Massachusetts Institute of Technology
in 2001. Between 2001 and 2004, Dr. Frazzoli was on the faculty of the
Aerospace Engineering Department of the University of Illinois at Urbana-Champaign;
before going back to school for his doctorate, he served as an officer
in the Italian Navy, and was a flight dynamics specialist in the spacecraft
control center of Telespazio (Rome, Italy). Dr. Frazzoli is the recipient
of a 2002 NSF CAREER award, for research on "High-Confidence Software
for Aerospace Embedded Systems".
Current research interests include algorithmic, computational and geometric
approaches to the design and development of decision and control architectures
for complex networked and autonomous systems, in aerospace and other
domains. Application areas include distributed cooperative control
of multiple vehicle systems over wireless networks, guidance and control
of agile vehicles, high-confidence software engineering for high-performance
dynamical systems, verification of hybrid systems.
Helen Gill is a Program Director in the Computer and Network Systems
division of NSF's Computer and Information Science and Engineering Directorate.
Dr. Gill works in Computer Systems Research, managing a portfolio in
real-time and embedded computing, distributed real-time embedded systems,
software composition for embedded systems, resource management and real-time
scheduling, and high confidence methods for safety critical systems.
She also serves in the Cyber Trust initiative, which supports research
in cyber security, including approaches for distributed embedded real-time
and resource-constrained systems. She co-chairs the High Confidence Software
and Systems (HCSS) Coordinating Group of the NSTC Networking and Information
Technology R&D (NITRD) Subcommitee and she represents NSF in the
Critical Information Infrastructure Protection Interagency Working Group
and CISE in the NSTC Critical Infrastructure Protection Subcommittee.
Dr. Gill received her PhD in Computer Science from Auburn University,
M.S. in Computer Science from the University of Colorado, and B.A.(General
Honors, Phi Beta Kappa) in Mathematics from the University of Missouri.
Most recently, she has served at NSF since 2000. Previously, she was
a Program Manager at DARPA, where she established programs in Software
Enabled Control (SEC) and Program Composition for Embedded Systems (PCES)
and managed research in formal methods. Prior to this, she had served
as Program Director for the NSF program in software engineering and programming
language semantics and was a Principal Scientist at the MITRE Corporation.
Rob Gold is with the Office of the Secretary of Defense.
Patrick J. Graydon
Patrick J. Graydon is a graduate student in the Department of Computer Science at the University
of Virginia. His research interests include the use of assurance-case technology in the development
of safety-critical systems.
R. John Hansman
Dr. R. John Hansman is currently a Professor in the Department of Aeronautics
and Astronautics at MIT, where he is Head of the Humans and Automation
Division. He is also Director of the International Center for Air Transportation.
Professor Hansman teaches courses on Aircraft Systems and Design, Human
Supervisory Control of Automated Systems, Air Traffic Control, Spacecraft
and Aircraft Sensors and Instrumentation, Flight Measurement, The Airline
Industry, and Aircraft Systems Engineering and has co-produced an educational
Video Series on Measurement. He served as Co-Chair of the MIT Presidential
Task Force on Student Life and Learning.
Professor Hansman holds 6 U.S. Patents, and has authored over 250 technical
publications. He conducts research in several areas related to air transportation,
flight vehicle operations and safety. His current research activities
focus on information technology applied to air transportation systems,
air traffic control, integrated human-automation systems, advanced vehicles,
and advanced cockpit information systems. He is also an internationally
recognized expert in aviation meteorological hazards such as icing and
windshear. He is a Fellow of the American Institute of Aeronautics and
Astronautics (AIAA) and gave the 2005 National AIAA Dryden Lecture on
Research. He received a 2004 Commercial Air Transport Laurel from Aviation
Week and Space technology, the 1998 Bose Award for Excellence in Teaching,
the 1997 FAA Excellence in Aviation Award, the 1994 Losey Atmospheric
Award from the American Institute of Aeronautics and Astronautics, the
1990 OSTIV Diploma for Technical Contributions and the 1986 AIAA Award
for Best Paper in Thermophysics.
Dr. Hansman also consults and serves as a member of numerous advisory
and technical committees including the FAA Research and Development Advisory
Committee and the NASA Aeronautical Research Advisory Committee. He serves
on several editorial and corporate boards. He has over 5000 hours of
pilot in-command time in airplanes, helicopters and sailplanes, including
meteorological, production and engineering flight test experience.
David B. Homan
Mr. David B. Homan is a research scientist with the United States Air Force
Research Laboratory. Mr. Homan specializes in research and development of
air and space
vehicle flight control systems. In particular, Mr. Homan is a technical area
leader, specializing in development of advanced flight control mechanization
Control Mechanization group's current R&D emphasis areas include: Advances in
Airworthiness Certification and Verification and Validation, prognostics and diagnostics
for Integrated Control Systems Health Management, Control for Morphing Aircraft
Systems, and maintaining Operations and Support of the Air Vehicle's Control
Systems Integration Facility. Mr. Homan completed his Bachelor of Science
Mechanical Systems Engineering from Wright State University in 1987, and
received his Masters of Science in Management of Technology from the National
University in 1997. David is married to Michelle, and they have two children
Joseph, 18 and Kelsey, 15. David actively supports career fairs at grade,
middle and high schools
throughout the Miami Valley, and is an avid boating, hiking and camping enthusiast.
Sally E. Howe is Associate Director of the National Coordination Office
(NCO) for Information Technology Research and Development (IT R&D),
and has been at the NCO since it was established in 1992, serving first
as Assistant Director for Technology and then as Chief of Staff. The NCO's
activities include: coordinating the Federal government's $2 billion per
year Networking and Information Technology Research and Development (NITRD)
Program; supporting the Interagency Working Group (IWG) on ITR&D under
the National Science and Technology Council, Office of Science and Technology
Policy, Executive Office of the President; coordinating the preparation
of documents including the NITRD Program's annual report to Congress (commonly
known as the Blue Book); and supporting the President's Information Technology
Advisory Committee (PITAC). Dr. Howe's duties at the NCO include: coordinating
the activities of the NCO's technical staff, including their support for
the six Coordinating Groups that report to the IWG/ITR&D; serving as
Executive Editor for the Blue Book; coordinating the NCO's technical support
for the PITAC and preparing and overseeing the NCO budget. Prior to working
at the NCO, she spent 12 years at the National Institute of Standards and
Technology, including serving as Chief of the Scientific Computing Environments
Division within the Center for Applied Mathematics. Before joining the Federal
government, she was an Assistant Professor of Statistics at Carnegie Mellon
University and an Instructor in Mathematics at Keystone Junior College.
She holds a B.A. in Mathematics from William Smith College, an M.A. in Mathematics
from the University of Virginia, and a Ph.D. in Applied Mathematics from
Gabor Karsai received the Diploma in EE, and Dr Techn degrees from the
Technical University of Budapest, Hungary, in 1982 and 1984/88, and a
PhD from Vanderbilt University in 1988. Since then he is working at the
Department of Electrical Engineering and Computer Science and at the
Institute for Software-Integrated Systems of the School of Engineering.
Ms. King is a member of the Technical Staff of the National Coordination
Office (NCO) for Information Technology Research and Development (ITR&D).
As the Technical Coordinator for the High Confidence Software and Systems
(HCSS) and the Human Computer Interaction and Information Management
(HCI&IM) Coordinating Groups, Ms. King is responsible for the day-to-day
management and coordination of the interagency programs and initiatives
implemented by these groups. Ms. King also serves as the Special Projects
Coordinator in which she provides technical writing, analytical, research,
and problem solving services for a variety of NCO ITR&D activities.
Ms. King joined the NCO in January 2003.
John C. Knight
John C. Knight is a professor of computer science at the University of Virginia. His research
interests include safety-critical software engineering for aerospace applications and techniques for
securing critical networked information systems.
Michael B. Leahy Jr., Ph.D.
Edward A. Lee
At the FAA, Ernest Lucier responsibilities included Acting Chief Scientist for Information Technology in the FAA's Office of the Chief Information Officer (CIO). The mission of this office was to develop, manage, and execute FAA Information Technology (IT) and Information Systems Security (ISS) research and development (R&D) programs. This was accomplished by establishing partnerships with other government agencies (national and international) and academia to leverage their Information Technology (IT)/cyber-security research and development investments for the benefit of the FAA. The goal was to make maximum use of research and development from other government agencies and academia.
Ernest Lucier joined the FAA in December 1996 and was the Air Traffic Services ARS Telecommunications Requirements Lead for the FAA Telecommunications Infrastructure (FTI) program before joining AIO. Prior to the FAA, he was at NASA Headquarters where he served as the program manager for the Earth Observation System Data Operations System (EDOS), the ground system to collect the high rates of data from the NASA Earth Observation Satellites and distribute the data for processing.
Mr. Lucier graduated from Brown University with a bachelor's degree in aerospace engineering. He is a Senior Member of the American Institute of Aeronautics and Astronautics (AIAA) and a member of the Institute of Electrical and Electronics Engineers, Inc. (IEEE).
Natasha Neogi is an Assistant Professor in Aerospace Engineering and
Computer Science at the University of Illinois, Urbana-Champaign. She
received her B.Eng. Honours, in Mechanical Engineering from McGill University,
and a M.Phil in Physics from Cambridge University. She attained both
an M.S. and Ph.D in Aeronautical and Astronautical Engineering from MIT.
Richard V. Robinson
John Rushby received B.Sc. and Ph.D. degrees in computing science from
the University of Newcastle upon Tyne in 1971 and 1977, respectively.
He joined the Computer Science Laboratory of SRI International in 1983,
and served as its director from 1986 to 1990; he currently manages its
research program in formal methods and dependable systems. Under his
leadership, the program has produced the highly regarded and widely used
PVS verification system, the ICS decision procedures, and the SAL suite
of model checkers. Prior to joining SRI, he held academic positions at
the Universities of Manchester and Newcastle upon Tyne in England. His
research interests center on the use of formal methods for problems in
the design and assurance of dependable systems.
Dr. Rushby is a member of the IEEE, the Association for Computing Machinery,
the American Institute of Aeronautics and Astronautics, and the American
Mathematical Society. He is a former associate editor for Communications
of the ACM, IEEE Transactions on Software engineering, and Formal Aspects
of Computing. He is the author of the (now rather outdated) chapter
on formal methods for the FAA Certification Handbook, and is a member
a National Research Council study on dependable software.
Prof. Sastry received his Ph.D. in 1981 from the University of California,
Berkeley. He was on the faculty of MIT as assistant professor from 1980–1982
and at Harvard University as a chaired Gordon Mc Kay professor in 1994.
He has held visiting appointments at the Australian National University
in Canberra, the University of Rome, Scuola Normale, and the University
of Pisa, the CNRS laboratory LAAS in Toulouse (poste rouge), Professor
Invite at Institut National Polytechnique de Grenoble (CNRS laboratory
VERIMAG), and a Vinton Hayes Visiting fellow at the Center for Intelligent
Control Systems at MIT. His areas of research are embedded and autonomous
software, computer vision, and computation in novel substrates such as
DNA, nonlinear and adaptive control, robotic telesurgery, control of
hybrid systems, embedded systems, sensor networks and biological motor
Lui Sha graduated with Ph.D. from Carnegie Mellon University in 1985.
He is a professor of Computer Science in University of Illinois at Urbana
Champaign. In 1998, he was elected as an IEEE Fellow "for technical
leadership and research contributions, which enabled the transformation
of real-time computing practice from an ad hoc process to an engineering
process based on analytic methods." He is currently a member of
the Executive Committee of IEEE Real Time System technical committee
and a member of the US National Academy of Science's study group on software
dependability and certification.
Oleg Sokolsky is a Research Assistant Professor with the Department
of Computer and Information Science at the University of Pennsylvania.
His main research interest lies in the application of model-driven and
formal development methods to medical devices and other safety-critical
Banavar Sridhar received the B.E. degree in electrical engineering from the Indian Institute of Science and the M.S. and Ph.D. in electrical engineering from the University of Connecticut. He worked at Systems Control, Inc., Palo Alto, Ca and Lockheed Palo Alto Research Center before joining NASA Ames Research Center in 1986. At NASA, Dr. Sridhar has lead projects on the development of automation tools for rotorcraft and other vehicles. Currently, he serves as Chief, Automation Concepts Branch managing research activities in Next Generation Air Transportation Technologies. His research interests are in the application of modeling and optimization techniques to aerospace systems. Dr. Sridhar received the 2004 IEEE Control System Technology Award for his contributions to the development of modeling and simulation techniques for multi-vehicle traffic networks and advanced air traffic system. He led the development of traffic flow management software, Future ATM Concepts Evaluation Tool (FACET), which received the NASA Software of the Year Award in 2006. He is a Fellow of the IEEE and the AIAA.
Andrew B. Steinberg
Dr. Simon Szykman is the Director of the National Coordination Office
(NCO) for Information Technology Research and Development (ITR&D),
and is responsible for the coordination of planning, budget, and assessment
activities for the Federal Networking and Information Technology R&D
Program (NITRD), which conducts fundamental research leading to technological
breakthroughs that advance the field of information technology. As NCO
Director, Dr. Szykman serves as Co-Chair of the Subcommittee on Networking
and Information Technology R&D of the National Science and Technology
Council (NSTC), and reports directly to the White House Office of Science
and Technology Policy and the NSTC. Dr. Szykman is also the Designated
Federal Official for the President's Information Technology Advisory
Committee, which is also supported by the NCO.
Dr. Szykman joined the National Coordination Office from the Department
of Homeland Security (DHS) Science and Technology Directorate, where
he served as the Department's first Director of Cyber Security R&D
since late 2003. In that role, he led the development of cyber security
R&D plans, programs, and budgets in support of the Department's mission.
He also served as Co-Chair of the NSTC's Critical Information Infrastructure
Protection Interagency Working Group, and led the development of the
Government's first interagency Federal Plan for Cyber Security R&D.
Dr. Szykman joined DHS after an 18-month assignment at the Office of
Science and Technology Policy (OSTP). In the role of senior policy analyst,
he served as OSTP liaison to the NCO and the NITRD Program. He worked
within OSTP to establish, and served as Co-Chair of, the High-End Computing
Revitalization Task Force (HECRTF), and covered other Internet-related
issues including cyber security.
Prior to joining OSTP, Dr. Szykman was a member of the technical staff
at the National Institute of Standards and Technology (NIST), where he
led a program component in Intelligent and Distributed Product Development,
and also served as a Program Manager and source evaluation board Technical
Chair in the Information Technology and Applications Office of NIST's
Advanced Technology Program.
Dr. Szykman received Ph.D. and Master of Science degrees from Carnegie
Mellon University, a Master of Engineering Management degree from George
Washington University, and a Bachelor of Science degree from the University
Don C. Winter
Dr. Zellweger has an extensive background in aviation system engineering
and design, research and development (R&D), system acquisition, R&D
management, and program management. He earned a Ph.D. (1971) in computer
science with a minor in cognitive psychology from the department of Applied
Mathematics at Harvard University.
In 1997 Dr. Zellweger was appointed Associate Provost for Graduate Programs
and Research at Embry-Riddle Aeronautical University, following a 25-year
career with the United States (US) Federal Aviation Administration (FAA).
At the FAA held a variety of research, operations research, system engineering,
and system acquisition positions. His last position was that of director
of the FAA Office of Aviation Research. He was responsible for FAA R&D
Policy and served as the FAA's spokesperson for research. He managed
the FAA's R&D program as well as the acquisition of $140M of security
equipment for major US airports.
At Embry-Riddle his primary job was to foster research activities throughout
the University, to build research partnerships with industry, government,
and academia and to strengthen Embry-Riddle's graduate programs. Dr.
Zellweger was also on the faculty of the Department of Computing and
Mathematics where he taught a graduate seminar entitled "Building
Safe Systems - Technical, Economic, and Political Perspectives."
Currently, Dr. Zellweger is on an assignment from Embry-Riddle to NASA
headquarters, as special assistant for aviation in the Office of Aerospace
Technology. Since 2003 he has been seconded by NASA to the interagency
Joint Planning Office for the Transformation of the Air Transportation
In 1984 he received the Department of Transportation Silver Medal for
his conceptual work on the replacement of FAA's air traffic control computer
systems. Dr. Zellweger became a member of the Senior Executive Service
in 1985. In 1996 Dr. Zellweger was honored with the US Government's Presidential
David von Oheimb
7 December, 2006
Please send website related questions to the website