449 About the Contributors Francesco Flammini got with honours his laurea (2003) and doctorate (2006) degrees in Computer Engineering from the University Federico II of Naples. Since October 2003, he has worked in Ansaldo STS (Finmeccanica) on the safety and security of rail-based transportation infrastructures. He has taught Computer Science and Software Engineering as an Adjunct Professor at the University of Naples as well as seminars on computer dependability and infrastructure security in post-degree courses. He has co-authored several books and more than 50 scientific papers published in international journals and conference proceedings. He has served as the chairman, a PC member and an editor for several interna- tional conferences and journals. He is a Senior Member of the IEEE, an ACM Distinguished Speaker, and the Vice-Chair of the IEEE Computer Society Italy Chapter. He is also member of: the European Workshop on Industrial Computer Systems Reliability, Safety and Security (EWICS TC7), FME (For- mal Methods Europe) and ERCIM WG on Formal Methods for Industrial Critical Systems (FMICS). * * * Iñigo Adin is a researcher at CEIT. He received his MSc. Degree in Electronics Engineering in 2003 and his PhD in 2007 at the University of Navarra. From 2003 to 2007 he worked towards his PhD fo- cused on CMOS RF front-ends for multistandard wireless applications in the 5GHz U-NII band. Other projects in the field of RFICs have been the design of the ESD protection for a low power front end for EPSON. He is presently engaged in the design of a safety critical receiver for a ERTMS BTM for high speed trains and he is coordinating the EC FP7 project TREND (contract number 285259) - Test of rolling stock compatibility for cross-domain interoperability. He is author or co-author of 1 patent, 2 technical books and 19 articles in journals and conferences. He is also an associate professor at TECNUN (Engineering School of Universidad de Navarra) lecturing circuit electronics topics. Benedetto Allotta (S’90–M’92) was born in Agrigento, Italy, in 1963. He received the Laurea de- gree in mechanical engineering from the University of Pisa, Pisa, Italy, in 1987, and the Ph.D. degree in robotics from the Scuola Superiore Sant’Anna, Pisa, in 1992. From 1993 to 2001, he was an Assistant Pro-fessor of applied mechanics, □rst in the Advanced Robotics Technology and Systems (ARTS) Labo- ratory, and then in the Perceptual Robotics (PERCRO) Laboratory, Scuola Superiore Sant’Anna. From 1996 to 2000, he taught courses in the School of Engineering, University of Pisa. Since 1998, he has also been teaching courses at the University of Florence, Florence, Italy, where, since 2001, he has been an Associate Professor in the Section of Applied Mechanics, Department of Enegetics Sergio Stecco. He currently teaches courses in the area of automation and robotics. His current research interests include automation in transport systems, hardware-in-the-loop (HIL) simulation, control of robots, and mecha- About the Contributors tronics. He is the author or co-author of more than 120 publications, including 30 papers published in international journals. He is the holder of two international patents. He is also responsible for several research grants and contracts from public agencies as well as private companies for a total amount of some hundred thousand Euros per year. Silvio Baccari was born in 1975 in Benevento, Italy where currently he lives. He received the Master degree (Laurea’) cum laude in Computer Engineering from the University of Sannio in Benevento, Italy. Since 2009, He is a Ph.D. student in Information Engineering at the University of Sannio, Benevento, Italy. His current research interests include hardware-in-the-loop systems, Real Time Model Predictive Control with applications to power electronics and FPGA and Microcontroller based platforms for rapid control prototyping of high efficiency AC/DC and DC/DC switching converters for high brightness LED. Mr. Baccari is a student member of the IEEE Control Systems Society. Alfredo Benso received the MS degree in computer engineering and the PhD degree in information technologies, both from Politecnico di Torino, Italy, where he is working as a tenured associate profes- sor of computer engineering. His research interests include DFT, BIST, and dependability. He is also actively involved in the Computer Society, where he has been a leading volunteer for several projects. He is a Computer Society Golden Core Member, and a senior member of the IEEE. Jens Braband has obtained a doctorate degree in stochastic modeling from TU Braunschweig in 1992. He joined the Rail Automation business unit of Siemens AG as a safety expert and is currently Principal Expert for RAMSS. Since 1997 he is accredited as Independent Safety Assessor (ISA) by the German Federal Railway Office (EBA). In standardization he has contributed to may IEC and CEN- ELEC standards. He currently represents the European Railway Manufacturers Association UNIFE in safety-related matters at the European Railway Agency (ERA). In 2004 he was awarded a honorary professorship at TU Braunschweig in the field of “Risk and Safety Analysis of Transportation Systems”. Giulio Cammeo was born in Foggia, Italy. He received the Laurea degree in Computer Science Engi- neering on July 2005 from the University of Sannio, Benevento, discussing a thesis on formation control and collision avoidance in mobile agent system. Since 2005 until 2008 he has worked with the Group for Research on Automatic Control Engineering at the Department of Engineering of the University of Sannio. His major activity was focused on the hardware in the loop systems for testing of the electronic control units, also collaborating with companies for testing traction control units using a realtime simu- lator based on multi-cpu and fpga architectures. Since 2008 he is with Ansaldobreda, Napoli, working on traction control unit software for induction motors and permanent magnetic synchronous motors. Stefano Di Carlo received the MS degree in computer engineering and the PhD degree in informa- tion technologies from the Politecnico di Torino, Italy, where he has been an assistant professor in the Department of Control and Computer Engineering since 2008. His research interests include DFT, BIST, and dependability. He is a golden core member of the IEEE Computer Society and a member of the IEEE. Alessandro Fantechi has studied Computer Science at University of Pisa in the late seventies, with a scolarship at the Scuola Normale Superiore di Pisa, earning a Laurea Degree in Computer Science 450 About the Contributors at the University, together with the Diploma of the Scuola Normale, in November 1978. He has then conducted research in the field of Software Engineering, concentrating in the last twenty years on the applications of formal specification and verification methods. His main current research interests are on industrial applications of model checking and on formal aspects of product line engineering. He has been affiliated with IEI - CNR in Pisa, University of Pisa, and, since 1995, University of Florence, where he is full professor and teaches courses on Embedded Systems, Software Dependability and Theoretical Computer Science to Engineering students. He maintains research collaborations with ISTI - CNR in Pisa, and Paristech Telecom in Paris. He has maintained strict relations with industries as well, starting from his one year and a half early experience in Olivetti in the early eighties, and then within several research, teaching and consulting collaborations with main Italian companies, such as Ansaldo, Alenia, Altran, General Electric Transportation Systems and Italian State Railways, as well as several small and medium enterprises. Most of these companies are active in the fields of safety critical computer systems, and A. Fantechi have had hence the opportunity to mature a significant experience, in particular on the Ada programmming language, on the industrial applications of Formal Methods, on Software Certifica- tion, and in the railway signalling domain. He has partecipated to European research projects, namely PAPS (Portable Ada Programming System - 1981-82), AdaFD (Ada Formal Definition 1985-1987), LOTOSPHERE (1989-92), GUARDS (Generic Upgradable Architecture for Dependable Systems - 1996-99), MODTRAIN-MODCONTROL (2004-2008), Sensoria (2005-2009). He is member of AICA, FME, IFIP WG 6.1, and has been coordinator of the ERCIM FMICS Working Group from 2008 to 2011. Angela Di Febbraro was born in Ronco Scrivia, Italy, on November 23rd, 1963. She received the Laurea degree in Electronic Engineering in 1987, and the Ph.D. Degree in Computer Science and Elec- tronic Engineering in 1992, both from at the University of Genoa. She has been Assistant Professor at the University of Genoa, and from 1998 to 2005, Associate Professor at the Polytechnic of Turin, Italy. Since 2005 she is Full Professor of Transportation at the University of Genoa. Member of EURO Working Group on Transportation since 1996, she has been co-editor of different special issues of international scientific journals, and reviewer of both international scientific books, and papers submitted to differ- ent journals and periodic international conferences, especially for IEEE and IFAC. Her main research interests are in modeling, optimization, and control of freeway, interurban, and urban transportation systems, and of logistic systems. Christian Dufour received a Ph.D. degree from Laval University, Quebec, Canada in 2000. He joined Opal-RT Technologies in 1999 where he is the lead researcher in electric system simulation software. Before joining Opal-RT, he worked on the development of Hydro-Quebec’s HYPERSIM real-time simulator, as well as MathWorks’ SimPowerSystems blockset. His current research interests are related to algorithmic solutions for the real-time simulation of power systems and motor drives in RT-LAB, the real-time platform of Opal-RT Technologies. Lars Ebrecht Dipl.-Inform. Lars Ebrecht is born in 1974. He studied electrical engineering and computer science at the Technical University of Braunschweig and graduated in 2002.