CERN Accelerating science

Начало > Резултати от търсенето: Darvas, Daniel
Съвети за търсене
Разширено търсене
Add to Search +
Търсене колекции:
Сортиране по: Покажи: Изходен формат:
CERN Document Server Намерени са 11 записа  1 - 10следващ  отиване на запис: Търсенето отне 1.29 секунди. 
1.
Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced / Blanco Viñuela, Enrique (CERN) ; Darvas, Dániel (CERN) ; Sallai, Gyula (CERN)
Testing Programmable Logic Controllers (PLCs) is challenging, partially due to the lack of tools for testing. Isolating a part of the PLC program, feeding it with test inputs and checking the test outputs often require manual work and physical hardware. [...]
2020 - 4 p. - Published in : 10.18429/JACoW-ICALEPCS2019-WEPHA018 Fulltext: PDF;
In : 17th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS), New York, United States, 5 - 11 Oct 2019, pp.1107
Подробен запис - Подобни записи
2.
PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs / Blanco Viñuela, Enrique (CERN) ; Darvas, Dániel (CERN) ; Molnár, Vince (Budapest, Tech. U.)
Programmable Logic Controllers (PLC) are widely used for industrial automation in industry and at CERN. The reliability of PLC software is crucial, but typically only testing is used to validate it. [...]
2020 - 7 p. - Published in : 10.18429/JACoW-ICALEPCS2019-MOBPP01 Fulltext: PDF;
In : 17th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS), New York, United States, 5 - 11 Oct 2019, pp.21
Подробен запис - Подобни записи
3.
Conformance checking for programmable logic controller programs and specifications / Darvas, Daniel (Budapest, Tech. U.) ; Majzik, Istvan (Budapest, Tech. U.) ; Vinuela, Enrique Blanco (CERN)
Verification of industrial control systems' software is an important task, as the cost of failure in these systems is typically high. Formal verification methods can complement the currently used testing techniques, especially if requirements are formally specified. [...]
2016 - 8 p. - Published in : 10.1109/SIES.2016.7509409
In : 11th IEEE Symposium on Industrial Embedded Systems, Krakow, Poland, 23 - 25 May 2016, pp.7509409
Подробен запис - Подобни записи
4.
PLC code generation based on a formal specification language / Darvas, Daniel (CERN ; Budapest, Tech. U.) ; Vinuela, Enrique Blanco (CERN) ; Majzik, Istvan (Budapest, Tech. U.)
The complexity and quality needs of PLC-based control system software have largely increased. Formal specification methods can help to cope with these needs. [...]
2017 - 8 p. - Published in : 10.1109/INDIN.2016.7819191
Подробен запис - Подобни записи
5.
Applying model checking to critical PLC applications : An ITER case study / Fernández Adiego, Borja (CERN) ; Avinashkrishna, Bhimavarapu (TCS, Madhapur) ; Blanco Viñuela, Enrique (CERN) ; Darvas, Daniel (CERN) ; Gaikwad, Yogesh (TCS, Madhapur) ; Lee, Gisik (Mobiis Co. Ltd., Seoul) ; Pedica, Riccardo (Vitrociset, Rome) ; Prieto Diaz, Ignacio (IBERINCO, Madrid) ; Sallai, Gyula (Budapest, Tech. U.) ; Sreekuttan, Sailaraj (TCS, Madhapur)
The development of critical systems requires the application of verification techniques in order to guarantee that the requirements are met in the system. Standards like IEC 61508 provide guidelines and recommend the use of formal methods for that purpose. [...]
2018 - 5 p. - Published in : 10.18429/JACoW-ICALEPCS2017-THPHA161 Fulltext: PDF;
In : International Conference on Accelerator and Large Experimental Physics Control Systems, Barcelona, Spain, 8 - 13 Oct 2017, pp.THPHA161
Подробен запис - Подобни записи
6.
What is special about PLC software model checking? / Darvas, Daniel (CERN) ; Blanco Viñuela, Enrique (CERN) ; Majzik, Istvan (Budapest, Tech. U.)
Model checking is a formal verification technique to check given properties of models, designs or programs with mathematical precision. Due to its high knowledge and resource demand, the use of model checking is restricted mainly to core parts of highly critical systems. [...]
2018 - 6 p. - Published in : 10.18429/JACoW-ICALEPCS2017-THPHA159 Fulltext: PDF;
In : International Conference on Accelerator and Large Experimental Physics Control Systems, Barcelona, Spain, 8 - 13 Oct 2017, pp.THPHA159
Подробен запис - Подобни записи
7.
Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems / Darvas, Daniel
Formal specification and verification methods provide ways to describe requirements precisely and to check whether the requirements are satisfied by the design or the implementation [...]
CERN-THESIS-2017-050 10.5281/zenodo.162950. - 189 p.

Fulltext
Подробен запис - Подобни записи
8.
PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques / Darvas, Dániel (CERN) ; Blanco Vinuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN)
Model checking is a promising formal verification method to complement testing in order to improve the quality of PLC programs. However, its application typically needs deep expertise in formal methods. [...]
2015 - 4 p. - Published in : 10.18429/JACoW-ICALEPCS2015-WEPGF092 Fulltext: PDF; External link: JACoW
In : 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, 17 - 23 Oct 2015, pp.WEPGF092
Подробен запис - Подобни записи
9.
A Formal Specification Method for PLC-based Applications / Darvas, Dániel (CERN) ; Blanco Vinuela, Enrique (CERN) ; Majzik, István (Budapest, Tech. U.)
The correctness of the software used in control systems has been always a high priority, as a failure can cause serious expenses, injuries or loss of reputation. To improve the quality of these applications, various development and verification methods exist. [...]
2015 - 4 p. - Published in : 10.18429/JACoW-ICALEPCS2015-WEPGF091 Fulltext: PDF; External link: JACoW
In : 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, 17 - 23 Oct 2015, pp.WEPGF091
Подробен запис - Подобни записи
10.
Applying Model Checking to Industrial-Sized PLC Programs / Fernandez Adiego, Borja (CERN) ; Darvas, Daniel (Budapest, Tech. U.) ; Blanco Vinuela, Enrique (CERN) ; Tournier, Jean-Charles (CERN) ; Bliudze, Simon (LPHE, Lausanne) ; Blech, Jan Olaf (RMIT U.) ; Gonzalez Suarez, Victor M (Oviedo U.)
Programmable logic controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. [...]
CERN-OPEN-2015-009.- Geneva : CERN, 2015 - 11 p. - Published in : IEEE Trans. Ind. Inform. 11 (2015) 1400-1410 Preprint: PDF;
Подробен запис - Подобни записи

CERN Document Server : Намерени са 11 записа   1 - 10следващ  отиване на запис:
Виж също: автори с подобни имена
11 DARVAS, Daniel
7 Darvas, D
11 Darvas, Dániel
Интересувате ли се от уведомяване за нови резултати по тази заявка?
Set up a personal email alert or subscribe to the RSS feed.
Не намерихте, каквото търсите? Опитайте търсене в други сървъри:
Darvas, Daniel в Amazon
Darvas, Daniel в CERN EDMS
Darvas, Daniel в CERN Intranet
Darvas, Daniel в CiteSeer
Darvas, Daniel в Google Books
Darvas, Daniel в Google Scholar
Darvas, Daniel в Google Web
Darvas, Daniel в IEC		Darvas, Daniel в IHS
Darvas, Daniel в INSPIRE
Darvas, Daniel в ISO
Darvas, Daniel в KISS Books/Journals
Darvas, Daniel в KISS Preprints
Darvas, Daniel в NEBIS
Darvas, Daniel в SLAC Library Catalog
Darvas, Daniel в Scirus