#Sequential function chart software software
Sci., 126, 183-235 (1994).ħ Clarke, E.M., Grumberg, O., Peled, D.A., Model Checking, MIT Press, Cambridge (1999).Ĩ Lee, S., Tilbury, D.M., “A modular control design method for a flexible manufacturing cell including error handling”, In: 44th IEEE Conference on Decision and Control, Sevilla, Spain, 8355-8360 (2005).ĩ Frey, G., Wagner, F., “A toolbox for the development of logic controllers using petri-Nets”, In: 8th International Workshop on Discrete Event Systems, Ann Arbor, Michigan, 473-474 (2006).ġ0 Robertson, S., Robertson, J., Mastering the Requirements Process, 2nd ed., Addison Wesley, Boston (2006).ġ1 Behrmann, G., David, A., Larsen, K.G., “A tutorial on Uppaal”, Design Comp., Comm., Software Systems (LNCS), 3185, 200-236 (2004). (last visited: ).Ħ Alur, R., Dill, D.L., “A theory of timed automata”, Theor. American Control Conference, New York (2007).ĥ NAMUR-Recommendation NE 33: Requirements to be Met by Systems for Recipe-Based Operations. 44th IEEE CDC/ECC, Sevilla, 7720-7725 (2005).Ĥ Lohmann, S., Stursberg, O., Engell, S., “Comparison of event-triggered and cycle-driven models for verifying SFC programs”, In: Proc. It is one of the five languages defined by IEC 61131-3 standard.
American Control Conference (ACC), Boston, 1350-1355 (2004).Ģ IEC, Programmable Controllers-Part 3: Programming Languages, International Electrotechnical Commission (IEC), 61131-3, Geneva (2003).ģ Stursberg, O., Lohmann, S., “Analysis of logic controllers by transformation of SFC into timed automata”, In: Proc. Sequential function chart ( SFC) is a graphical programming language used for programmable logic controllers (PLCs). Sequential Function Chart features and editor functions Steps and transitions Action steps, entry and exit actions Time monitoring and error evaluation. 关键词: logic controller design, systematic approach, informal requirements, verificationġ Lucas, M.R., Tilbury, D.M., “The practice of industrial logic design”, In: Proc. A rigorous verificationcan be used to determine whether all specifications are satisfied if a formal model of the plant is available which isthen composed with the automata model of the logic controller (LC). For thepurpose of analysis, the resulting SFC can be translated algorithmically into timed automata. This paper proposes a method in which the control program is constructed as a sequential function chart (SFC) by transforming the requirements via clearly defined intermediate formats. Typically, thespecifications are given by a set of informal requirements and a technical flowchart and both are used to be directlytranslated into the control code.
In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. 摘要： Today’s automation industry is driven by the need for an increased productivity, higher flexibility, andhigher individuality, and characterized by tailor-made and more complex control solutions.
#Sequential function chart software verification
Key words: logic controller design, systematic approach, informal requirements, verification
0 kommentar(er)
