Wasilewski M.,Vossloh Locomotives GmbH |
Hasselbring W.,University of Kiel |
Nowotka D.,University of Kiel
Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) | Year: 2013
Domain-specific languages are designed and used to assist software development in various domains. Safety-critical systems such as aviation systems, railway control systems and nuclear power plants require certified software by law. This paper focuses on domain-specific languages that are used to represent a physical reality and to describe the behavior of a control software as a finite state machine. Furthermore we focus on domain-specific languages that are able to generate source code for sensor/actor systems from a specified finite state machine model. The source code is intended to be compiled and operated in a fixed time slot of a real-time operating system of a safety-critical controlling hardware. We give an example of a model that is expressed using a functional tree, a method that is based on input and state space partitioning. We show that models expressed by a functional tree are equivalent to deterministic and complete finite state machines. To formally prove the equivalence we analyze a model in terms of automata theory. We will furthermore show that omitting the properties of determinism and completeness violates normative requirements when a model is used to generate software for safetycritical systems. The major contribution of this paper is the definition of formal requirements on domain-specific languages employing formalisms of automata theory. The requirements are easily verifiable criteria for domain-specific languages to assess the suitability in an engineering process of a safety-critical system. We analyze two example modeling languages for their suitability to create a source code for safety-critical applications. © Gesellschaft für Informatik, Bonn 2013.
The new loco family based on a construction kit of traction systems - A review from design phase up to the running dynamics verification process [Die neue lokomotivfamilie aus einem baukasten von antriebssystemen - Von der konzeption bis zu den lauftechnischen nachweisen]
Hildebrandt T.,Vossloh Locomotives GmbH |
Von Der Weth C.,Vossloh Locomotives GmbH |
Hopmann C.,Vossloh Locomotives GmbH |
Schwarz A.,Interfleet Technology GmbH
ZEVrail | Year: 2013
The development of the new locomotive family by Vossloh Locomotives takes the existing designs and experiences as base. At the same time this development process was characterized by fundamental changes in the documentation and verification processes. Considering these changed conditions and further aspects as economic efficiency and environmental compatibility a new locomotive family with a wide range of parameters was developed. These parameters cover the traction system of diesel hydraulic and diesel electric type, vehicle weights from 80 to 901 and driving power from 1000 up to 1800 kW. The key consideration in this case was the fact that technically identical parts can be used freely within the locomotive family. Especially the also new developed bogie generation based on a systematic construction kit presents a central foundation. The following running dynamic behavior verification process was carefully planned and implemented by consideration of European requirements. The whole development process was also supported by modern analysis methods as multiple body simulation. By using an optimized simulation environment which was adapted for this new locomotive family it was possible to perform a huge range of simulation analysis during the design process. Both the optimization of the design and the identification of relevant practical test were the main benefits of this simulation tool.
Ramcke B.,Vossloh Locomotives GmbH |
Hildebrandt T.,Vossloh Locomotives GmbH
ZEVrail | Year: 2011
Vossloh Locomotives will be phasing out its present product range in 2011 to be replaced by a newly engineered family of locomotives. The first member, the triple-axle G 6 shunter, was unveiled back in 2008. Four 4-axle models will join and complete the lineup by 2012. The five family members will comply with all existing and pending international codes and standards regarding emission control, safety, noise abatement, fire prevention, and software. The traction systems are engineered to allow maximum operating speeds of 120 km/h. To allow wider customer choice, a diesel-electric drive has now been added to the diesel-hydraulic version.
Van Der Weth C.,Vossloh Locomotives GmbH
ZEVrail | Year: 2013
On the basis of its G 6 vehicle platform homologated according to the requirements of the Interoperability of the Trans-European Rail System, Vossloh Locomotives derives a variety of locomotive configurations that match individual custom needs and, depending on the type of work, have very low fuel consumption. The focal point is electric power transmission made possible by the combination of various drive modules. Thanks to this strategy, technologies used in the automotive industry can be resorted to in rail vehicle design nowadays as well as very soon, future innovations in driveline technologies.