Gabriel A. Wainer - Professor

You are here: gabriel_wainer » shared » extendedbio

Contact

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
shared:extendedbio [2012/07/06 12:23]
wainer 		shared:extendedbio [2022/01/19 19:12]
wainer [Research]
Line 4: Line 4:
  
 ====== Research ====== ====== Research ======
 +Prof. Wainer started his research career in the field of Real-Time (RT) Operating Systems (OS) and RT scheduling in 1993 at the University of Buenos Aires, Argentina. With limited resources and self-supervised, his research focused on scheduling algorithms and services implemented in the first open-source version of an RTOS (called RT-Minix). These results were published in 16 research papers and a book. Shortly after, these ideas were followed by other researchers, leading to the development of the initial versions of RT-Linux (the first RTOS kernels used and cited our work, which was unique in 1993 when Linux and open-source software were still in their infancy). RT Linux kernels evolved, and work derived from his original research were included in Wind River Systems RTOS. His approach continues to be used and cited, and there have been Real-Time Minix projects based on the concepts Prof. Wainer invented in the '90s until 2020 (e.g. [Mancina, A., Tanenbaum, A.S. et al (2009). Real-Time Systems, 43, 177-210] [L. Kumar K.J, (2019). doi.org:10.47164/ijngc.v10i3.163]).
  
-Prof. Wainer started research in 1993, working in Real-Time (RT) Operating Systems (OS) and RT scheduling. With very limited resources and self-supervised, he was able to define new RT scheduling algorithms, and included these (and other RT techniques) in the first existing RT version of an open-source OS (RT-Minix). These results were published in various papers and a book. These ideas were used shortly after by other researchers in the field, leading to the development of the first versions of RT-Linux. Fifteen years after, my original approach continues to be used and cited, and new Real-Time Minix projects based on the concepts I defined almost 20 years ago have started in the last few years.+Since 1996, he contributed to the field of Modeling and Simulation (M&S), introducing Cell-DEVS, a formalism that reduces the complexity of the development of models of physical systems while increasing the speed of their simulations. Prof. Wainer also defined new high-level languages and their mapping into DEVS (a formal Discrete-Event Specification formalism) and Cell-DEVS. This includes the ATLAS traffic language, Petri Nets (timed, colored), Layered Queuing Networks, Timed Automata, Finite State Machines, Bond Graphs; and even a generic environment based on Modelica. This approach allows defining formal models that are discrete-event, spatial, continuous or hybrid, and can be easily combined and reused. Cell-DEVS has been included in different tools. We defined and implemented our own open-source tool, CD++/Cadmium. Cell-DEVS was extended by his students to define other spatial including Centroidal Particle Dynamics and the Tethered Particle System, which allow to define complex particle-based spatial models. CD++/Cadmium has been used to develop models in different domains: epidemiology, ecosystems, 5G wireless networks, resiliency, social interaction, pedestrian flow, architectural design, etc. The software has been used in universities for teaching and research, and in research projects with industry and government agencies (NRC, NRCan, Autodesk, Ericsson, Bentall Kennedy, and others). 
  
-Since 1996, he contributed to the field of Modeling and Simulation (M&S), introducing Cell-DEVS, a new formalism that reduces the complexity of the development of models of physical systems while increasing the speed of the simulations. His team also defined new high-level languages and their mapping into DEVS and Cell-DEVS formal models (ranging from the traffic language ATLAS; Petri Nets, Timed Automata, Bond Graphs; up to a generic environment based on Modelica). This allows defining and interconnecting formal models that are discrete-event, spatial, continuous or hybrid.+Prof. Wainer and his team defined varied algorithms to run these DEVS and Cell-DEVS models in multiprocessor and distributed architectures using varied middleware). The simulation engines now provide the means to run distributed simulations using Web-Services, Cloud and Fog middleware as well as parallel algorithms with high performance. Users can develop and test models in local workstations, submit them to a remote parallel simulator, receive, visualize, and analyze the results locally (using advanced visualization tools). Using distributed coordination algorithms, a model can be split and be simulated remotely in distributed fashion. We defined and built RISE, the first distributed simulation middleware built on RESTful Web Services.
  
-His group  built CD++, an open-source tool implementing DEVS and Cell-DEVS. CD++ has been used to develop numerous models in different areas: ecology (watersheds, fire spread), biomedical (heart tissue, nerve terminal), physics (flow injection, heat transfer), engineering (wireless networks, robot path planning), construction, traffic, etc. These results have been made available in multiple articles, an open source repository and website for the community (which has over 300 users). +He introduced the DEVStone synthetic benchmark and related tools, which became a de-facto standard to evaluate DEVS simulators and compare their performance from 2005 to this day. DEVStone provides a non-arbitrary method to evaluate the performance of discrete-event simulators by providing model sets with different characteristics, enabling the analysis of specific issues of simulation engines. DEVStone provides a synthetic mechanism for specifying objective ratings for DEVS-based simulators. DEVStone has been implemented in different DEVS tools by software designers to compare the quality of their simulation engines.
  
-The team also introduced varied algorithms to run these models in multiprocessor and distributed architectures (using varied middleware and OS). The  simulation engines now provide the means to run distributed simulations using Web-Services, and high-performance parallel algorithms for Cell-DEVS. Users can develop and test models in local workstations, submit them to a remote parallel simulator, receive, visualize and analyze the results locally (using the advanced visualization tools we built). +Prof. Wainer defined new methods based on modeling and simulation techniques to build RT model prototypes embedded in different platforms. The team defined and implemented a runtime executive integrating models with hardware surrogates (using Intel, ARM, Raspberry Pi and FPGA platforms). We also developed different versions running in multicore hardware, including prototype versions on Intel boards [J30]. We used these prototypes to define a bare hardware version of RT-DEVS models, which allows complete control of the models’ execution without interference of OS or middleware. 
  
-Different RT simulation algorithms were defined for DEVS models since the year 2000. We used these techniques to build RT model prototypes embedded in different platforms, and a runtime executive integrating models within hardware surrogates. We have recently started experiments with multicore hardware, including a prototype version on Intel IXP 2400 boards, and Cell-DEVS models on IBM’s Cell BE architecture.  +The quality of his contributions has also been acknowledged through his participation in a large number of program committees (over 120) and as an invited speaker in more than 80 tutorials, keynotes and invited seminars. 
- +
-His research at Carleton has focused on techniques for transforming simulation models into real-time systems. The  long-term goal is to reduce to a minimum the manual development of real-time software (a time consuming, error prone and expensive task), and the interfacing of these models with simulation software. These efforts have received support in approximately 1.5M$ from different funding agencies (NSERC, Precarn, CFI, OIT, CANARIE) and companies (IBM, HP, CMC, MDA, Intel). As a Co-PI Prof. Wainer participated in numerous research projects (with funding totaling over 30M$, from which approximately $1.1M have been directly spent for his  research). His students have always been successful in applying to numerous scholarships and awards, and they have obtained funding for their research in excess of 500K$.  +
- +
-The results of his research are reflected in numerous publications:\\ +
-- 35 Journal papers \\ +
-- 4 other Journal and Magazine articles \\ +
-- 4 books \\ +
-- 8 edited proceedings \\ +
-- 9 book chapters \\ +
-- 123 Refereed Conference Proceeding Papers \\ +
-- 61 Work-in-progress and other refereed papers +
- +
-In most of these papers, he has been the main author (or a co-author with his students, who co-authored many of these articles). He has published a number of papers in the Simulation, Practice and Experience (Elsevier), and in the Transactions of the Society for Modelling and Simulation (SCS). As Modeling and Simulation is a multidisciplinary field, he has published also in other areas: Transactions of Computational Systems Biology, Molecular Simulation, Mobile Networks and Applications; Software, Practice and Experience; Parallel Processing Letters, and Automation in Construction. His research contributions have received numerous citations (over 1,000, a large number in this research domain; he as been cited as Top-3 ranked Author in the field of Simulation -Last 10 years- by the Microsoft Academic Research site; February 1, 2011).  +
- +
-He has published and presented papers at some of the most prestigious conferences in Simulation worldwide. These include PADS, IEEE DS-RT, Winter Simulation Conference, the Annual Simulation Symposium and SPECTS. He has various publications in the Symposium on Theory of Modeling and Simulation (TMS/DEVS) and various conferences sponsored by SCS. He has  published in other areas, including IEEE Real-Time and Embedded Technology and Applications Symposium (Real-Time Systems); Simulation for Architecture and Urban Design, Intl. Conference on short and medium bridges (building simulation); High Performance Computing and Simulation, IEEE EMBS, CMBE (biomedical); AHDS (Analysis and Design of Hybrid Systems), International Conference of Web Services; Environmental Modeling and Software; International Conference in Compu-tational Science; Cellular Automata for Research and Industry (ACRI), and many others.  +
- +
-Up to date he supervised 2 Postdoctoral fellows, 6 Ph.D. and 47 Masters Students in total. Currently, he supervise 3 Ph.D., and 7 M. Sc. and 1 M.Eng. he has also supervised numerous visiting scholars. +
- +
-The quality of his contributions has also been acknowledged through his participation in a large number of program committees (over 120) and as an invited speaker in more than 50 tutorials, keynotes and invited seminars. +
  
 As a consequence of his research activity, he has received numerous awards, including: \\ As a consequence of his research activity, he has received numerous awards, including: \\
 +- Outstanding Professional Achievement Award by the Society for Modeling and Simulation International (SCS). 2020.
 +- IEEE Outstanding Engineering Award (Ottawa Section). “For innovative and outstanding contributions to the field of discrete-event modeling and simulation”. 2019.
 +- ACM Recognition of Service Award. In Appreciation for Contributions to ACM. 2018.
 +- Nepean’s Canada 150th Anniversary Medal. The medal was given in the 150 anniversary of Canadian Confederation to recognize people who have made a difference in the community or excelled in their professional life in the riding of Nepean, ON, Canada. 2017.
 +- Fellow, the Society for Modeling and Simulation International (SCS). 2016
 +- Carleton University Research Achievement Award. 2014.
 +- Carleton University 2012-3 Faculty Graduate Mentoring Award.
 +- Distinguished Professional Achievement Award by the Society for Modeling and Simulation International (SCS) “for his numerous citations in the field of discrete-event simulation”. 2013.
 - Outstanding Professional Award by the Society for Modeling and Simulation International (only 10 awards given since 1992). 2011. \\ - Outstanding Professional Award by the Society for Modeling and Simulation International (only 10 awards given since 1992). 2011. \\
 - The First Bernard P. Zeigler Modeling and Simulation Award, 2010.\\ - The First Bernard P. Zeigler Modeling and Simulation Award, 2010.\\