Zobrazeno 1 - 10
of 17
pro vyhledávání: '"David Mentré"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 7-12 (2019)
Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors), outputs (who
Externí odkaz:
https://doaj.org/article/c48fc5c0160b456e83c3816906c6e0db
Autor:
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2022, 24 (6), pp.977-997. ⟨10.1007/s10009-022-00680-0⟩
International Journal on Software Tools for Technology Transfer, 2022, 24 (6), pp.977-997. ⟨10.1007/s10009-022-00680-0⟩
International audience; Programmable Logic Controllers are industrial digital computers used as automation controllers in manufacturing processes. The Ladder language is a programming language used to develop software for such controllers. In this wo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e33021b1b500f86b72d06a08ea446a3
https://inria.hal.science/hal-03737869/document
https://inria.hal.science/hal-03737869/document
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 7-12 (2019)
F-IDE@FM
F-IDE@FM
Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors), outputs (who
Autor:
Claude Marché, Denis Cousineau, David Mentré, Hiroaki Inoue, Cláudio Belo Lourenço, Florian Faissole
Publikováno v:
FMICS 2021-Formal Methods for Industrial Critical Systems
FMICS 2021-Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. ⟨10.1007/978-3-030-85248-1_2⟩
Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
FMICS 2021-Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. ⟨10.1007/978-3-030-85248-1_2⟩
Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
International audience; Programmable Logic Controllers (PLCs) are industrial digital computers used as automation controllers in manufacturing processes. The Ladder language is a programming language used to develop PLC software. Our aim is to prove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::072e97f0f42eeea56dc5be6b3610ca34
https://inria.hal.science/hal-03281580
https://inria.hal.science/hal-03281580
Publikováno v:
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18
Lecture Notes in Computer Science ISBN: 9783030576271
FORMATS
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18
Lecture Notes in Computer Science ISBN: 9783030576271
FORMATS
Requirements engineering is a key phase in the development process. Ensuring that requirements are consistent is essential so that they do not conflict and admit implementations. We consider the formal verification of rt-consistency, which imposes th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a4783e4b1206ab08d38d92483068ec2
https://hal.inria.fr/hal-02894772
https://hal.inria.fr/hal-02894772
Publikováno v:
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.1-33
Lecture Notes in Computer Science ISBN: 9783030576271
FORMATS
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.1-33
Lecture Notes in Computer Science ISBN: 9783030576271
FORMATS
Timed automata are a convenient mathematical model for modelling and reasoning about real-time systems. While they provide a powerful way of representing timing aspects of such systems, timed automata assume arbitrary precision and zero-delay actions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ddeb3e3a7efbde6acf9207af8d46a9b5
http://arxiv.org/abs/2007.01815
http://arxiv.org/abs/2007.01815
Publikováno v:
Advances in Networked-based Information Systems ISBN: 9783030290283
NBiS
NBiS
Cyber security has been an important issue for control systems, however, there may be a shortage of security experts in the near future. Most of security engineering methods focus only at high-level such as architectures, and do not consider the avai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c8e1b6e445d7fc3c349ce095b56ffa4
https://doi.org/10.1007/978-3-030-29029-0_27
https://doi.org/10.1007/978-3-030-29029-0_27
Publikováno v:
Tests and Proofs ISBN: 9783030311568
TAP@FM
TAP@FM
Software testing is a time consuming and error prone activity, mostly manual in most industries. One approach to increase productivity is to automatically generate tests. In this paper, we focus on automatic generation of structural unit tests of saf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17ce9c5792fbfdfbed64f8967bb06c99
https://doi.org/10.1007/978-3-030-31157-5_4
https://doi.org/10.1007/978-3-030-31157-5_4
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030034269
ISoLA (4)
ISoLA (4)
Automatic white-box testing based on formal methods is now a relatively mature technology and operational tools are available. Despite this, and the cost of manual testing, the technology is still rarely applied in an industrial setting. This paper d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f500d1a97b5a396fc4f356f7b8fa4d60
https://doi.org/10.1007/978-3-030-03427-6_12
https://doi.org/10.1007/978-3-030-03427-6_12
Publikováno v:
International Symposium on Principles and Practice of Declarative Programming
International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131870⟩
PPDP
International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131870⟩
PPDP
International audience; Program differences are usually represented as textual differences on source code with no regard to its syntax or its semantics. In this paper, we introduce semantic-aware difference languages. A difference denotes a relation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08367b929087bf84d90d3cefeaacd5d2
https://hal.inria.fr/hal-01653283/document
https://hal.inria.fr/hal-01653283/document