|
2nd International Workshop on Aerospace Software Engineering
(AeroSE 08)
Assurance and Autonomy: Challenges for the Future
May 17-18, 2008
Leipzig, Germany
in conjunction with the 30th International Conference on Software Engineering (ICSE 2008)
Register for the Workshop at ICSE Registration (available later)
Note - You will be able to register
for the workshop without registering for the main conference.
Goal and Motivation
The goal of the 2nd International Workshop on Aerospace Software Engineering (AeroSE 2008) is
to bring together software engineering and aerospace engineering researchers and practitioners to
exchange theories, ideas, techniques, and experiences related to two challenges facing the field:
(1) how to produce assurance cases based on convincing evidence; and (2) how to accommodate unmanned
air systems without compromising airspace safety. In particular, we aim to address and seek
contributions in the following areas:
- Formal Methods in Aerospace: Issues in Practical Application.
- Safety/Assurance Cases in Aerospace Systems. What Evidence Can We Trust?
- Security Considerations in Aerospace Systems
- Tools and Techniques for Unmanned Air Systems
Format
The workshop will be highly interactive and focused on the sharing of problems and
ideas, and on progressing towards a shared vision of research goals. We plan two invited
presentations, six paper presentation and discussion sessions, and two focused discussion sessions.
Submission
The workshop seeks contributions from the broadest span of aerospace software application areas.
We are soliciting research and experience papers that focus on tools and methods for the effective modeling,
analysis, development and maintenance of aerospace software; methods and tools for effective team and project
management; and novel aerospace systems and applications. The workshop will accept both full papers describing
preliminary research results (8 pages) and position papers addressing innovative or controversial topics
(4 pages); all accepted papers will be presented at the workshop. All papers must conform to
ICSE 2008 conference
guidelines and be submitted via email to
Mats Heimdahl.
31 January, 2008
Submission of workshop papers
10 February, 2008
Notification of acceptance
21 February, 2008
Camera-ready papers due
Workshop Organizers
Mats Heimdahl
(University of Minnesota, USA), and John
Knight (University of Virginia, USA)
Program Committee (additional members TBD.)
- Kelly Hayhurst, NASA Langley, U.S.A.
- Tim Kelly, University of York, U.K.
- Keith Harrison, Ebeni Inc, U.K.
- Robin Bloomfield, Adelard, U.K.
- Robyn Lutz, Iowa State University, U.S.A.
- Betty Cheng, Michigan State University, U.S.A.
- Darren Cover, Rockwell Collins Inc. U.S.A.
- Mike Whalen, Rockwell Collins Inc. U.S.A.
- Martyn Thomas, CBE FREng U.K.
|
