Tag: academia
-
A Trip To Reggio Di Calabria
I recently went to Reggio Di Calabria, a city in southern Italy, to present to present a paper I wrote at a workshop / conference. The trip was good, and (predictably, for Southern Italy in August) quite hot. I spent an afternoon and evening in Rome before taking a train south to Reggio Calabria. While…
-
SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis
One of my dissertation‘s main contributions was a new hazard analysis technique called the “Systematic Analysis of Faults and Errors” or SAFE. Hazard analysis techniques are, as I wrote about in 2014, structured ways of reasoning about and (typically) documenting the ways that things can go wrong in a given system. While traditionally these techniques…
-
I finished my PhD!
On June 17, I successfully defended my doctoral research. Last week, I received final approval of my dissertation. It feels pretty weird to say it, but I now have a PhD, and am “Dr. Procter.” I’m finding it hard to summarize the entirety of my grad school experience, so I won’t try. Rather, I’ll say…
-
A trip to Delft
In July I wrote about a recent paper covering my lab’s recent work with a concept called “Error Type Refinement.” Then, in late September, I got to travel to the city of Delft in the Netherlands and present the work. I presented at the ASSURE workshop, which was co-located with this year’s SAFECOMP conference. The…
-
Error Type Refinement for Assurance of Families of Platform-Based Systems
Last time I wrote about my work, I mentioned that we were using the architectural modeling language AADL to describe a particular type of distributed, compositional medical applications called Medical Application Platform (MAP) apps. One neat aspect of AADL is that the core language — which describes hardware and software architectures — can be extended…
-
A trip to Lübeck, Germany
My work with medical devices took me to Lausanne, Switzerland last month, and since I was already halfway around the world my advisor and I decided a trip up north to Lübeck, Germany to visit medical device manufacturer Dräger made sense. The work I did there was really cool — in contrast to the conference…
-
A trip to Lausanne, Switzerland
I recently mentioned that a paper I wrote got accepted to MEMOCODE, a conference in Lausanne, Switzerland. Having never been out of the country before, a trip to Europe was really exciting. It was also a little imposing — I would be traveling alone to a place with no knowledge of the local language (in…
-
An Architecturally-Integrated, Systems-Based Hazard Analysis for Medical Applications
A few months ago, I wrote about my recent work on defining a subset of the language AADL to specify the architecture of bits of software (apps) that would run on medical application platforms (MAPs). Since then, I’ve been working on how developers can use these semi-formal architectural descriptions to do useful things. The first…
-
Using a subset of AADL to define medical application architectures
Late last year (October-ish) I began working on a way to specify the software architecture of applications (apps) that run on medical application platforms (MAPs). The specification takes the form of a subset of the Architecture Analysis and Description Language (AADL) and some supporting tooling — namely a plugin for OSATE2 (an Eclipse distribution which…
-
A trip to New Orleans
As I mentioned in a previous post, I attended this years HIMMS (Healthcare Information and Management Systems Society) exhibition and conference. I was there to help show / run our demo, and there was also time to do a little bit of exploring in New Orleans, which I hadn’t ever visited before. The show itself…