
 
a single PLC. In the model of this system we find : 2 
effective contextual components, 7 basic enriched 
components, 2 support components and 18 basic 
components. The control programs (XML file) 
generated are composed of 61 SFCs and 21 I/Os. 
Some parts of the XML file are represented on the 
figure 13. 
<?xml version="1.0" encoding="ISO-8859-1"?> 
<K5project version="1.1" path="D:\\StraProj\\testTrMStraton\\"> 
….. 
 <variables> 
  <varGroup name="%IX0" kind="IO"> 
  <var name="%IX0.0=Sensor3_I_D" type="BOOL"/> 
  <var name="%IX0.1=Sensor23_I_D" type="BOOL"/> 
  <var name="%IX0.2=Sensor4_I_D" type="BOOL"/> 
      
 <programs> 
  <pou name="Jack3" kind="program" period="1" phase="0" lge="SFC"> 
   <defines name="Jack3"/> 
   <sourceSFC> 
    <SFCstep kind="init" dx="1" dy="0" ref="10" name="GS10" next="GT11"> 
    </SFCstep> 
    <SFCstep kind="init" dx="0" dy="0" ref="0" name="GS0" next="GT1"> 
    </SFCstep> 
    <SFCstep kind=" init " dx="1" dy="2" ref="12" name="GS12" next="GT13">
     <SFCaction kind="default"> 
      <sourceSTIL>Jack3_O_R;</sourceSTIL> 
     </SFCaction> 
 
Figure 13: Example of parts of the XML file. 
All the behaviors have been simulated to check 
the provided control. The component with its control 
is stored for reusing in a project of a conveyor with 
five working areas. 
6 CONCLUSION 
Components have been introduced, and the 
advantages they offer have been pointed out as they 
may be very useful to design the control of 
conveying systems through the views they gather. A 
methodology allowing to generate automatically 
control programs (IEC 61131-3 standard compliant) 
has also been described. This methodology allows 
the reduction of the development costs by 
improving, facilitating and systematising the 
creation of the control programs. The control 
programs are created at a higher level of abstraction: 
engineers manipulate models instead of languages of 
the IEC 61131-3 standard. The main drawback of 
this methodology is that the generated programs will 
be bigger than if they were built without using any 
methodology. 
Transformation model techniques have been 
proved to be very powerful to implement code 
generation. The methodology has been illustrated 
through two examples. 
Further works focus on the partitioning of 
control programs to obtain a distributed control. 
Thus, it will make possible applying the 
methodology on a industrial scale system. 
REFERENCES 
Berruet, P., Coudert, T., Philippe, J.L, 2003, Integration of 
dependability aspects in transitic systems, Proc. IEEE-
IMACS CESA 2003, Lille. 
Berruet P., Lallican J-L., Rossi A., Philippe J-L., 2005, A 
component based approach for the design of FMS 
control and supervision, IEEE SMC , Hawaii. 
Bézivin, J., Dupé, G., Jouault, F., Pitette, G., Eddine 
Rougui, J., 2003, First Experiments with the ATL 
Transformation Language: Transforming XSLT into 
Xquery, 2ndOOPSLA Workshop on Generative 
Techniques in the context of Model Driven 
Architecture, Anaheim, California.  
Bézivin, J., 2005, On the Unification Power of Models, 
Software and SystemModeling, Springer Verlag. 
Copalp, 2002, Straton Handbook. 
Coudert, T., Berruet, P., Philippe, J.L., 2002, From Design 
to Integration of Transitic Systems A Component 
Based Approach, Proc. IECON'02, Sevilla, Vol. 1, pp. 
2487-2502. 
IEC 61131-3, 1993, International Electrotechnical 
Commission 61131-3, Programmable controllers - Part 
3: programming languages. 
Lallican, J.L., Berruet, P., Philippe, J.L, 2005, SimSED: a 
tool for modeling and Simulating Transitic Systems, 
I3M, CMS 2005, Marseille. 
Lallican, J.L., Berruet, P., Rossi, A, Philippe, J.L, 2006, 
SimSED: un environnement pour modéliser et simuler 
des systèmes transitiques, MOSIM, Rabat. 
Millar, J., Mukerji, J., 2001, Model Driven Architecture 
(MDA), OMG, ormsc/2001-07-01, Architecture Board 
ORMSC1. 
OMG, 2002, OMG Meta Object Facility (MOF) 
Specification. 
Toguyeni, A.K.A., Berruet, P., Craye, E.,  2003, Models 
and algorithms for failure diagnosis and recovery in 
FMS,  Int. J. of Flexible Manufacturing Systems, Vol 
15, N°1, pp. 57-85. 
W3C, Extensible Markup Language : XML, 
http://www.w3.org/XML/ 
 
ICINCO 2007 - International Conference on Informatics in Control, Automation and Robotics
336