Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Jacques Camerini"'
Publikováno v:
30th European Safety and Reliability Conference and 15th Probabilitic Safety Assessment and Management Conference, ESREL 2020 PSAM 15
30th European Safety and Reliability Conference and 15th Probabilitic Safety Assessment and Management Conference, ESREL 2020 PSAM 15, Nov 2020, Venice, Italy
30th European Safety and Reliability Conference and 15th Probabilitic Safety Assessment and Management Conference, ESREL 2020 PSAM 15, Nov 2020, Venice, Italy
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::665e05522654dc224a56d2124211037e
https://hal.archives-ouvertes.fr/hal-02984355
https://hal.archives-ouvertes.fr/hal-02984355
Publikováno v:
International Conference on Information and Digital Technologies, IDT 2019
International Conference on Information and Digital Technologies, IDT 2019, Jun 2019, Zilina, Slovakia. ⟨10.1109/DT.2019.8813373⟩
International Conference on Information and Digital Technologies, IDT 2019, Jun 2019, Zilina, Slovakia. ⟨10.1109/DT.2019.8813373⟩
International audience; This article focuses on the development of a tool-based approach for the assessment of industrial control IT systems. The originality of the approach relies in two main points. First of all, the underlying formal models for de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b74b1d9e8fba715c86a7470d60af841
https://doi.org/10.1109/dt.2019.8813373
https://doi.org/10.1109/dt.2019.8813373
Publikováno v:
France, Patent n° : EP3239864. ISET. 2017
HAL
HAL
La présente invention concerne un procédé mis en oeuvre par ordinateur pour générer un modèle de simulation de réseau de Petri d‘un système de commande industriel. Le procédé comprend la fourniture d‘un modèle de système de réseau de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5efbf795977a1da561d285ecb2918299
https://hal.archives-ouvertes.fr/hal-01734923
https://hal.archives-ouvertes.fr/hal-01734923
Publikováno v:
International Workshop on Petri Nets and Software Engineering, PNSE'16
International Workshop on Petri Nets and Software Engineering, PNSE'16, Jun 2016, Toruń, Poland. pp.113-131
HAL
International Workshop on Petri Nets and Software Engineering, PNSE'16, Jun 2016, Toruń, Poland. pp.113-131
HAL
Published in CEUR Workshop Proceedings, vol. 1591, pp. 113-121, urn:nbn:de:0074-1591-5 (http://ceur-ws.org/Vol-1591/paper10.pdf); International audience; Distributed automation system (DAS) architecture gathers all the hardware and software automatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7f94cb614629da2fa4c45a6f2e245c93
https://hal.archives-ouvertes.fr/hal-01338060
https://hal.archives-ouvertes.fr/hal-01338060
Publikováno v:
HAL
CoDIT
3rd IEEE International Conference on Control, Decision and Information Technologies, CoDIT 2016
3rd IEEE International Conference on Control, Decision and Information Technologies, CoDIT 2016, Apr 2016, Saint Julian, Malta
CoDIT
3rd IEEE International Conference on Control, Decision and Information Technologies, CoDIT 2016
3rd IEEE International Conference on Control, Decision and Information Technologies, CoDIT 2016, Apr 2016, Saint Julian, Malta
International audience; Industrial control systems (ICS) are defined with hardware and software components dedicated to control and monitoring tasks for factory process. Proper functioning of ICS architectures is mainly linked to the performance they
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bc13784e1740e98f3a917e17b231741
https://hal.archives-ouvertes.fr/hal-01312536
https://hal.archives-ouvertes.fr/hal-01312536