Differences

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

--- shared:extendedbio [2012/07/06 12:08]
wainer
+++ shared:extendedbio [2022/01/19 19:12]
wainer [Research]
@@ Line 4: / Line 4: @@
 ====== 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]).
-His research at Carleton focuses 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$.
+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).
-The results of his research are reflected in numerous publications:\\
+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.
-- 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 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.
-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.
+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.
-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 80 tutorials, keynotes and invited seminars.
-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: \\
+- 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. \\
 -	The First Bernard P. Zeigler Modeling and Simulation Award, 2010.\\
@@ Line 52: / Line 52: @@
 He has  also been invited to be the External Examiner of 13 Ph.D. theses, and he has evaluated numerous projects in Europe, Canada and Latin America.

Gabriel A. Wainer - Professor

Index

Contact

Differences