Time filter

Source Type

Vienna, Austria

Hametner R.,Thales Austria GmbH | Hegny I.,Vienna University of Technology | Zoitl A.,Fortiss GmbH
19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 | Year: 2014

To cope with the need for flexibility of industrial applications, and other customer related requirements, functional control behavior is shifted from hardware to software. This leads to higher software complexity. Therefore, testing of industrial software is a key technique to ensure overall system quality. Based on an analysis of testing approaches in software engineering and requirements in industrial automation system design with IEC 61499 function blocks a new unit testing process is proposed. The implementation of a platform independent test framework for IEC 61499 function blocks shows the applicability of the proposed testing process with representative examples. The presented solution is the first test framework based on the test first development approach to increase the software quality for industrial automation systems. © 2014 IEEE. Source

Mindel K.,Thales Alenia | Scheck O.,Thales Austria GmbH
ZEVrail | Year: 2011

"The equipment of vehicles with ETCS onboard units is too expensive" is stated frequently. Regardless of whether this perception is subjective or objective; for railway undertakings all costs related with the installation of train control systems have an important impact on their business and finally on the entire sector in competition with road. Therefore the question is which effective and practical measures for cost reduction do exist. At first the current situation of the equipment of vehicles with ETCS is examined and a detailed analysis of the cost structure is given. Based on the cost structure the main cost drivers are identified and different approaches for cost reduction are discussed. In the conclusion an outlook on the current and future initiatives is given. Source

Resch S.,Thales Austria GmbH | Steininger A.,Vienna University of Technology | Scherrer C.,Thales Austria GmbH
Journal of Systems Architecture | Year: 2015

Triple-modular-redundant applications are widely used for fault-tolerant safety-critical computation. They have strict timing requirements for correct operation. We present an architecture which provides composability and mixed-criticality to support integration and to ease certification of such safety-critical applications. In this architecture, an additional layer is required for the sharing/partitioning of resources. This potentially jeopardizes the synchronization necessary for the triple-modular-redundant applications. We investigate the effects of different (unsynchronized) scheduling methods for the resource-sharing layer in this architecture and conclude that an out-of-the-box solution, which guarantees the technical separation between applications with fast reaction time requirements is only feasible when executing at most one instance of a triple-modular-redundant application per CPU-core for single and multi-core CPUs. Only when accepting changes in the applications or the applications' synchronization mechanisms, are more flexible solutions with good performance and resource utilization available. © 2015 Elsevier B.V. All rights reserved. Source

Sunder C.,Thales Austria GmbH | Vyatkin V.,University of Auckland | Vyatkin V.,Lulea University of Technology | Zoitl A.,Vienna University of Technology | Zoitl A.,Fortiss GmbH
Transactions on Embedded Computing Systems | Year: 2013

This article presents a new formal approach to validation of on-the-fly modification of control software in automation systems. The concept of downtimeless system evolution (DSE) is introduced. The DSE is essentially based on the use of IEC 61499 system architecture and formal modeling and verification of the hardware and software of an automation device. The validation is performed by means of two complimentary techniques: analytic calculations and formal verification by model-checking. © 2013 ACM. Source

Munch D.,Airbus | Paulitsch M.,Thales Austria GmbH | Herkersdorf A.,TU Munich
2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings | Year: 2015

Certification is the process in which a manufacturer has to prove to authorities that an aircraft and systems like safety-critical avionic systems work safely as intended without unacceptable hazards. Means to achieve this are redundancy, separation/protection, monitoring, and recovery mechanisms. The objective of this paper is to provide a cost-efficient solution for monitoring of Commercial Off-The-Shelf (COTS) Input/Output (I/O) devices using COTS components and standards. The first contribution of this paper is an evaluation-proved single-event monitoring concept to permit PCI Express (PCIe) debugging without an expensive PCIe protocol analyzer and to facilitate build-in self-tests for COTS PCIe I/O devices. This is proved with an evaluation. The second contribution is a run-time monitoring concept to monitor, detect, prevent errors and to recover from errors for spatial separation of COTS PCIe I/O devices during operation. Both monitoring types use only available PCIe-compatible COTS components. This makes them portable to various computing architectures (Intel, ARM, PowerPC) and applicable for existing I/O virtualization and I/O sharing solutions. A practical evaluation reveals that the performance overhead (transfer time, transfer rate) inserted by the run-time monitoring is with 0.88% small and insignificant. © 2015 IEEE. Source

Discover hidden collaborations