|Don Batory, University of Texas, US|
|Jeff Kramer, London Imperial College, UK|
|Patrick Rauhut, Airbus, Germany|
Computational design (CD) is a paradigm where program design and synthesis are computations. CD merges Model Driven Design (MDD) where program synthesis is accomplished by model transformations with Software Product Lines (SPL) where programs are synthesized by applying transformations called features. In this presentation, basic relationships between MDD and SPL are explored using the language of elementary mathematics. Categories are common structures found in MDD product lines.
Don Batory holds the David Bruton Centennial Professorship in the Department of Computer Sciences at The University of Texas at Austin. He received a B.S. (1975) and M.Sc. (1977) degrees from Case Institute of Technology, and a Ph.D. (1980) from the University of Toronto. He was a faculty member at the University of Florida in 1981 before he joined the University of Texas in 1983. He was an Associate Editor of IEEE Transactions on Software Engineering (1999-2002), Associate Editor of ACM Transactions on Database Systems (1986-1992), a member of the ACM Software Systems Award Committee (1989-1993; Committee Chairman in 1992), Program Co-Chair for the 2002 Generative Programming and Component Engineering Conference. He is a leading researcher on feature-oriented program development. Over the last ten years, he and his students have written 11 Award Papers for their work in automated and component-based program development. He has given numerous tutorials on Feature Oriented Programming, and is an industry-consultant on product-lines.
Why is it that some software engineers are able to produce clear, elegant designs and programs, while others cannot? Is it purely a matter of intelligence? What is the problem? One hypothesis is that the answer lies in abstraction: the ability to exhibit abstraction skills and perform abstract thinking and reasoning. Abstraction is a cognitive means by which engineers, mathematicians and others deal with complexity. It covers both aspects of removing detail as well as the identification of generalisations or common features, and has been identified as a crucial skill for software engineering professionals. Is it possible to improve the skills and abilities of those less able through further education and training? Are there any means by which we can measure the abstraction skills of an individual? In this talk, we explore these questions, and argue that abstraction and modelling are complementary partners: that abstraction is the key skill for modelling and that modelling provides a sound means for practising and improving abstraction skills.
Jeff Kramer is Dean of the Faculty of Engineering and Professor of Computing at Imperial College. He was Head of Department from 1999 to 2004. He was a principal investigator in the various research projects which led to the development of the CONIC environment for configuration programming and the Darwin architectural description language which is used in commercialised form by Philips for the software for high end television sets. His current research work is on behaviour analysis,the use of models in requirements elaboration and architectural approaches to self-managing adaptive software systems.
Jeff Kramer is a Chartered Engineer, Fellow of the IET, Fellow of the BCS, Fellow of the City and Guilds of London Institute, and Fellow of the ACM. He was program co-chair of the 21st ICSE (International Conference on Software Engineering) in Los Angeles in 1999, Chair of the Steering Committee for ICSE from 2000 to 2002, associate editor and member of the editorial board of ACM TOSEM from 1995 to 2001 and is currently editor-in-Chief of the editorial board of IEEE TSE. He was awarded the IEE Informatics Premium prize for 1998/99 for a paper on Software Architecture, was winner of the Most Influential Paper Award at ICSE 2003, and was awarded the 2005 ACM SIGSOFT Outstanding Research Award for significant and lasting research contributions to Software Engineering. He is co-author of a recent book on Concurrency, co-author of a previous book on Distributed Systems and Computer Networks, and the author of over 200 journal and conference publications.
The early design phase of an aircraft is characterized by a large variation of studies in a short period of time. In order to support the variation of aircraft shapes, an approach is taken in which the different aircraft component models are defined by a limited set of parameters. The challenge lies in fulfilling numerous and partially conflicting engineering requirements. Models should be as flexible as possible so that virtually "any" aircraft shape can be represented, in parallel the model should address the needs of different engineering disciplines located on different sites and in different countries. On the other hand each engineering discipline re-quests simple models with the smallest set of parameters possible to address their specific need. Finally, aircraft design is not only geometric and interfaces with the numerical world need to be established. During this talk we will be exploring the challenges and identified solutions for abstracting the aircraft geometry in a set of parametric models that can be shared and commonly used; we will see how dedicated CAD tools support the engineer and how the geometric models can be linked with the numerical (e.g. systems) world.
Patrick Rauhut is a method and tools manager at Airbus Germany, with a focus on paramet-ric geometry modelling in the early phases of the aircraft design process. He received his M.Sc. degree in Aerospace Engineering from the Delft University of Tech-nology, the Netherlands. After his thesis he continued his studies on modelling of propeller slipstream effects on a single propeller aircraft, which results were published at an AIAA con-ference in 2003. Subsequently Patrick Rauhut worked at the German Aerospace Center (DLR), Institute of Aerodynamics and Flow Technology in Braunschweig, where he lead a DLR wide project for the development of an integrated preliminary sizing tool for transport aircraft. In his current position at Airbus Germany he works on harmonizing the parametric geometry-modelling in the early design phases, extending the parametric concept to later design phases and connecting the geometric and none geometric worlds.