You can now (...)
|photo by François Many|
Dr. Christophe Aussaguès is responsible of a joint research team between the Embedded Real-Time Systems Laboratory and Krono-Safe, a startup of the lab, for the industrial transfer of the PharOS kernel and its tool-chain, offering for embedded systems time triggered and event triggered operation support, spatial and temporal protection, error confinement and dual-core support. He received his engineer diploma in 1995, his PhD in computer science from the “Université de la Méditerranée” in 1998 and joined the OASIS team at CEA in 1999.
He has contributed to the OASIS technology, a complete code generation tool suite with a dedicated real time kernel for safety-classified systems, that was transferred to Areva NP and that is currently in use in the nuclear industry. CEA senior expert in software architecture of embedded systems, his current research interests include methods and tools for the design, realization and validation of parallel, real-time and safety-oriented systems. Since 2010, he has been designated as CEA LIST representative in the AUTOSAR consortium, an open and standardized automotive software architecture, where he actively participates in the architecture and functional safety work packages.
Albert Benveniste graduated from Ecole des Mines de Paris. He has been associate professor in mathematics at Universite de Rennes I. From 1979 to now he has been Directeur de Recherche at INRIA.
His interests include: system identification and change detection in signal processing and control (until 1995), vibration mechanics, reactive, real-time, and embedded systems design in computer science, and network and service management in telecommunications with emphazis on distributed systems. He has coauthored the book "Adaptive Algorithms and Stochastic Approximations", and has been an editor of the collective monograph "Detection of abrupt changes in signals and systems". He has been co-inventor of the synchronous language Signal for reactive systems design in computer science; he is now a recognized contributor to the topic of formal methods for heterogeneous distributed reactive systems in computer engineering. Since 1996, he has been active in distributed algorithms for network and service management in telecommunications, where he has contributed to distributed fault diagnosis. His current interests include: vibrations mechanics, component and contract based design of embedded systems, real-time architectures, network management, Quality of Service management of Web services, and distributed active XML documents.
In 1980 Albert Benveniste was co-winner of the IEEE Trans. on Automatic Control Best Transaction Paper Award fo his paper on blind deconvolution in data communications. In 1990 he received the CNRS silver medal and in 1991 he has been elected IEEE fellow. In 2008 he was winner of the Grand Prix France Telecom of the french Academy of Sciences. From 1986 to 1990 he was vice-chairman of the IFAC committee on Theory and was chairman of this committee for 1991-1993. He has been or is Associate Editor (at Large) for IEEE Transactions on Automatic Control, Associate Editor for Int. J. of Adaptive Control and Signal Processing, and Int. J. of Discrete Event Dynamical Systems. He is currently member of the Editorial Board of the Proceedings of the IEEE. From 1994 to 1996 he has been Senior Chief Scientist at Inria. From 1997 to 2001, he has been chairman of the "software chapter" of the RNRT funding programme of the french ministeries for research and telecommunications, for telecommunications. Since 1997, he has been responsible for INRIA of the joint Alcatel-INRIA research programme and is now chief scientist of the joint Bell Labs-INRIA research lab. He is member of the scientific board of INRIA, in charge of embedded systems area. He has been member of the advisory board of T-Source, a venture capitalist specialist in seed capital for the telecommunications sector. He is a member of the scientific advisory boards of SAFRAN Group and France Telecom. Since June 2011, he is co-heading the Center of Excellence (Labex) CominLabs in the area of telecommunications and Information systems. He has been elected to the Académie des Technologies in december 2011.
Jim Woodcock is Professor of Software Engineering at the University of York. His current research interests include: industrial-scale software engineering, formal methods and the Verified Software Initiative, and systems of systems. He works in both theory and practice, and his industrial applications have included transaction processing systems, novel file stores, smart cards, railway signalling, and nuclear reactor secondary protection systems.
He co-chairs with Andrew Ireland the nomination committee for the prestigious Microsoft Verified Software Milestone Award. He is a member of IFIP WG 2.3 on Programming Methodology, and the chair of IFIP WG 1.9/2.15 on Verified Software. He is a Fellow of the UK Royal Academy of Engineering and a Fellow of the British Computer Society.