Papers by Christian Kreiner
Communications in Computer and Information Science, 2013
This paper discusses (based on the EU project AQUA) how the core elements of three complementary ... more This paper discusses (based on the EU project AQUA) how the core elements of three complementary approaches and standards can be integrated into one compact skill set with training and best practices to be applied. In this project experts from Automotive SPICE (ISO 15504), Functional Safety (ISO 26262) and Lean Six Sigma collaborate. In a first analysis the experts identified an architecture of core elements where all three approaches fit together and where a holistic view about improvement is needed. The Automotive Clusters from Austria and Slovenia are trial partners and will roll out this knowledge in pilot courses to the industry. Other Automotive Clusters showed interest and will join the trial phase.
EU Project SafEUr – Competence Requirements for Functional Safety Managers
Communications in Computer and Information Science, 2012
Integrating Functional Safety, Automotive SPICE and Six Sigma – The AQUA Knowledge Base and Integration Examples
Communications in Computer and Information Science, 2014
ABSTRACT AQUA stands for Knowledge Alliance for Training Quality and Excellence in Automotive. Th... more ABSTRACT AQUA stands for Knowledge Alliance for Training Quality and Excellence in Automotive. The AQUA project is financially supported by the European Commission in the Leonardo da Vinci part of the Lifelong Learning Programme under the project number EAC-2012-0635. This paper extends the EuroSPI 2013 publication [4] which discussed (based on the EU project AQUA) how the core elements of three complementary approaches (Automotive SPICE, Functional safety, Six Sigma) and standards can be integrated into one compact skill set with training and best practices to be applied. In this paper we describe the modular knowledge base which was elaborated and highlight some aspects where the integrated use of all three methods can be demonstrated. The results of the project are disseminated to Automotive industry in partnership with a set of European Automotive associations.
Automotive Quality Universities - AQUA Alliance Extension to Higher Education
Communications in Computer and Information Science, 2016
A development methodology for variant-rich automotive software architectures
E I Elektrotechnik Und Informationstechnik, Jun 1, 2011
Zusammenfassung Hohe Marktdynamik führt zu immer schneller werdenden Produktentwicklungszyklen a... more Zusammenfassung Hohe Marktdynamik führt zu immer schneller werdenden Produktentwicklungszyklen automotiver eingebetteter Systeme. Der multidisziplinäre Charakter in der Entwicklung derartiger sicherheitsgerichteter Systeme stellt hohe Anforderungen an eine effiziente und effektive Wiederverwendungsstrategie. Das V-Modell ist ein weitverbreiteter Entwicklungsprozess in dieser Branche. Es beinhaltet typischerweise modellgetriebene Entwicklung, Sicherheitstechnik und Verifikation (Komponententest, Integrationstest, Co-simulation etc.) Produktlinienorientierte Entwicklung verspricht schnelle und effiziente Produktentwicklung durch systematische Wiederverwendung
FIES: A Fault Injection Framework for the Evaluation of Self-Tests for COTS-Based Safety-Critical Systems
2014 15th International Microprocessor Test and Verification Workshop, Dec 15, 2014
ABSTRACT Safety-critical systems have to satisfy ever-growing demands for high computing performa... more ABSTRACT Safety-critical systems have to satisfy ever-growing demands for high computing performance and cost-efficiency. This leads to a move to commercial off-the-shelf hardware components that are not hardened. Unfortunately, these components are becoming increasingly vulnerable to operational faults and the manufacturers do not guarantee a certain level of dependability. However, in order to maintain a high integrity, safety-critical systems have to ensure the correct functionality of hardware components during operation. Besides redundancy techniques, this is typically realized with build-in self-tests implemented at software level. Safety-standards, such as the IEC 61508 standard, prescribe certain fault models that should be used to assess the diagnostic coverage of self-tests with fault injection experiments. Typical fault injection frameworks use gate-level netlists or RTL models. However, these hardware models are not publicly available for most COTS processors. In this paper we present a Fault Injection framework for the Evaluation of software-based Self-tests (FIES) according to the safety standard IEC 61508. This virtual platform supports widelyused embedded COTS processors, such as ARM cores, and provides feedback about the diagnostic coverage of self-tests in early design stages. It supports the simulation of faults in the control and execution path of an ARM processor and features an extended fault model to simulate memory coupling faults. The applicability of the approach is shown by using it for the evaluation of a memory test.
International Journal of Advanced Computer Science, Jan 17, 2013
Virtual Organization, Runtime model execution, Multi-Modeling, Component based development,
Incorporation of Model-Based System and Software Development Environments
2015 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
Using a remote lab for teaching energy harvesting enhanced wireless sensor networks
2013 IEEE Global Engineering Education Conference (EDUCON), 2013
ABSTRACT Teaching wireless sensor networks (WSNs) only theoretically is not sufficient to underst... more ABSTRACT Teaching wireless sensor networks (WSNs) only theoretically is not sufficient to understand the complex interaction of these networks. WSNs consist of sensor nodes which measure physical quantities of their environment, preprocess the measured data, and transmit it towards a base station in a multi-hop manner. WSNs are typically used in application areas without wired infrastructure and so they must be powered by batteries or energy harvesting systems. Due to the influence of different factors on the behavior, practical exercises can enhance the learning process because the students can perform their experimentation independently. This work presents the use of a remote lab for teaching energy harvesting enhanced WSNs. Students can learn the behavior of WSNs and the influences of energy harvesting. Furthermore, practical aspects of WSNs are shown by using a realistic application scenario. This work is part of the European project Remotelabs Access in Internet-based Performance-centered Learning Environment for Curriculum Support.
Automated Generation of AUTOSAR Description File for Safety-Critical Software Architectures
International Journal of Networked and Distributed Computing, Aug 1, 2014
Component-based Software Engineering (CBSE) is currently a key paradigm used for developing safet... more Component-based Software Engineering (CBSE) is currently a key paradigm used for developing safetycritical systems. It provides a fundamental means to master systems complexity, by allowing to design systems parts (i.e., components) for reuse and by allowing to develop those parts independently. One of the main challenges of introducing CBSE in this area is to ensure the integrity of the overall system after building it from individual components, since safety-critical systems require a rigorous development and qualification process to be released for the operation. Although the topic of compositional modelling and verification in the context of component-based systems has been studied intensively in the last decade, there is currently still a lack of tools and methods that can be applied practically and that consider major related systems quality attributes such as usability and scalability. In this paper, we present a novel approach for design-time modelling and verification of safety-critical systems, based on data semantics of components. We describe the composition, i.e., the systems design, and the underlying properties of components as a Constraint Satisfaction Problem (CSP) and perform the verification by solving that problem. We show that CSP can be successfully applied for the verification of compositions for many types of properties. In our experimental setup we also show how the proposed verification scales with regard to the complexity of different system configurations.
QEMU-Based Fault Injection for a System-Level Analysis of Software Countermeasures Against Fault Attacks
2015 Euromicro Conference on Digital System Design, 2015
A lean metric acquisition and presentation environment for the assessment of a test process improvement experiment
Conference Proceedings of the EUROMICRO
The introduction of environment simulation to support tests of control software for automatic log... more The introduction of environment simulation to support tests of control software for automatic logistic systems is subject of a process improvement experiment (ESSI-PIE 27519 “PITIS”). To evaluate this method, a lean metric suite has been developed according to the GQM paradigm. In order to be accepted by the programmers, it is kept simple and user-friendly by integrating metric data acquisition
WATIS2: design and application of an environment simulation system for test improvement of control software for automatic logistic systems
... racks) and a set of automatic transport means like conveyors, lifting units and mobile subsys... more ... racks) and a set of automatic transport means like conveyors, lifting units and mobile subsystems like rail-guided stacker cranes, AGVs (automatic ... useful for load tests, test scenarios, which are difficult to establish in reality, and systems tests of highly safety critical systems like ...
Combining Different Models of Computation for Cosimulation of Heterogeneous Systems
A Lean Automotive E/E-System Design Approach with Integrated Requirements Management Capability
Lecture Notes in Computer Science, 2015
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain
Lecture Notes in Computer Science, 2015
A Virtual Fault Injection Framework for Reliability-Aware Software Development
2015 IEEE International Conference on Dependable Systems and Networks Workshops, 2015
Model based data access in mobile grid applications
ABSTRACT
Integration of Heterogeneous Tools to a Seamless Automotive Toolchain
Communications in Computer and Information Science, 2015
Uploads
Papers by Christian Kreiner