A methodology to upgrade legacy industrial systems to meet safety regulations

2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings

Volumn , Issue , 2011, Pages 141-147

  Soliman, Doaa ^a   Thramboulidis, Kleanthis ^a,b   Frey, Georg ^a  

^a SAARLAND UNIVERSITY   (Germany)

^b UNIVERSITY OF PATRAS   (Greece)

Author keywords

31 SysML; Model checking; PLCopen; Safety applications; verificationand validation

Indexed keywords

31 SYSML; DEVELOPMENT PROCESS; FUNCTION BLOCK; INDUSTRIAL SYSTEMS; LABORATORY SYSTEM; LEGACY APPLICATIONS; PLCOPEN; SAFETY APPLICATIONS; SAFETY REGULATIONS; VERIFICATIONAND VALIDATION; WHOLE SYSTEMS;

ACCIDENT PREVENTION; INDUSTRIAL APPLICATIONS; INDUSTRY; MANAGEMENT INFORMATION SYSTEMS; MODEL CHECKING;

LEGACY SYSTEMS;

EID: 80052130371     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DCDS.2011.5970332     Document Type: Conference Paper

References (15)

1. K. John, and M. Tiegelkamp, "IEC61131-3: Programming Industrial Automation System: Concepts and Programming Languages, Requirements for Program," Systems, Aids to Decision-Making Tools, 2001.
2. Shourong Lu, W. A. Halang, "A UML Profile to Model Safety-Critical Embedded. Real-Time Control Systems," Contributions to Ubiquitous Computing, Volume 42/2007, pp. 197-218.
3. International Electrotechnical Commission (IEC), IEC 61508 -Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, December 1998
4. PLCopen (2006). Part 1: Concepts and Function Blocks. TC5, Safety Software Technical Specification, Version1.0, PLCopen, Germany.
5. K. Thramboulidis and Sven Scholz, "Integrating the 3+1 SysML view model with safety engineering," IEEE International Conference on Emerging Technology and Factory Automation, (ETFA 2010) Bilbao, Spain, 2010.
6. Kotaro Amanuma, "Trend of International Safety Standards," SICE Annual Conference, Kagawa University, Japan, Sept. 17-20, 2007.
7. H. Ko, G. Chang, K. Kim, "A Reengineering Approach of the Legacy System in the Digital Media Domain," International Conference on Software Engineering Advances(ICSEA 2007).
8. International Electrotechnical Commission (IEC), IEC 61511 - Functional safety: Safety Instrumented Systems for the process industry sector, 2003/2004.
9. D. Cancila, F. Terrier, F. Belmonte, et al., "SOPHIA: a Modeling Language for Model-Based Safety Engineering," MoDELS'09, ACESMB Workshop Proceedings, Denver 2009, pp 11-25.
10. A. Le Guennec, B. Dion, "Bridging UML and safety-critical software development environments," Int. Conf. on Embedded and Real-Time Software, ERTS, 2006.
11. Schreiber, S. Schmidberger, T. Fay, A. May, J. Drewes, J. Schnieder, E. H.Schmidt, "UML-based safety analysis of distributed automation systems," IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2007, 25-28 Sept. 2007, pp: 1069-1075.
12. S. Scholz, K. Thramboulidis, "Integrating SysML-based System Modeling with Safety Engineering," Design Automation and Test in Europe (DATE), Workshop on Model Based Engineering for Embedded Systems Design, Dresden, Germany, 8-12 March, 2010, pp. 1-8.
13. K. Thramboulidis, and G. Frey, "Towards a Model-Driven IEC 61131-based Development Process in Industrial Automation," Journal of Software Engineering and Applications (JSEA), Vol. 4, No. 4, April 2011.
14. D. Soliman and G. Frey, "Verifications and validations of safety applications based on PLCopen safety function blocks," Control Engineering Practice, in press.
15. D. Soliman and G. Frey, "Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in UPPAAL," 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Bari, Italy, 2009, pp. 39-44.