Seattle / Washington / DC / Philadelphia / Rome / Vancouver / Vienna / /
Company
Embedded Software / Embedded Systems / High Confidence Medical Device Software / /
Country
Italy / Austria / Canada / / /
Facility
University of Illinois / Vanderbilt University / /
IndustryTerm
software system / multiprocessor devices / medical software / software tools / medical device software / transformation tool / real time / safety-critical software / resource management / software developers / proof-manipulation tools / number systems / long chain / configurable logic devices / understood technology / incremental solution / software analysis / energy / proof-generating tools / then proof-manipulation tools / Proof tools / order logic proof search / buggy tools / important information technology research needs / it difficult to create new tools / transformation tools / real-time operating systems / low-level analysis infrastructure / low-power devices / program transformation tools / program analysis tools / tool-rich software development / untrustworthy tools / on adapting existing program analysis tools / /
Organization
University of Illinois / Urbana-Champaign / Tool Integration Supporting High-Confidence Embedded Software John Regehr Konrad Slind Elsa Gunter School of Computing / University of Utah / Department of Computer Science / Vanderbilt University / School of Computing / /
Person
Sarah Solter / Peter Lee / John Regehr / George C. Necula / Kirk Webb / Alastair Reid / Bjorn De Sutter / Aaron R. Bradley / Anthony Fox / Dominique Chanet / Henny B. Sipma / Zohar Manna / Koen De Bosschere / Konrad Slind Elsa / /
Position
HOL→ARM translator / abstract interpreter / HOL model of the ARM ISA / /
ProgrammingLanguage
DC / C++ / /
ProvinceOrState
Washington / Pennsylvania / /
PublishedMedium
Lecture Notes in Computer Science / /
Technology
RAM / information technology / operating systems / well understood technology / /
This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp