Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Michał Grobelny"'
Publikováno v:
IEEE Transactions on Systems, Man, and Cybernetics: Systems. 47:2856-2869
This paper focuses on the design and verification methods of distributed logic controllers supervising real-life processes. Such systems have to be designed very carefully and precisely in order to operate flawlessly and to meet user needs. We propos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::712d0c68975e604e3a64be23eb7e5155
https://doi.org/10.1109/tsmc.2016.2531673
https://doi.org/10.1109/tsmc.2016.2531673
Publikováno v:
AIP Conference Proceedings.
The Internet of Things (IoT) is getting popular in everyday life. Various technical solutions are used to ensure the safety of numerous smart objects. However, social aspects regarding the security, the integrity, the privacy and the confidentiality
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1aa3b03ac5bc4c2b8ff88d6e26307fe2
https://doi.org/10.1063/1.5079136
https://doi.org/10.1063/1.5079136
Publikováno v:
SPIE Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f69ba013f16cd3132e23f8422e8c3e04
https://doi.org/10.1117/12.2280959
https://doi.org/10.1117/12.2280959
Publikováno v:
AIP Conference Proceedings.
Secure encryption of data in Internet of Things is especially important as many information is exchanged every day and the number of attack vectors on IoT elements still increases. In the paper a novel symmetric encryption method is proposed. The ide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e673dff3e9d87b8e60da8051298ad8a
https://doi.org/10.1063/1.5012401
https://doi.org/10.1063/1.5012401
Publikováno v:
AIP Conference Proceedings.
In the paper a new approach to formal verification of control process specification expressed by means of UML state machines in version 2.x is proposed. In contrast to other approaches from the literature, we use the abstract and universal rule-based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41109318291a6fb6aaf7965a5b197f28
https://doi.org/10.1063/1.4968655
https://doi.org/10.1063/1.4968655
Publikováno v:
PDeS
Scopus-Elsevier
Scopus-Elsevier
Modelling of hardware behavior is the fundamental process of hardware design project. Possible specification techniques, like UML 2.x Activity Diagrams or Control Interpreted Petri Nets, all have its advantages and disadvantages. Combing the accessib
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab46935e877610486170e72c3c5029ba
https://doi.org/10.3182/20120523-3-cz-3015.00028
https://doi.org/10.3182/20120523-3-cz-3015.00028
Publikováno v:
Design of Reconfigurable Logic Controllers ISBN: 9783319267234
UML activity diagrams can be used as semi-formal specification of logic controller behavior. On the other hand, formal methods applied at any stage of system development allow increasing in the quality of final products. In the chapter use of the mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a2582da4911c60070eb7e907f5e392d
https://doi.org/10.1007/978-3-319-26725-8_12
https://doi.org/10.1007/978-3-319-26725-8_12
Publikováno v:
Design of Reconfigurable Logic Controllers ISBN: 9783319267234
UML activity diagrams in version 2.x can be used as a semi-formal specification technique for logic controller design. The chapter provides various interpretations of activity diagram actions. An action is an elementary indivisible operation in the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::45c46fb2d4396dd178b272ac77735c43
https://doi.org/10.1007/978-3-319-26725-8_11
https://doi.org/10.1007/978-3-319-26725-8_11
Autor:
Iwona Grobelna, Michał Grobelny
Publikováno v:
MIXDES
The paper introduces a logic controller design system, called PNAD, supporting UML activity diagrams in version 2.x as a semi-formal specification technique. The system enables transformation of activity diagrams into control Petri nets, their formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4187b5e0d0bfba5c0e94434ec1bfa65
https://doi.org/10.1109/mixdes.2015.7208599
https://doi.org/10.1109/mixdes.2015.7208599
Publikováno v:
AIP Conference Proceedings.
The paper deals with the designing and verification of distributed logic controllers. The control system is initially modelled with Petri nets and formally verified against structural and behavioral properties with the application of the temporal log
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a64b5b08d234dbd41cbe7c809692d196
https://doi.org/10.1063/1.4938881
https://doi.org/10.1063/1.4938881