MODMED Software is now available publicly on IMAG's forge!

posted 31 Mar 2017, 07:38 by Arnaud Clère

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!

Presentation to Medical Devices Software Engineers

posted 16 Dec 2016, 08:33 by Arnaud Clère

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.

The MODMED team is glad to release its first Deliverables!

posted 25 Nov 2016, 08:42 by Arnaud Clère

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