Guillem Bernat (Sistemas de Tempo Real)
Talk: " Probabilistically Analysable Hard Real-Time Systems"
Abstract: This talk provides answers to the question "what is the probability of this task, running on a new generation embedded multicore processor, exceeding its 10ms budget?". The increased complexity of safety-critical real-time systems makes them harder and harder to analyse. The pace of hardware development (multilevel caches, multicores, manycores, etc) and software complexity is much faster than timing analysis techniques and tools, thus opening a void in the verification of next generation systems. The PROARTIS approach is a "game changer" that bridges this gap. The hypothesis is that by randomising the timing behaviour of components across the system (from hardware to software) the resulting timing behaviour does fall into the assumptions needed by statistical methods (for example "independence" and "identical distribution") and therefore standard statistical techniques can be applied to the analysis of timing behavior of systems. The result is that accurate predictions of the probability of exceeding a given time budget with very low probabilities (e.g. 10E-12) are possible. This talk motivates the problem, provides an insight of different hardware and software randomisation techniques and the describes the tools being developed at Rapita Systems that can enable the analysis of systems that are randomised. (PROARTIS, and its successor PROXIMA, are European funded projects under the Framework 7).
Bio: Dr. Guillem Bernat received his PhD in Computer Science from the Universitat de les Illes Balears in 1998. In 1999 he moved to the University of York in the UK where he took a lecturing position at the Computer Science Department. In 2004 he founded Rapita Systems Ltd. To commercialise a toolset for measurement based worst-case execution time analysis. The company has now grown to 25 staff and sells its tools for on-target verification of real-time embedded systems across the world. Dr. Bernat is acknowledged as one of the world's leading experts on worst-case execution time analysis. He is a major contributor to the theory of probabilistic timing analysis for real-time systems and the architect of the RapiTime tool-set. Dr. Bernat has published more than 80 papers in international conferences and journals.
David Culler (Sistemas Operacionais)
Talk: "Distributed Operating System Design in the CyberPhysical World"
Abstract: Over the past 15 years we have created a robust base of embedded networking technology to enable the 'macroscope' - the ability to observe complex interactions of physical systems over a substantial extent of space and time. Created to understand the ecophysiology of natural systems, this technology is finding many natural applications in the quest to improve the sustainability of the built environment. In this talk we explore the role of pervasive computing and communications in buildings - where, in the US, we spend 90% of our time, over 70% of our electrical energy, and nearly 50% of our GHG emissions. We examine how pervasive monitoring serves to identify waste and opportunities for energy efficiency; how diverse sources of physical information can be homogenized to enable an innovative application ecosystem; and how a building operating system and services can provide a foundation for advanced control techniques that operate in concert with external factors, such as energy availability and weather, and for personalized environmental conditioning. These techniques bear promise for technological advance in a range of important settings, including electric grids and transportation, and illustrate how cyberphysical settings can bring a fresh perspective on classical computer systems design issues.
Bio: Dr. Culler received his B.A. from UC Berkeley in 1980, and an M.S. and Ph.D. from MIT in 1985 and 1989, respectively. He joined the EECS faculty in 1989 and is the founding Director of Intel Research, UC Berkeley and the current Chair of the EECS Department. He is a member of the National Academy of Engineering, an ACM Fellow, and an IEEE Fellow. He has been named one of Scientific American's Top 50 Researchers and the creator of one of MIT's Technology Review's 10 Technologies that Will Change the World. He was awarded the NSF Presidential Young Investigator and the Presidential Faculty Fellowship. His research addresses networks of small, embedded wireless devices, planetary-scale internet services, parallel computer architecture, parallel programming languages, and high performance communication. It includes TinyOS, Berkeley Motes, PlanetLab, Networks of Workstations (NOW), Internet services, Active Messages, Split-C, and the Threaded Abstract Machine (TAM).
Wolfgang Schröder-Preikschat (Sistemas Embarcados)
Talk: Embedded Computing Systems in the Multi-Core Era
Abstract: Oversimplified, an embedded system is a computerized product in the broadest sense. Given such a very general interpretation, embedded systems appear almost everywhere in our life. This holds for any kind of consumer electronics, medical devices, or vehicles but also water- and aircrafts culminating in complex control systems for large industrial facilities or public services. From the technological point of view, embedded systems are assembled from varied-size micro-controllers, signal processors, common processors, or a mixture out of it. In most of these cases, multi-core technology founds the basis as a characteristic trait that can hardly be circumvented - much as one would like. In terms of hardware, the chips form a homogeneous or heterogeneous sphere of tightly coupled processing elements. The functional and, in particular, non-functional properties of these computing devices have an effect all the way bottom-up throughout the system software to the point of the application software. Engineering as well as re-engineering of software for such hardware is anything but easy, despite the numerous experiences that can be learned from parallel systems development of the past decades. The talk considers embedded systems, on the one hand, from the perspective of a special-purpose parallel system and, on the other hand, by taking the position of an operating-system engineer. General opportunities, problems, and challenges by the use of multi-core technology in that domain will be marked out. Difficulties in adopting legacy software are addressed, as well as the degree of transparency that can be expected, for example, from an operating system in order to aid this process. General focus is on embedded systems in the field of control systems, rather than consumer electronics, that have to operate under (soft, firm, hard) real-time constraints.
Bio: Dr. Wolfgang Schröder-Preikschat studied computer science at the Technical University of Berlin, Germany, where he also received his Ph.D. and venia legendi. After spending about ten years as a research associate and director of the system software department at the German National Research Center of Computer Science (GMD), Research Institute for Computer Architecture and Software Technique (FIRST), Berlin, Dr. Schröder-Preikschat became a full professor for computer science (computer networks and operating systems) at the University of Potsdam, Germany, in 1995. From 1997 to 2002 he was a full professor for computer science (operating systems and distributed systems) at the University of Magdeburg, Germany. Since 2002 he holds the professorship on distributed systems and operating systems at the University of Erlangen-Nuremberg, Germany. The main research interests of Dr. Schröder-Preikschat are in the domain of real-time embedded distributed/parallel operating systems. Dr. Schröder-Preikschat is member of ACM, EuroSys, GI, IEEE, and USENIX.
Dr. Marcelo José Ruv Lemes
Title: Software Considerations in Airborne Systems Certification: Current Issues and Challenges.
Abstract: The development of airborne software applications is not a simple task. The development rigor required for this kind of software is obtained by complying with aeronautical regulations. Recently the FAA recognized the revision C of the standard RTCA DO-178 as an acceptable means of compliance. The DO-178C brought clarifications regarding the previous revision and also guidance on the use of model based development, OOT and formal methods. This presentation aims to provide an overview about the airborne software approval process and highlight some aspects introduced with the new compliance standard adopted by aeronautical certification authorities.
Resumé: Marcelo José Ruv Lemes holds a PhD in System’s Safety from Polytechnic School of the University of São Paulo (Poli-USP). Has 30 years of experience working with software for space and aeronautical applications. Today, he is responsible for the coordination of the Embraer activities of software and programmable hardware certification with the aeronautical authorities.
Melinda Murdock and JoZell Johnson (INTEL)
Title - The INTEL Vision about the "Internet of Things"
Abstract: As the industry is positioning itself to the new computing paradigm, where we will have 15 billion devices connected to the network? Melinda brings a vision of how Intel sees this opportunity and what you need to know to be prepared for this wave.
Resumé: Melinda Murdock (Mindy), Business Alliance Manager in the Segments and Broad Market Division for Intel’s Intelligent Systems Group (ISG), is responsible for driving comprehensive go to market, ecosystem, and channel strategies to cultivate new business to grow the broad market for the internet of things.
Mindy joined Intel in 1995 into the one-year engineering, leadership rotation program for key engineering new college graduates brought into Intel. Upon completion of the program, Mindy started within Intel’s Embedded Intel Architecture group where she held various positions. Positions included Software Engineering, Applications Engineering, Platform Engineering, and Product Marketing. Mindy holds a Bachelor’s of Science degree in Computer Science from the Rochester Institute of Technology in Rochester, NY.
Title: Galileo - Making Creativity come to University
Abstract: Galileo is a new development board intel compatible with Arduino. With it, Intel strengthens its commitment to innovative and inventive people. JoZell will show how Intel is organizing for universities to work with these cards in the first year of engineering.
Resumé: JoZell Johnson is the Global Manager of the Intel® Higher Education program. She sets strategy and implementation plans for the global higher education program focusing on engaging the latest Intel technology in leading university curriculum worldwide.
Her areas of interest include developing the next generation of engineers and computer scientists to continue technology breakthroughs. Exploring new methods to engage all students to explore engineering careers and utilize technology is an ongoing passion.
She has held various positions within Intel, beginning with Single Board Computers Division (before the PC), Real Time Operating Systems Division, Intel Supercomputer and Intel Education. Within her roles at Intel Education she has worked extensively in the Higher Education area, developing technical and curricula programs, student programs and fostering direct relationships with Tier One Research Universities.
JoZell combines her undergraduate technical degree in Computer Science and her MBA to translate the technical aspects of her role and communicate them to others.