Research and development procees of electric vehicles (EVs) has continued for many years for protecting environment and for usage of energy efficient vehicles at the transportation. Since the electrical systems directly affect the traction of an EV, integrated modeling considering both the mechanical and electrical systems is necessary. In this announcement, a Matlab model of the EV containing the electrical and mechanical subsystem is developed by choosing Li-Ion battery and permanent magnet synchronous motor. Performance parameters such as SOC of the battery and the speed response of the EV are compared by controlling the system using PI and FLC controllers in accordance with the specified simulation scenerio and energy efficiency increase is aimed.

Railroad transportation systems are an area that poses the threat of causing huge risk for both the environment and people if an error emerges during operation. For this reason, designing and developing relevant products in this area is challenging. What is more, methods to be utilized for the purposes of minimizing risk susceptibility are to be specified by international standards. While relevant standards strongly recommend that some methods be utilized based on the desired safety integrity level during the development phase, some methods are not recommended to be utilized. CENELEC 50128 strongly recommends the utilization of timed-arc Petri nets during system modeling and the utilization of formal proof methods during the verification and test phases of the command and control structure developed. In this study, a control structure related to the safety of the point automation system, which has a critical significance for tram lines, was designed through timed-arc Petri nets by taking the relevant standard as the reference. The verification was performed through computational tree logic, which is one of the formal proof methods. The timed-arc Petri nets model has been used for the first time in this area in this study. Within this context, the structure was developed by taking the point automation system at the 50. Yil Station on the T4 Topkapi-Habibler line, operated by Istanbul Ulasim A.Ş., as the reference. Moreover, safety requirements for the automation of the points were identified and denoted mathematically while their safety functions were designed.

In this study, a new type of Petri net, which consists of a combination of Timed Petri nets (TPN) and Automation Petri Nets (APN), is introduced. This new Petri net, called ”timed automation Petri nets, (Timed APN)“, is obtained by adding time delays to automation Petri nets. Time delays, which may occur in automation systems, can be easily represented in TPN. Although APN is a powerful modeling and designing method in automation systems, it is not capable of representing time delays contrary to TPN. With the addition of time delay, a more powerful type of Petri net, which can be used for time delay automation systems, is obtained and so time-delay automation systems will be modeled in a more effective way by using this new Petri net.

Designing and developing a point automation system is a challenging task since railway transportation systems are required to be highly secure and safe systems. Nowadays point automation systems are usually designed manually, this result in a waste of personnel, time and resources. So in this study, we developed and established a software tool in order to automatically generate formal models for point automation systems. The novelty of our study is that our since models are created automatically by a software. Here designing time and human errors are reduced to a minimum thus safe, reliable and secure system models are generated. The developed software has a built in graphical interface which is used to model the basic station topology and using this model, software generates a point automation system’s Timed-Arc Petri Net (TAPN) models, which is a strongly advices formal method by CENELEC EN50128 standard, automatically. Generated TAPN models are also verified automatically for specified safety requirements by using Computational Tree Logic (CTL), which is also a formal proof method strongly advised by CENELEC EN50128 standard. The TAPN models were automatically generated and verified with 100% success by taking the point automation systems of stations on M1 Aksaray-Airport line, operated by Istanbul Transportation Co., as the reference.DOI: http://dx.doi.org/10.5755/j01.itc.44.1.7382

This paper introduces a new software tool, which can be used for automatic generation of Timed Arc Petri Net (TAPN) models from the railway station topology for interlocking systems. The introduced software tool has two components, 'Graphical User Interface' to draw the station topology and 'Application Software' to generate TAPN models from the station topology. TAPN is a highly recommended formal modeling method by the CENELEC EN50128 standard. Generated models, belonging to the station, are stored in an XML file and can be viewed using TAPAAL.

In this study, control structure related to the safety of the point automation system, which has a critical significance on tram lines, was designed through Timed-Arc Petri Nets by taking CENELEC 50128 standard as reference. CENELEC 50128 strongly recommends the utilization of Timed-Arc Petri Nets during system modeling (Table A.17) and the utilization of formal proof methods during the verification and test phases of command and control structure developed (Table A.5). The verification was performed through CTL (Computational Tree Logic), which is one of the formal proof methods. Timed-Arc Petri Nets model has been used for the first time in this area through this study. Within this context, the structure was developed by taking the point automation system at the Bastabya Station on T4 Topkapı-Habibler line, operated by Istanbul Ulaşım as the reference. Moreover, safety requirements for the automation of the points were identified and denoted mathematically while their safety functions were designed.