Форум АСУ в Україні

форум з автоматизації для викладачів, студентів та спеціалістів
Сьогодні: 28 березня 2024, 15:19

Часовий пояс UTC + 2 годин [ DST ]




Створити нову тему Відповісти  [ 1 повідомлення ] 
Автор Повідомлення
 Тема повідомлення: Збірка посилань по моделеорієнтованій розробці/верифікаці ПЗ
ПовідомленняДодано: 02 жовтня 2014, 18:53 
Офлайн
Викладач

З нами з: 29 листопада 2013, 17:11
Повідомлення: 5033
- G. Frey and L. Litz, “Formal methods in PLC programming,” in Proceedings of the 2000 IEEE International Conference on Systems,
Man and Cybernetics, Nashville, TN, USA, 2000, pp. 2431–2436.
- O. Rossi, P. Schnoebelen, “Formal Modeling of Timed Function Blocks for the Automatic Verification of Ladder Diagram Programs”, The 4th International Conference on Automation of Mixed Processes (ADPM 2000), Dortmund, Germany, Sep 18-19, 2000.
- R. Huuck, Software Verification for Programmable Logic Controllers, Dissertation, University of Kiel, 2003.
- K. Loer, M. Harrison, “Integrating Model Checking with the Industrial Design of Interactive Systems”, 26th International Conference on Software Engineering, Edinburgh, Scotland, UK, May 23-28, 2004
- K. Ravi, F. Somenzi, “Minimal Assignments for Bounded Model Checking”, K. Jensen, & A. Podelski (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 2988, pp. 31-45, 2004.
- V. Gourcuff, O. De Smet, J. Faure, “Efficient representation for formal verification of PLC programs”, 8th International Workshop on Discrete Event Systems, Ann Arbor, MI, USA, July 10-12, 2006.
- B. Schlich, J. Brauer, J. Wernerus, S. Kowalewski, “Direct Model Checking of PLC Programs in IL”, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, June 10-12, 2009.
- J. Yoo, S. Cha, E. Jee, “Verification of PLC Programs Written in FBD with VIS”, Nuclear Engineering and Technology, Vol. 41, pp. 79-90, 2009.
- E. Jee, S. Jeon, S. Cha, K. Koh, J. Yoo, G. Park, P. Seong, “FBDVerifier: Interactive and Visual Analysis of Counter-Example in Formal Verification of Function Block Diagram”, Journal of Research and Practice in Information Technology, Vol. 42, pp. 171-188, 2010.
- J. Lahtinen, J. Valkonen, K. Björkman, J. Frits, I. Niemelä, K. Heljanko, ”Model checking of safety-critical software in the nuclear engineering domain”, Reliability Engineering and System Safety, Vol. 105, pp. 104-113, 2012.
- D. Soliman, K. Thramboulidis, G. Frey, “Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications”, Annual Reviews in Control, Vol. 36, pp. 338-345, 2012.
- Pakonen, A. Matasniemi, T. ; Lahtinen, J. ; Karhela, T. "A toolset for model checking of PLC software." VTT Technical Research Centre of Finland P.O. Box 1000, 02044 VTT Espoo, Finland 2013


Догори
 Профіль  
 
Відображати повідомлення за:  Сортувати за  
Створити нову тему Відповісти  [ 1 повідомлення ] 

Часовий пояс UTC + 2 годин [ DST ]



Хто зараз онлайн

Зараз переглядають цей форум: Немає зареєстрованих користувачів і 1 гість


Ви не можете створювати нові теми у цьому форумі
Ви не можете відповідати на теми у цьому форумі
Ви не можете редагувати ваші повідомлення у цьому форумі
Ви не можете видаляти ваші повідомлення у цьому форумі
Ви не можете додавати файли у цьому форумі

Знайти:
Вперед:  
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
Вы можете бесплатно создать форум PHPBB2 на MyBB2.ru, Также возможно создать форум бесплатно PHPBB3 на Getbb.ru
Український переклад © 2005-2007 Українська підтримка phpBB