WED 20/05 - 9.30 - 10.30 Room: Auditorium
Claudio Silenzi is responsible for electronic development in Ferrari F1. He graduated in Rome in Electronic Engineering, with a specialization in electronic systems and components. After several experiences in software development, he joined Magneti Marelli, where he has been involved in the development of electronic control units for race activities, and also in the development of firmware code. After several years as resident engineer and as software engineer in Ferrari F1, he joined the group in charge of the development of the Kers/Ers system for the Ferrari F1 cars. He has been involved in this role for seven years, taking in charge the responsibility of the design of several inverters, battery monitors and different control units used in the powertrain of the car, together with the software development. Currently he leads the hardware and software development in the Ferrari F1 electronic department.
Software Engineering in Ferrari F1
The software and hardware development in Ferrari F1 is characterized by a very short cycle time. Typically during the in-season development, the fixes and new developments need to be addressed in few days, in order to be ready for the following race. At the same time the hardware, like new electronic control units or new devices need to be developed from one year to the other. In this scenario the validation procedures are very critical, because of the need to achieve the same results in a shorter time.
Worcester Polytechnic Institute
THU 21/05 - 9.30 - 10.30 Room: Auditorium
Susan Landau is Professor of Cybersecurity Policy in the Department of Social Science and Policy Studies at Worcester Polytechnic Institute. Landau has been a senior staff Privacy Analyst at Google, a Distinguished Engineer at Sun Microsystems, a faculty member at the University of Massachusetts at Amherst and at Wesleyan University. She has held visiting positions at Harvard, Cornell, and Yale, and the Mathematical Sciences Research Institute. Landau is the author of Surveillance or Security? The Risks Posed by New Wiretapping Technologies (MIT Press, 2011), and co-author, with Whitfield Diffie, of Privacy on the Line: The Politics of Wiretapping and Encryption (MIT Press, 1998, rev. ed. 2007). She has written numerous scientific and policy research papers, as well as op-eds on cybersecurity, and has testified in Congress on these issues. Landau currently serves on the Computer Science Telecommunications Board of the National Research Council. A 2012 Guggenheim fellow, Landau was a 2010-2011 fellow at the Radcliffe Institute for Advanced Study and the recipient of the 2008 Women of Vision Social Impact Award. She is a fellow of the American Association for the Advancement of Science and the Association for Computing Machinery. She received her BA from Princeton, her MS from Cornell, and her PhD from MIT.
Mining the Metadata — and Its Consequences
Traditionally metadata, the who, when, where of a phone call, the IP address, time, date of an Internet connection, has been viewed as deserving of less privacy than the contents of the communication. But ubiquitous computing and communication has changed that equation, and such transactional information has become increasingly revelatory. In this talk, I will discuss how metadata is used in all sorts of investigations, from malware to malfeasance. I will also discuss how the ubiquity of metadata must mean a change in our approaches to it.
FRI 22/05 - 11.00 - 12.30 Room: Ground Floor
Grady Booch is Chief Scientist for Software Engineering at IBM Research where he is currently engaged in the architecting of cognitive systems encompassing both IBM's Watson as well as non-von Neumann platforms. Grady is also developing a major transmedia documentary for public broadcast on the intersection of computing and the human experience. Booch is an IBM Fellow, an ACM Fellow, an IEEE Fellow, and on behalf of the BCS has been awarded the Lovelace Medal and given the Turing Lecture. Author of six books, Grady wrote the long-running column "On Architecture" and now writes "On Computing" for IEEE Software; over his career he has published hundreds of technical articles and has lectured and consulted around the world. Co-author of the Unified Modeling Language, Grady has helped with the architecture of complex software-intensive systems in most every domain imaginable.
The Future of Software Engineering
No matter what future we may envision, it relies on software that has not yet been written. Even now, software-intensive systems have woven themselves into the interstitial spaces of civilization, and we as individuals and as a species have slowly surrendered ourselves to computing. Looking back, we can identify several major and distinct styles whereby we have built such systems. We have come a long way, and even today, we certainly can name a number of best practices for software development that yield systems of quality. However, by no means can we stand still: the nature of the systems we build continues to change, and as they collectively weave themselves into our live, we must attend not only to the technical elements of software development, we must also attend to human needs. In this presentation we will look at the history of software engineering and offer some grand challenges for the future.
THU 21/05 - 8.30 - 9.30 Room: Auditorium
Gerard J. Holzmann
NASA / JPL
Gerard J. Holzmann received his PhD from Delft University in The Netherlands. He joined AT&T Bell Laboratories shortly thereafter as a researcher in the Computing Science Research Center in Murray Hill, NJ. At Bell Labs he designed and build the Logic Model Checking tool Spin, which today, 25 years later, remains one of the most widely used formal software verification tools. In 2003 Dr. Holzmann moved from Bell Labs to NASA's Jet Propulsion Laboratory where he started a new Laboratory for Reliable Software (LaRS). Holzmann was elected to the US National Academy of Engineering.
The Power of Swarms
I'll discuss a cloud-based software verification approach that is remarkably effective in locating design and coding errors in complex multi-threaded code, as it is, for instance, used in safety critical embedded systems. The power comes from the use of large numbers of independently executing, small, and randomly different search engines that use sophisticated logic model checking algorithms to home in on, what are often, unsuspected failure modes of a system.