Using Source-Code Analysis to Help End-user Programmers Create Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.

DESIGN AND ANALYSIS OF MULTIFUNCTIONAL ROBOT FOR NOTES

The elimination of all external incisions is an important step in reducing the invasiveness of surgical procedures. Natural Orifice Translumenal Endoscopic Surgery (NOTES) is an incision-less surgery and provides explicit benefits such as reducing patient trauma and shortening recovery time. However, technological difficulties impede the widespread utilization of the NOTES method. A novel robotic tool has been developed, which makes NOTES procedures feasible by using multiple interchangeable tool tips. The robotic tool has the capability of entering the body cavity through an orifice or a single incision using a flexible articulated positioning mechanism and once inserted is not constrained by incisions, allowing for visualization and manipulations throughout the cavity. Multiple interchangeable tool tips of the robotic device initially consist of three end effectors: a grasper, scissors, and an atraumatic Babcock clamp. The tool changer is capable of selecting and switching between the three tools depending on the surgical task using a miniature mechanism driven by micro-motors. The robotic tool is remotely controlled through a joystick and computer interface. In this thesis, the following aspects of this robotic tool will be detailed. The first-generation robot is designed as a conceptual model for implementing a novel mechanism of switching, advancing, and controlling the tool tips using two micro-motors. It is believed that this mechanism achieves a reduction in cumbersome instrument exchanges and can reduce overall procedure time and the risk of inadvertent tissue trauma during exchanges with a natural orifice approach. Also, placing actuators directly at the surgical site enables the robot to generate sufficient force to operate effectively. Mounting the multifunctional robot on the distal end of an articulating tube provides freedom from restriction on the robot kinematics and helps solve some of the difficulties otherwise faced during surgery using NOTES or related approaches. The second-generation multifunctional robot is then introduced in which the overall size is reduced and two arms provide 2 additional degrees of freedom, resulting in feasibility of insertion through the esophagus and increased dexterity. Improvements are necessary in future iterations of the multifunctional robot; however, the work presented is a proof of concept for NOTES robots capable of abdominal surgical interventions.

Bach-Busoni Chaconne: A Piano Transcription Analysis

In 1893 Ferruccio Busoni transcribed, for the piano, the famous Bach Chaconne for violin solo from the Partita No.2 in D minor. Numerous transcriptions of this piece for different various instruments exist; however Busoni's transcription stands above all others. The purpose of this study was to analyze what the famous, twentieth-century pianist did when he transcribed Bach's Chaconne. What information exists on the topic comes primarily from pianists who dared to learn this exceptionally difficult, beautiful composition. Busoni's accomplishments lie in the new concept, a conceptual transcription, which has two roots: understanding how, historically, we are connected to the music, and how once genres have a special meaning in the twentieth-century. Every generation of musicians brings their own specific point of view and interpretation. Busoni lived on the border of the two centuries and, in his transcription, reveled in several issues overlooked by the previous generation. With his keen understanding of the piece, Busoni highlighted many different genres present in the music, thus allowing recognition of the last movement of the Partita No. 2 in D minor as a Requiem for Bach's wife. By underscoring the genres, Busoni used them as strata. The idea of strata comes from the aesthetics of “play,” and from a different approach to the quality of sound on piano originally intended for a high string instrument. Busoni's arrangement of the texture added both orchestral quality and stereophonic perception. The strata add to a certain reading of Bach's original. Busoni promoted a dramatic approach opening the possibility of reading the chaconne as a multi-layered form. Through Busoni', we see the possibility not only of a tripartite, variation form, but also a composition, with the elements of a concerto, and a sonata. Who could imagine, that a composition written by a young composer at the fin de siecle, intended for practical use by pianists, would subtly influence so many contemporaries and generations, that they will find his findings and music inspiring. Adviser: Dr. Mark K. Clinton