Computer Science and Math research seminar

Nipissing’s department of Computer Science and Mathematics hosts a research seminar, titled Finite automata for software modelling, with Dr. B.J. Schreyer on Friday, February 6, from 9:30 – 11 a.m. in room A223.

Here is a brief abstract:

Dr. Schreyer is applying finite automata (FAs) to some Operating System software. Out of many tools for concurrent software modelling, a classic Finite Automata method has been used in this presentation. Some research has been conducted in the direction of model checking, resulting as a by-product with the useful tools in CSc classes. Several examples of using FAs in Operating Systems classes are presented, mainly for process synchronization and for critical section (CS) problems. Both the DFA (Deterministic Finite Automata) and NFA (Nondeterministic Finite Automata) have been applied for software modelling with binary semaphores and deadlock potential. It seems that the graphical aspects of the FA methods are quite appealing for software modelling outside of operating systems as well; this may justify the broad title.