Home | Pages for Grad Students

Bill Gardner / Research Pages

I am part of the Modeling & Design Automation Group in the Dept. of Computing & Information Science at the University of Guelph, Ontario, Canada.

Major themes
  • Design automation for embedded systems development based on formal models
  • Programming paradigms for high-performance computing based on formal models
  • Hardware/software codesign
    • Related courses
  • CIS*6090, Hardware/Software Co-design of Embedded Systems [ HTML ]
  • Reading course CIS*6650*03, Formal System Modeling with CSP [ HTML ]

    • Publications & downloads

    Click on the links under Project Names for access to papers and software.

    Topics

    Project Names

    Formal methods

  • CSP (Communicating Sequential Processes)
  • executable specifications
  • software synthesis
  • High Performance Computing

    • CSP++ webpage

    Pilot webpage

    R2D2C

    Embedded systems

  • rapid prototyping
  • FPD (field-programmable devices)
  • handheld/wearable landmine avoidance system

    • Residential Gateway

    MineAlert

     

    Computer science education

  • Hardware/software codesign
  • Object-oriented programming
  • Automated program testing via e-mail
  • Assessing group software projects

    • New courses

    E-cew autotester

    Teaching approaches

    R2D2C

    The Requirements-to-Design-to-Code project, of NASA's Goddard Space Flight Center, involves automatic code generation starting from a system description in the form of a "scenario." Scenarios are automatically converted to CSP traces, and then CSP specifications are inferred from the set of traces. When code is generated from the specifications, the preceding formal transformations will ensure that the code's behaviour is exactly that which was described by the input scenarios. In this approach, the formal notation is kept "under the hood," and users need not deal with it.

    Our contribution to this project offers a possible first phase, defining "scenario" for this specific purpose, and showing how scenarios expressed in our Scenario Notation Language can be automatically converted to CSP traces.

    Papers
  • John Carter, W.B. Gardner, "Converting Scenarios to CSP Traces with Mise en Scene for Requirements-Based Programming," Innovations in Systems and Software Engineering: A NASA Journal, Springer London, 2008, to appear in print, DOI 10.1007/s11334-007-0041-0. [ Springer "Online First" ]
  • J. Carter, W.B. Gardner, J.L. Rash, and M.G. Hinchey, "Mise en Scene: Scenario to CSP Trace Conversion for the Requirements to Design to Code Project," Technical Report TM-2007-214155, National Aeronautics and Space Administration, 2007.
  • John Carter, W.B. Gardner, "Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming," 31st Software Engineering Workshop (SEW-31), 3rd IEEE Systems and Software Week (SASW 2007), Baltimore, Mar. 3-8, pp. 41-50. [ PDF ]

    • Residential Gateway

    This work is in collaboration with the Telecommunication Group spearheaded by Shaowen Song in the Dept. of Physics & Computing at Wilfrid Laurier University, Waterloo, Ontario. SONET (synchronous optical network) over DWDM (dense wavelength division multiplexing) broadband access network is a mature technology that is used in the backbone of the telephone networks. Here, this architecture is extended to "the last mile" as the broadband access network, which is specially intended for future integrated or multiservices with full capability of home applications. In order to connect the users to the network as well as to the service providers, a special purpose network gateway, called residential gateway (RG), needs to be developed.

    An RG is an intelligent switching device providing symmetric bidirectional multiservices to home users. Each RG consists of the RG core, and the RG interface with Ethernet, video, audio, telephone and other home applications. The RG design was targeted for Xilinx Virtex II FPGA for rapid prototyping purposes.

    Papers
  • S.W. Song, J.D. Zheng, W.B. Gardner, "Prototyping a Residential Gateway Using Xilinx ISE," 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), Montréal, June. 8-10, p. 267-269. [ PDF ]

    • MineAlert

    The recent miniaturization of GPS receivers has made it possible to design a mobile "personal safety" system to help individuals avoid mapped landmines left over from previous conflicts. The handheld system continually compares the bearer's GPS-reported position with a compressed map of mined danger areas, sounding an alarm on approach.

    This project was created as an entry for the 2004 Computer Society International Design Competition under the theme "Making the world a safer place." The four-undergraduate team could not fully complete the prototype before the contest deadline, but work is continuing on the implementation with undergraduate research assistant Reinhard Kypke.

    Papers
  • T. Cornfield, Y. Gong, G. Rao, L. Yang, W. Gardner, "Handheld Landmine Avoidance System," IEEE Canada 18th Annual Canadian Conference on Electrical and Computer Engineering (CCECE `05), Saskatoon, May 1-4, pp. 905-910. [ PDF ]

    • Computer Science Education

    New courses
  • W. Gardner, R. Sutcliffe, and D. Ariel, "Refactoring the Teaching of Object-Oriented Programming," 5th Western Canadian Conference on Computing Education (WCCCE '00), Kamloops, Canada, May 2000. [ HTML ]
  • M. Serra and W.B. Gardner, "A First Course in Hardware/Software Codesign," 3rd Western Canadian Conference on Computing Education (WCCCE '98), Vancouver, May 1998, pp. 57-66. [ PDF ]
  • W.B. Gardner and M. Serra, "Introducing Hardware/Software Codesign in an Interdisciplinary Curriculum," Invited Talk, Symposium on Microelectronics Research & Development in Canada (MR&DCAN-98), Ottawa, June 1998. [ HTML ]
    • E-cew autotester
  • W. Gardner, "Automatic Testing and Submission of Student Programs via E-mail," 8th Western Canadian Conference on Computing Education (WCCCE '03), Courtenay, BC, Canada, May 2003, pp. 139-151. [ HTML ]
  • Current version of E-cew software [ zip ] described in above paper, including scripts and files for e-mail front end plus cew (component exerciser workbench) source code.
    • Teaching approaches
  • W. Gardner, "Assessing Individual Contributions to Group Software Projects," 8th Western Canadian Conference on Computing Education (WCCCE '03), Courtenay, BC, Canada, May 2003, pp. 33-50. [ HTML ]

    • Home | Pages for Grad Students