Veranstaltungen und Messen
Fraunhofer-Institut für Experimentelles Software Engineering IESE
Das Fraunhofer IESE ist fortlaufend bemüht, eine Quelle topaktuellen Wissens im Bereich Software und Systems Engineering zu sein. Als Teil dieser Bemühungen bieten wir in Zukunft eine Reihe von „Distinguished Lectures“ in Kooperation mit dem Fachbereich Informatik der TU Kaiserslautern an.
Unter dem Motto “Highlights and Trends in Software and Systems Engineering” finden ab Juni 2013 regelmäßig, 4-6 mal jährlich, am Fraunhofer IESE Vorträge von renommierten Experten auf verschiedenen Gebieten statt.
Zu allen Vorträgen ist das interessierte Publikum herzlich eingeladen.
Der Besuch der Vorträge ist kostenlos, jedoch wird um Anmeldung gebeten.
Gordon Blair (Lancaster University)
“Revisiting Interoperability: The Case for Emergent Middleware“
Starting Time: 5 p.m.
Abstract: Interoperability is a fundamental property in distributed systems, referring to the ability for two or more systems, potentially developed by different manufacturers, to work together, including the ability to exchange and interpret action requests and associated data sets. Over the history of distributed systems, a number of interoperability solutions have emerged both in terms of proposed standards for interoperability and solutions to bridging between standards.
Distributed systems have, however continued to evolve and we particularly note two important trends: the dramatically increasing level of heterogeneity coupled by the increasing dynamism in contemporary distributed systems. The emergence of mobile computing has been a major factor behind these trends (as has other areas such as ubiquitous computing and cloud computing). The end result is that it is very difficult to achieve interoperability in any systematic way. Indeed, we can say that distributed systems are in crisis with no principled solutions to interoperability for such complex and dynamic distributed systems structures. This talk discusses the problems of achieving interoperability in the complex distributed systems of today, and highlights the role of emergent middleware as a possible solution to this problem. Emergent middleware is an interoperability solution whereby the required connectivity is generated at run-time to match the current context and requirements. This represents significant research challenges related to, for example, discovering and learning protocols and services at run-time, at various levels of the systems architecture, the dynamic synthesis of appropriate solutions, and the monitoring of the resultant infrastructure to ensure it achieves the desired effect.
The talk also considers the potential role of ontologies in supporting meaning and reasoning in the above processes. The talk will conclude with considerations of how this approach can be extended to achieve other properties including key non-functional requirements of an interconnection.
Note that this talk is based on research carried out in the Connect project, a European collaboration funded under the Framework 7 Future and Emerging Technologies Programme (Proactive Theme on ICT Forever Yours): http://www.connect-forever.eu.
Biography: Gordon Blair is a Professor of Distributed Systems in the School of Computing and Communications at Lancaster University and is also an Adjunct Professor at the University of Tromsø in Norway. He has published over 280 papers in his field and is on the PCs of many major international conferences in middleware and distributed systems. He is also chair of the steering committee of the ACM/ IFIP/ Usenix Middleware series of conferences. His current research interests include distributed systems architecture, middleware (including reflective and adaptive middleware), model-driven engineering techniques applied to adaptive distributed systems, and the applicability of contemporary distributed systems technologies (including cloud computing) to environmental science. He is co-author of the highly successful book Distributed Systems: Concepts and Design by Coulouris, Dollimore, Kindberg and Blair with the 5th edition published in 2011. He is also Director of the HighWire Centre for Doctoral Training, a PhD programe taking a cross-disciplinary perspective on innovation as it relates to the digital economy, and is co-editor in chief of Springer’s Journal of Internet Services and Applications.
Prof. Dr. Dr. h. c. Manfred Broy (TU München)
“Seamless Modeling in the Development of Cyber-Physical Systems“
Starting Time: 5 p.m.
Abstract: Cyber-Physical Systems require more advanced modeling techniques to capture physicality including time and space, reliability in terms of probabilistic models, connectivity in terms of communication links. More advanced concepts are adaptivity, context awareness,interoperability, and autonomy. This requires a comprehensive integrated modeling framework for requirements specification, modeling of architecture, and tracing their relationships.
Biography: Manfred Broy is a full professor at the faculty of informatics at the Technische Universität München holding the chair for software & systems engineering. His research interests are in software and systems engineering comprising both theoretical and practical aspects. His current research interests are: System Development Processes and Tool Support, System Modelling, Requirements Engineering, Concurrent and Embedded Systems, Theoretical Foundation of Informatics, Quality, and Requirements Engineering, Systems Engineering, Cyber-Physical Systems.
Lionel Briand (University of Luxembourg)
“Scalable and Cost-Effective Model-Based Software Verification and Testing“
Starting Time: 5 p.m.
Abstract: Automating software verification and testing is a necessity for complex, time-constrained, and high-dependability software systems. Over the last decade, there have been many research efforts whose goal is to automate the software verification and testing process based on models of the system under test or its environment. Little of this research has made it to practice except for a few, well-publicised but limited cases.
In this talk, I will describe various attempts to make model-based testing and verification more scalable and practical, reflecting on ten years of collaborative research with the industry in various application domains. I will argue that coping with the scale and complexity of real systems often requires dramatically different approaches than what is commonly reported in the academic literature, showing once again the pervasive gap that exists between software research and practice. Among other things, I will illustrate how dedicated modelling, accounting for the specifics of the domain and the modelling objectives, combined with sophisticated search techniques, can help achieve scalability and practicality in a variety of contexts.
Biography: Lionel C. Briand is professor and FNR PEARL chair in software verification and validation at the SnT centre for Security, Reliability, and Trust, University of Luxembourg. Lionel started his career as a software engineer in France (CS Communications & Systems) and has conducted applied research in collaboration with industry for more than 20 years.
Until moving to Luxembourg in January 2012, he founded and was heading the Certus center for software verification and validation at Simula Research Laboratory, where he was leading applied research projects in collaboration with industrial partners. Before that, he was on the faculty of the department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, where he was full professor and held the Canada Research Chair (Tier I) in Software Quality Engineering. He has also been the software quality engineering department head at the Fraunhofer Institute for Experimental Software Engineering, Germany, and worked as a research scientist for the Software Engineering Laboratory, a consortium of the NASA Goddard Space Flight Center, CSC, and the University of Maryland, USA.
Lionel has been on the program, steering, or organization committees of many international, IEEE and ACM conferences. He is the coeditor-in-chief of Empirical Software Engineering (Springer) and is a member of the editorial boards of Systems and Software Modeling (Springer) and Software Testing, Verification, and Reliability (Wiley). He was on the board of IEEE Transactions on Software Engineering from 2000 to 2004.
Lionel was elevated to the grade of IEEE Fellow for his work on the testing of object-oriented systems.
He was recently granted the IEEE Computer Society Harlan Mills award for his work on model-based verification and testing. His research interests include: model-driven development, testing and verification, search-based software engineering, and empirical software engineering.
Jan Bosch (Chalmers University of Technology)
“Do as I Say; Not as I Do? From Requirement Engineering to Experimenting with Customers”
Starting Time: 5 p.m.
Following the presentation, we invite you to attend the Kaiserslautern Science Night from 7 p.m. to midnight.
Abstract: Asking users what they would like to have built is probably the worst question in the history of software engineering. Users don’t know what they want and it’s the engineer’s job to find this out. Answering this question requires a systematic approach to exploring a broad set of hypotheses about functionality that might add value for customers at different stages of development. The talk introduces the notion of Innovation Experiment Systems as a systematic method for optimizing the user experience of existing features, developing new features as well as developing new products. The method uses different techniques dependent on the stage of development, including pre-development, development and commercial deployment. In each stage, frequent customer involvement, both active and passive, is used to constantly establish and improve the user experience. The method is based on data from eight industrial cases and stresses the importance of speed and rapid iterations in development. The talk uses numerous examples from industry to illustrate the concepts.
Biography: Jan Bosch is professor of software engineering and director of the software research center at Chalmers University Technology in Gothenburg, Sweden. Earlier, he worked as Vice President Engineering Process at Intuit Inc where he also lead Intuit's Open Innovation efforts and headed the central mobile technologies team. Before Intuit, he was head of the Software and Application Technologies Laboratory at Nokia Research Center, Finland. Before joining Nokia, he headed the software engineering research group at the University of Groningen, The Netherlands, where he holds a professorship in software engineering. He received a MSc degree from the University of Twente, The Netherlands, and a PhD degree from Lund University, Sweden. His research activities include open innovation, innovation experiment systems, compositional software engineering, software ecosystems, software architecture, software product families and software variability management. He is the author of a book "Design and Use of Software Architectures: Adopting and Evolving a Product Line Approach" published by Pearson Education (Addison-Wesley & ACM Press), (co-)editor of several books and volumes in, among others, the Springer LNCS series and (co-)author of a significant number of research articles. He is editor for Science of Computer Programming, has been guest editor for journal issues, chaired several conferences as general and program chair, served on many program committees and organized numerous workshops.
In the startup space, Jan serves on the advisory board of Assia Inc. in Redwood City, CA, as well as the advisory board of Burt, in Gothenburg, Sweden. He is chairman of the board of Evisto, in Gothenburg, Sweden. Also, he acts as an external business advisor for the School of Entrepreneurship at Chalmers University of Technology, Gothenburg, Sweden.
As a consultant, as a professor and as an employee, Jan has worked with and for many companies on innovation and R&D efficiency including Philips, Thales Naval Netherlands, Robert Bosch GmbH, Siemens, Nokia, Ericsson, Grundfos, Tellabs, Avaya, Tieto Enator and Det Norska Veritas. More information about his background can be found at his website: www.janbosch.com.
When not working, Jan divides his time between his family, a spouse and three sons, reading science fiction and sports, preferably long distance running, swimming, biking and horseback riding.
John A. McDermid (University of York)
“Agile Development of Safety-Critical Software:
Opportunities and Challenges”
Starting Time: 5 p.m.
Abstract: There are many attractions of agile software development, perhaps the primary one being the speed to produce useful software. Agile development has now become accepted as a “mainstream” development approach, and some of the initial limitations, e.g. using agile processes at scale, have now been addressed if not fully solved. There has been some interest in using agile processes on safety-critical software development, but there are apparent difficulties in producing the evidence needed for compliance with applicable safety standards. The seminar will consider opportunities for using agile approaches in safety-critical software development, the challenges of meeting the requirements of relevant safety standards, and possible ways of addressing those challenges.
Biography: John McDermid has been Professor of Software Engineering at the University of York since 1987. He set up the High Integrity Systems Engineering (HISE) research group in the Department of Computer Science and was Head of the Department from 2006 to 2012. HISE studies a broad range of issues in systems, software and safety engineering, and works closely with government and industry, e.g. Airbus, BAE Systems, the Civil Aviation Authority, the MoD, QinetiQ and Rolls-Royce. He is author or editor of six books and has published over 370 papers. He has advised companies and government departments on several continents, e.g. advising the US Nuclear Regulatory Commission (NRC) on software safety. He has set up and run a number of small companies, and became Chairman of Rapita Systems in January 2014.He was elected a Fellow of the Royal Academy of Engineering in 2002, and was made an Officer of the Order of the British Empire (OBE) in the 2010 New Year’s Honours list.
Neil Maiden (City University London)
“Requirements Engineering as Information Search & Idea Discovery”
Starting Time: 5 p.m.
Abstract: Creativity has been subject of considerable research over the last 60 years. This keynote will argue that most requirements work is creative but not recognised as such. It will summarise recent applications of creativity theories and techniques to requirements work, then posit the general case that most requirements activities involve information search and idea discovery, and hence can be characterised as creative. Requirements research reported over the 21 years of this conference series will be reframed using theories of creativity as information search and idea discovery to support this argument, alongside macro-economic drivers and the shifting landscape of computing and design disciplines and conferences. The keynote will end with a call for researchers and practitioners at RE@21 to reframe requirements work as creative endeavours.
Biography: Neil Maiden is Professor of Systems Engineering, Head of the Centre for Human-Computer Interaction Design and academic lead of the Centre for Creativity in Professional Practice at City University London. He received a PhD in Computer Science in 1992. He is and has been a principal and co-investigator on numerous EPSRC- and EU-funded research projects with a total value of £30 million. His research interests include establishing the requirements for complex socio-technical systems, scenario-based design and creativity in everyday work. Neil has published over 150 peer-reviewed papers in academic journals, conferences and workshops proceedings, and co-edited the book Scenarios, Stories and Use Cases. He was Program Chair for the 12th IEEE International Conference on Requirements Engineering in Kyoto in 2004 and chaired the Steering Committee of the IEEE Requirements Engineering Conference Series from 2010-2012. He is on the Editorial Boards of the IEEE Software and Requirements Engineering Journal. He was Editor of the IEEE Software’s Requirements column from 2005 to 2013. His details are available at http://www.city.ac.uk/informatics/school-organisation/centre-for-human-computer-interaction-design/people/prof-neil-maiden.