Thanks to the Laboratoire d'Informatique de Grenoble, MODMED software is now available publicly on IMAG's forge:
Please go to the "SCM" page to get access to the source code repository. Alternatively, you may download stable source archives ready to be built using Qt Creator.
The first version released as such is the 2017/03 version of modmedLog: a C++/Qt library allowing to easily log existing and user-defined data types in structured formats such as JSON and TSV, making the manual and automatic analysis of traces much easier!
Today, the MODMED team gave a presentation of "Log Analysis Tools" to a panel of a dozen Software Engineers working in the Medical Devices industry at ECCAMI's premises. The purpose was to present the MODMED project goals and current work, as well as to start a survey of Software Engineers view on log analysis tools to guide future research.
The presentation support and link to the survey can be found in the Deliverables page under the WP7_2016_12_16 folder.
These are located in the "Deliverables" page above.
They are the result of a one year effort to analyse the numerous artifacts produced by Blue Ortho during the development of its ExactechGPS-TKA Medical Cyber-Physical System: design documents, surgery reports, execution traces, QMS procedures, unit tests, source code trace points, etc.
The WP6/D1 Technical Report analyses a variety of MCPS requirements and explores whether and how they can be formalized as properties of execution traces. The report introduces seemingly important differences between “Assumed properties”, “Required properties” and “Usage properties” and draws partial conclusions on further MODMED research.
Built upon WP6/D1, the WP1/D1 Preliminary Definition of MODMED DSL describes the syntax and formal semantics of a language for property specification on execution traces. This DSL strives to be practical by combining high expressiveness and ease of use.
1-3 of 3