Generic ExecutionTraces Format specification v1.2 released

posted 22 Mar 2018, 07:01 by Arnaud Clère

This version of WP2/D3 deliverable specifies the format that will allow MODMED tools to directly operate on traces of the next release of modmedLog structured traces library.
The specification is simple enough to serve as an interoperable format between various trace libraries and trace analysis tools.
You will find it on the Deliverables page.

MODMED Software moved to GRICAD's forge

posted 9 Mar 2018, 00:44 by Arnaud Clère   [ updated 5 Apr 2018, 01:43 ]

Thanks to Université Grenoble Alpes, the MODMED Software is now hosted on a nice Gitlab!

Initially released versions were available in the group's milestones for archival but a lot of changes happened until then.
So, one should refer to the different project repositories and pages to use the latest tools versions!

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-5 of 5