Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems

Autor: Bastien Zigmann, Lydie du Bousquet, Quentin Guerre-berthelot, Florian Cario, Lucas Gisselaire, Masahide Nakamura

Publikováno v: ASE Workshops 2019: 90-93
ASE Workshops 2019: 90-93, 2019, San Diego, CA, United States
ASE Workshops

In this position paper, we explore a way to assess deployment architectures for intelligent Cyber-Physical Systems (iCPS). Our long-term goal is to establish a method that allows a software architect of iCPS to choose an appropriate deployment archit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0e1a4d394a8f24ce2b8d9de8701f4bc
https://hal.univ-grenoble-alpes.fr/hal-03266543

Extending specification patterns for verification of parametric traces

Autor: Yoann Blein, Roland Groz, Yves Ledru, Lydie du-Bousquet

Publikováno v: the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18)
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19, ⟨10.1145/3193992.3193998⟩
FormaliSE@ICSE

International audience; This article proposes a temporal and parametric specification language (ParTraP) developed for the verification of execution traces. The language extends specification patterns with nested scopes, real-time and first-order qua

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3d6b05720f17cd2873ef5a6e926a966
https://hal.univ-grenoble-alpes.fr/hal-02004378

Improving Trace Generation and Analysis for Medical Devices

Autor: Yves Ledru, Arnaud Clere, Fabrice Bertrand, Roland Groz, Yoann Blein, Lydie du Bousquet

Publikováno v: IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017
IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Jul 2017, Prague, Czech Republic. pp.599-600, ⟨10.1109/QRS-C.2017.135⟩
QRS Companion

A new generation of medical devices emerges to supportincreasingly more complex medical decisions and procedures.These Medical Devices (MD) combine data fromnovel sensors and existing modalities like scanners withelaborate software processing to assi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ccf7f87d29b4e52c4479fed2b37b7c0
https://hal.archives-ouvertes.fr/hal-01657553/document

Towards Mutation Analysis for Lustre Programs

Autor: Michel Delaunay, Lydie du Bousquet

Publikováno v: Electronic Notes in Theoretical Computer Science. 203(4):35-48

Mutation analysis is usually used to provide indication of the fault detection ability of a test set. It is mainly used for unit testing evaluation. This paper describes mutation analysis principles and their adaptation to the Lustre programming lang

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::609ffae643b7fc541bfc17ef6eee3eb2

Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT

Autor: Masahide Nakamura, Lydie du Bousquet

Publikováno v: ICAC
2015 IEEE International Conference on Autonomic Computing (ICAC) and Workshop
2015 IEEE International Conference on Autonomic Computing (ICAC) and Workshop, Jul 2015, Grenoble, France

Although various smart city projects are launched in all over the world, it is not obvious how to tailor the existing IoT and self-aware technologies for individual services, systematically. One of the reason is due to the lack of common view that ca

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f97dc0c88e0e8dd1572f44c286063b7
https://doi.org/10.1109/icac.2015.57