Showing papers by "Ugo Buy published in 2001"

Debunking some Common Misconceptions on E-Learning

Abstract: The recent explosion in distance learning programs on the world-wide web has spawned a lively debate on the future and the potential of these programs. While distance learning will clearly play a growing role in higher education and professional training in the years ahead, it is unclear how prominent that role will be. Here we outline the main advantages and disadvantages of distance learning programs over traditional instruction. We also identify some common beliefs on distance learning and question the validity of those beliefs.

Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset

Abstract: Real-time systems are becoming increasingly widespread, often in safety-critical applications. It is therefore crucial that these systems be corrects however, there are few automated tools for analyzing concurrency and timing properties of these systems. The PARTS toolset uses a Petri-net-based reachability analysis to analyze program specifications written in an Ada-83 subset. Our i>simple time Petri nets are specifically aimed at facilitating real-time analysis. In order to control the state-explosion problem, PARTS employs several optimization techniques aimed at state-space reduction. In this paper we discuss our approach and we report on extensive experiments with several examples of real-time specifications based on Ada 83. When possible, we also compare our experimental results with results obtained by other approaches to real-time analysis.