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 international 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 (Formal 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 focused 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 degree 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) Laboratory, 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 professor 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 CENELEC 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 Engineering 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 simulator 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 information 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 Certification, 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 Electronic 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 different 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. From 1998 to 2000 he was employed by DAVID ltd. Since 2002 he is working as scientific staff at the German Aerospace Center in the Department of Railway Systems of the Institute of Transportation Systems in Braunschweig. His main research is focused on the development of innovative methods for testing of the new European Train Control System ETCS. 451
About the Contributors
Johannes Feuser received the Dipl.-Ing. degree in electrical engineering from the University of Bremen, Bremen, Germany, in 2007. He is currently working toward the Ph.D. degree in computer sciences at the Research Group Operating Systems, Distributed systems of the University of Bremen. His research focus is the domain-specific modeling of safety-critical embedded real-time systems, especially train control systems. Before that he worked as scientist at Bremen University in the field of service robotics. Matthias Güdemann studied computer science and mathematics at the University of Augsburg. He completed his diploma thesis on optimization of automatic palletizing algorithms at KUKA AG in 2005. From 2005 to 2009 he worked as a researcher at the chair of software engineering and programming languages at the University of Augsburg on the topics of organic computing and safety analysis. He is currently finishing his Ph.D. thesis on “Qualitative and Quantitative Model-Based Safety Analysis”, which extends the existing approaches and allows for direct integration of quantitative aspects in formal models. Axel Habermaier studied software engineering at the University of Augsburg, the Technical University of Munich, and Ludwig-Maximilians-University Munich. He completed his master’s thesis on “The Model of Computation of CUDA and its Formal Semantics” in 2010. He is now a research assistant at the Institute for Software and Systems Engineering at the University of Augsburg, where he is working in the field of formal safety analysis techniques. Furthermore, he is continuing his research on the application of formal methods to the development of GPU-accelerated massively parallel programs. Malte Hammerl is born in 1980. He studied engineer of transport and transportation systems at the Technical University of Dresden and graduated in 2006. From 2006 to 2011 he was working as scientific staff at the German Aerospace Center in the Department of Railway Systems of the Institute of Transportation Systems in Braunschweig. His main research focus is the evaluation of railway specific working environments and the assessment of human reliability. In 2011 he has got his phd in engineering for his phd-thesis about the analysis of human factors and reliability in railways. Mark Hartong, PE Mark Hartong is a Senior Electronics Engineer in the Office of Safety of the Federal Railroad Administration (FRA), US Department of Transportation. The FRA is the regulatory and enforcement agency responsible for promoting safe and successful railroad transportation within the United States, and advancing the executive branch policies regarding freight and passenger rail. As an interdisciplinary electronics engineer, he serves as the agency’s senior technical authority with respect to the application of safety and security critical electronics and software for use in the railroad environment. He received his doctorate in Information Technology in 2009 from George Mason University. He also has a MSc in Software Systems Engineering with a Certificate in Information Systems Security, a MSc in Computer Science, and a BSc in Mechanical Engineering from George Mason University, the US Naval Postgraduate School, and Iowa State University respectively. Mark is also a Registered Professional Engineer. Anne Haxthausen is associate professor at DTU Informatics, Technical University of Denmark. She received the M.Sc.E. and Ph.D. degrees from DTU in 1985 and 1989, respectively. From 1988 to 1994 she worked at Dansk Datamatik Center and CRI A/S in Denmark, and then she returned to DTU. Haxthausen has more than 25 years of experience in theory and practice of formal methods for software
452
About the Contributors
development. She was one of the main investigators of several formal softwaremethods in the ESPRIT funded projects RAISE 1985-90, LaCoS 1990-94, and CoFI 1995-2004. Industrial applications of her research focus on safety-critical applications, especially for railways. She participated in the ESPRIT FMERail project 1998-99, and currently she is one of the key persons in the RobustRailS project concerning Robustness in Railway Operations, funded 2012-15 by the Danish Council for Strategic Research. Furthermore, she is a consultant for Rail Net Denmark and the Danish Transport Authority. Luigi Iannelli was born in Benevento, Italy, in 1975. He received the Master degree (Laurea) in computer engineering from the University of Sannio, Benevento, in 1999, and the Ph.D. degree in information engineering from the University of Napoli Federico II, Naples, Italy, in 2003. During 2002 and 2003 he visited, as a Guest Researcher, the Department of Signals, Sensors, and Systems, Royal Institute of Technology, Stockholm, Sweden. He was a Research Assistant at the Department of Computer and Systems Engineering, University of Napoli Federico II, and since 2004, he has been an Assistant Professor of automatic control with the Department of Engineering, University of Sannio, Benevento. His current research interests include analysis and control of switched and nonsmooth systems, and automotive control and applications of control theory to power electronics. Dr. Iannelli is a member of the IEEE and the SIAM. Nina Jellentrup is born in 1983. She studied Psychology at the University of Oldenburg and graduated in 2008. From 2008 to 2009 she was working research projects in Industry. From 2009 to 2011 she was working as scientific staff at the German Aerospace Center in the Department of Railway Systems of the Institute of Transportation Systems in Braunschweig. Her main research focus is the field of Rail Human Factors especially the development of rail specific interactive systems with good usability. She was involved in several usability projects with railway operators and manufacturers. Raffaele Malangone He graduated in electronic engineering in 2001 and attended a Master in Safety Critical System in 2004 . From 15/4/2002 he is working at RFI (Italian Railway Company) on Automatic Train Control project as system engineer on ETRMS and SCMT systems, in particular for the tests and the planning of manutenability, RAMS and for the formal languages specification. He has been member of the Italian Technical Commission for the putting in service of the High Speed Lines. He has also worked in 2001 in Aerospace Alenia Company. He is eternal member and professor at Salerno University for Transport Department and Author and co-author for many scientific international papers. Jaizki Mendizabal is a lecturer at Tecnun (University of Navarra, Spain), and a researcher in the Electronics and Communications Department at CEIT (Spain). He received his MSc and PhD degrees in Electrical Engineering from Tecnun in 2000 and 2006 respectively. He joined Fraunhofer IIS-A (Germany) from 2000 to 2002 and SANYO Electric Ltd (Japan) from 2005 to 2006 as RF-IC designer. He obtained his PhD in the field of monolithic RF design for GNSS systems. He currently works in CEIT where his research interests include GNSS and safety-critical systems for the railway industry. He has participated in more than 8 research projects, has directed 2 doctoral theses, is author or co-author of 1 patent and 22 scientific and technical publications in national and international journals and conferences and is the author of the book “GPS and Galileo Dual RF Front-end receiver and Design, Fabrication, & Test”.
453
About the Contributors
Juan Meléndez received MSc. and Ph.D. degrees from the Engineering School of University of Navarra (TECNUN), Spain, in 1998 and 2002 respectively. Since 1998 he has researched in the field of communication systems for several organizations such as Fraunhofer Institut fur Integrierte Shaltungen in Erlangen (Germany), Hitachi Semiconductors Europe Ltd. (United Kingdom), ABB Automation products (Spain), CAF (Spain), etc. Since 2006 he is in charge of the safety critical embedded system laboratory in CEIT. Currently he is also assistant professor of “Embedded systems for biomedical applications” and “Electromagnetic Compatibility” at TECNUN (University of Navarra). He is author and coauthor of two books, a patent and thirty articles in technical journals and international congresses. Jon Mendizabal Samper joined the Electronics and Communications Department of CEIT in 2007, where he is currently a PhD candidate. He received his M.S in Electronics Engineering, majoring in Communications, in 2007 from the University of Navarra (Spain). His research, as well as technical interest, is focused on safety software system design and development methods and tools. At present, he is participating in an ERTMS (European Rail Traffic Management System) project. He is also a teacher of Protocols and Software Engineering lecture. Michael Meyer zu Hörste is born in 1969. He studied mechanical engineering in at the Technical University of Braunschweig and graduated in 1995. From 1995 to 2001 he was working at scientific staff at the Institute of Control and Automation Engineering of the Technical University of Braunschweig in the field of railway safety. In 2004 he has got his phd in mechanical engineering for his phd-thesis about modelling and simulation of the generic behaviour of train control systems. Since 2001 he is working as scientific staff at the German Aerospace Center in the Department of Railway Systems of the Institute of Transportation Systems in Braunschweig. His main research focus is the European Train Control System (ETCS), the European Rail Traffic Management System (ERTMS), interlocking and train localisation. Vincenzo Mungiguerra was born in Napoli, Italy in 1960. He got the Laurea degree in Electronic Engineering at the University of Napoli in 1986. Since 1986 he worked with the Development Department at Ansaldo Trasporti, now AnsaldoBreda. He worked on propulsion control for heavy vehicles (loco E402A, ETR500, Emu Norway), in mass transit vehicles (Metro Milano, Metro Napoli, Metro Roma, Metro Madrid), LRV (Copenhagen), tram vehicles (Oslo, Birmingham), and trolley bus (Genova, Napoli). He contributed to the development of a simulator for the entire train propulsion system (from pantograph to wheel-track), integrated with a board simulator in which the real control software is implemented. From 2007 to 2009 he operated as system integrator for the control software of several train components of Metro Madrid (train control, propulsion control, pneumatic brake control and diagnostic unit). Form 2009 to 2010 he worked on electrical traction systems for mass transit applications, contributing to win the tender of Miami, Copenhagen 2nd generation and Honolulu. Since 2010 he coordinates the team dedicated to the development of control algorithms for propulsion and auxiliary converters. George Nikandros is an electrical engineer with over 33 years experience in the railway signalling industry. He was a foundation member of the Australian Computer Society’s National Technical Committee on Safety-Critical Systems when it was established in 1992; a committee which evolved into the Australian Safety Critical Systems Association in 2002. He chaired that association from its inception in 2002 until June 2010. He is a member of the Railway Technical Society Australasia and member of
454
About the Contributors
the Queensland chapter committee since its formation in 1998 and chaired that committee from 1999 to 2004. He is a Chartered Member of Engineers Australia, a Fellow of the Institution of Railway Signal Engineers, a Senior Member of the Australian Computer Society and member of the Risk Engineering Society. George has published papers and a co-author of the book “New Railway Environment – A multi-disciplinary business concept”. Frank Ortmeier studied mathematics and physics at the University of Augsburg. He received his diploma in 2001 and proceeded to work as a researcher at the chair of software engineering and programming languages at the University of Augsburg. He finished his Ph.D. thesis on “Formal Model-Based Safety Analysis” in 2005. From 2005 to 2009 he worked as post-doc at the University of Augsburg in various research projects, in particular organic computing, safety analysis, and robotics. Since september 2009 he is head of the chair of the Computer Science and Engineering group at the Otto-von-Guericke University of Magdeburg. Federico Papa was born in Genoa, Italy on January 25th, 1985. In 2009, he received the Laurea Degree in Transportation Engineering and Logistics with a dissertation on the design and the development of an innovative tool for assessing the security of rail infrastructures. Since 2010 he has been at University of Genoa as a grant holder for a research on critical analysis of systems to mitigate the risks related to vandalism and terrorism attacks to railway assets, in collaboration with Ansaldo STS SpA. Currently, he is a Ph.D. student and is involved in European research projects aiming to improve railway safety and security. Jan Peleska is professor for computer science (operating systems and distributed systems) at Bremen University in Germany. Before that he worked as Senior Software Designer and later on as department manager and consultant in the fields of fault-tolerant systems, distributed systems and database systems and, in particular, safety-critical embedded real-time systems. His habilitation thesis focusing on Formal Methods for the development of dependable systems was completed in 1995. He is co-founder of Verified Systems International GmbH, a company providing tools and services in the field of safety-critical system development, verification, validation and test. His research interests include formal methods for the development of dependable systems, automated model-based testing and V&V for safety-critical systems, with applications in the avionic, automotive and railway domains. Mario Porzio, was born in Napoli, Italy, in 1959. He received the Laurea degree in eletronic engineering from the Università di Napoli Federico II, Napoli, Italy, in 1983. He has been with Ansaldo Trasporti spa (now Ansaldobreda spa), Naples, Italy, since 1984, where he is currently a Senior Engineer. His main experiences are on power converter control for locomotives, both ac/dc and dc/dc power converter control, and induction motor control. His research interests include modeling of traction electrical and mechanical systems. Luca Pugi, born in 1974 in Florence, received the degree in mechanical engineering in 1999 from the University of Florence, Italy, and the Doctorate Degree in Applied Mechanics in 2003 from the University of Bologna, Italy. He is currently a Researcher in the Department of Energetics Sergio Stecco, University of Florence, Italy, where he is involved in design and simulation of mechatronic systems, mainly for vehicle applications collaborating with relevant industrial partners. Currently he teaches in courses of engineering concerning mechatronics and modelling of dynamical systems at University of
455
About the Contributors
Florence. He is also a consultant and a system developer for fluid-controlled mechatronic systems with specific emphasis on pneumatic and hydraulic braking plants. As VIS for brake and on-board vehicle subsystems (Italian Acronym for independent safety inspector-assessor) he is currently cooperating with Italcertifer SPA. He is the author or co-author of about 90 publications and winner of two awards from CIFI, the Italian association of railway engineers, and one gained at WCRR2011 (World Congress for Railway Research). As Reviewer Dr.Pugi has cooperated with journals of various organizations, including IEEE and IAVSD (International Association for Vehicle System Dynamics). Gabriella Reale was born in Campobasso, Italy, in 1983. She received the first level degree in Computer Engineering in 2006 and the second level degree in Automatic Control Engineering in 2008 from University of Sannio, Benevento, Italy. Since 2009 she has been an Assistant Researcher of Automatic Control with the Department of Engineering, University of Sannio, Benevento. Her research interests include automotive control, control of power electronic systems, rapid control prototyping and real-time hardware-in-the-loop techniques for railway applications. Wolfgang Reif is professor for software engineering at the University of Augsburg. He is dean of the Faculty of Applied Computer Science, and director of the Institute for Software and Systems Engineering. His research interests are software and systems engineering, safety, reliability and security, organic computing, and software-driven mechatronics and robotics. Prof. Reif is involved in numerous research projects both in fundamental as well as application oriented research. Clive Roberts is a Professor of Railway Systems at the University of Birmingham and Director for Railway Research for the Birmingham Centre for Railway Research and Education. Over the last 14 years he has developed a broad portfolio of research aimed at improving the performance of railway systems. He leads the University’s contribution in a number of large EPSRC, European Commission and industry funded projects. He works extensively with the railway industry in Britain and overseas. He currently leads a team of 11 research fellows and 16 PhD students. Neil Robinson is a Consultant and Director of RGB Assurance, providing engineering and management consultancy services in the area of safety-related and high integrity systems, and is an Adjunct Professor in the School of Information Technology and Electrical Engineering at The University of Queensland, Australia. Neil’s experience consists of 18 years in the area of safety-critical systems, including senior management roles with responsibility for assurance of System Safety, Verification and Validation, Occupational Health and Safety, Environment and Quality. Neil’s experience also includes system safety engineering, systems engineering, management and consultancy to clients in Rail, Defence and Oil and Gas and other industries. Neil is a Member of the British Computer Society and Chartered Engineer. Nicola Sacco was born in Borgosesia, Italy, on December 4th, 1976. He received the Laurea Degree in Electronic Engineering in 2000, and the Ph.D. Degree in Automatics and Computer Sciences for Transportation Systems in 2004, both from the Polytechnic of Turin, Italy. From 2004 to 2006, he held an Assistant Researcher position at Polytechnic of Turin and, and since 2006 he is Assistant Researcher at University of Genoa. His main research interests include theory, safety, and security of transportation systems, with particular attention to the performance and sensitivity analyses of car-sharing services,
456
About the Contributors
urban traffic, and freight transportation. The results of such research activity have been published into about 40 papers, both as conference proceedings and journal papers. Alessandro Savino received the MS degree in computer engineering and the PhD degree in information technologies from the Politecnico di Torino, Italy, where he has been a postdoc in the Department of Control and Computer Engineering since 2009. His main research topics are microprocessor test and software-based self-test. Fabio Senesi He graduated in electronic engineering and has a PhD in Applied Electromagnetism. He work for RFI since 1995 and is a specialist in Developing Train Command and Control Systems, Safety Assessment and Signalling Railway design and Requirements Specification. Actually he is responsible of the Automatic Train Control Project for the Italian Signalling Systems. Previously he has also been Coordinator of sector Inspectorate and Control at ANSF Vice Coordinator of Sector Technical Standards at ANSF (National Safety Agency for Railway in Italy). He is an active member of European Railway Agency and of the Italian Railway Safety Agency. He has followed as responsible respectively of the Commission for the acceptance of Electronic Interlocking of Roma Termini Station (1996-1999) and ETCS Level 2 for Italian High Speed Lines (2002-2009). He has been Vice-president of the Commission for the Safety Acceptance of the all High Speed and responsible for development and homologation of many systems/products. Gerhard Schellhorn studied Computer Science at the University of Karlsruhe. He got his PhD from the University of Ulm in 1999 on the topic of “Verification of Abstract State Machines”. Since 2000 he is working as a senior researcher at the Institute for Software and Systems Engineering at the University of Augsburg, where he leads the formal methods group. His main interests are software engineering, formal specification and verification of software systems as well as safety and security analysis. Joseph Silmon studied a Masters in Electronic and Electrical Engineering at the University of Birmingham. During this course he spent 13 months on exchange at the University of New South Wales, Sydney, Australia. Joe’s specialisations at undergraduate level were primarily in power electronics and energy systems. Joe graduated in 2004 with a II(i) and started work in August of that year with the Mainline & Metros division of Bombardier Transportation, at Derby Carriage Works.After 1 year as a graduate engineer Joe chose to return to university to take up a research studentship, working on a Ph.D. thesis entitled “Operational industrial fault detection and diagnosis: railway actuator case studies”. This work aimed to develop previous research on fault detection for low-cost, high-population assets such as railway switches, train doors and level crossing barriers, with intuitive methods which could aid maintenance staff in targeting their work in time to avoid costly in-service failures. The thesis was successfully defended in October 2009 and Joe graduated with a Ph.D. on 11th December of the same year. During 2008, Joe worked on the European Commission projects SELCAT and Innotrack in parallel with the final touches of his Ph.D. He became a contracted member of University staff in March 2009, funded by the InfraGuidER project which aims to produce environmental guidance for railway infrastructure managers. Joe’s role in all of these projects has been as a systems modeller and analyst.
457
About the Contributors
Paul Strooper is the Head of School and a Professor in the School of Information Technology and Electrical Engineering at The University of Queensland. He received the BMath and MMath degrees in Computer Science from the University of Waterloo, and the PhD degree in Computer Science in 1990 from the University of Victoria. His main research interest is Software Engineering, especially software verification and testing, and model-based approaches to software development and verification. He has had substantial interaction with industry through collaborative research projects, training and consultation in these areas. He was one of the General Chairs for the 2010 Asia-Pacific Software Engineering Conference (APSEC) and the 2009 Australian Software Engineering Conferences (ASWEC), the program chair for APSEC in 2002 and ASWEC in 2004 and 2005. He is member of Steering Committees for ASWEC and APSEC, and a member of the editorial board of the IEEE Transactions on Software Engineering and the Journal of Software Testing, Verification and Reliability. Jörn Guy Süß received the Master of Computer Science from the Technical University Berlin in 1999 and worked as a software architect for several years before changing to academia. He is a research fellow at the University of Queensland. His research is focussed on model driven and generative approaches to software engineering, with a particular focus on the application of model constraint and transformation languages. Markus Talg is born in 1982. He studied mathematics at the Technical University of Braunschweig and graduated in 2009. Since 2009 he is working as scientific staff at the German Aerospace Center in the Department of Railway Systems of the Institute of Transportation Systems in Braunschweig. His main research is focused on the development of innovative methods for functional risk assessment, the analysis of the human influence on railway safety, authorisation issues and safety standards like CENELEC and the Common Safety Methods on risk evaluation and assessment. Francesco Vasca was born in Giugliano, Italy, in 1967. In 1995 he received the Ph.D. degree in Automatic Control from the University of Napoli Federico II. Since 2000 he is Associate Professor of Automatic Control at the University of Sannio, Benevento, Italy. His research interests include: analysis and control of switched systems (averaging, complementarity, dithering, real time hardware in the loop) with applications to power electronics; automotive control for transmissions and hybrid electric vehicles; simulation of manufacturing systems; formation control of multiagent systems. Since January 2008 he serves as Associate Editor of the IEEE Transactions on Control Systems Technology. Since 1994 he is a member of IEEE Control System Society and IEEE Power Electronics Society. Almir Villaro is a researcher in the Electronics and Communications Department at CEIT and a teaching assistant at TECNUN (University of Navarra). He received his M.S in Electronics Engineering, majoring in Communications, in 2007 from the University of Navarra (Spain). After developing security and localization on Wireless Networks at Telecom y Novatecno S.A., his research is presently focused on the development of Test strategies for Dependable Systems and Fault Injection for the Validation of Fault Tolerant Systems. He has participated in research projects in close collaboration with industrial partners and public authorities, and has published seven technical papers in international journals and conferences.
458
About the Contributors
Duminda Wijesekera is an associate professor in the Department of Information and Software Engineering at George Mason University, Fairfax, Virginia. During various times, his research interests have been in security, multimedia, networks, secure signaling (telecom, railway and SCADA), avionics, missile systems, web and theoretical computer science. He holds courtesy appointments at the Center for Secure Information Systems (CSIS) and the Center for Command, Control and Coordination (C4I) at George Mason University, and the Potomac Institute of Policy Studies in Arlington, VA. Prior to GMU he was at Honeywell Military Avionics, Army High Performance Research Center at the University of Minnesota, and the University of Wisconsin. His doctorates are in Computer Science and Logic from the University of Minnesota and Cornell University in 1997 and 1990 respectively. Kirsten Winter received the Ph.D. degree in computer science from the Technical University Berlin, Germany, in 2001. She currently holds a position as a research fellow at the University of Queensland, Australia. Her research interests includes the verification of software and hardware systems, mainly model checking, as well as formal modeling notations. Christian Wullems is a currently a postdoctoral researcher at the Cooperative Research Centre for Rail Innovation, Australia. He is currently leading a number of cooperative industry projects in the area of rail safety. He received his Ph.D. from the Information Security Research Centre at Queensland University of Technology, where he investigated the security of location acquisition systems including GNSS, and their use in safety and financially critical applications. Prior to his present appointment, Christian Wullems was the technical director of Qascom S.r.l., Italy and was responsible for the preparation and technical management of a number of European FP7 research projects focused on the development of anti-spoofing techniques for civilian GNSS receivers. His main research interests include the application of cryptography to location determination systems for authentication and access control, civilian antispoofing techniques for GNSS, communications security and GNSS in the context of rail / road safety.
459
