Search Results - "Kajtazovic, Nermin"

Degradation Detection in a Redundant Sensor Architecture by Kajmakovic, Amer, Diwold, Konrad, Römer, Kay, Pestana, Jesus, Kajtazovic, Nermin

“…Safety-critical automation often requires redundancy to enable reliable system operation. In the context of integrating sensors into such systems, the…”
Get full text

Evaluation of diverse compiling for software-fault detection by Holler, Andrea, Kajtazovic, Nermin, Rauter, Tobias, Romer, Kay, Kreiner, Christian

“…Although software fault prevention techniques improve continually, faults remain in every complex software system. Thus safety-critical embedded systems need…”
Get full text

On Design-time Modelling and Verification of Safety-critical Component-based Systems by Kajtazovic, Nermin, Preschern, Christopher, Höller, Andrea, Kreiner, Christian

“…Component-based Software Engineering (CBSE) is currently a key paradigm used for developing safety-critical systems. It provides a fundamental means to master…”
Get full text

A Compiler and Language Support for Designing Mixed-Criticality Applications by Kajtazovic, Nermin, Hödl, Peter, Botler, Leo Happ

“…Coexistence of software components and functions of different criticality in a single computing platform has challenged the safety community for the past two…”
Get full text

Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications by Kajtazovic, Nermin, Hodl, Peter, Macher, Georg

“…Ensuring traceability between software code and its runtime memory is a required design measure in a number of application fields to achieve functional safety…”
Get full text

Flexible Soft Error Mitigation Strategy for Memories in Mixed-Critical Systems by Kajmakovic, Amer, Diwold, Konrad, Kajtazovic, Nermin, Zupanc, Robert, Macher, Georg

“…As memories are becoming a ubiquitous and indispensable part of electronic devices across all industrial domains, the importance of their reliability and…”
Get full text

Lightweight Introduction of EAST-ADL2 in an Automotive Software Product Line by Leitner, A., Kajtazovic, N., Mader, R., Kreiner, C., Steger, C., Weiss, Reinhold

“…This paper describes the technical aspects of the transition to a software product line approach in the automotive domain. One major challenge is the current…”
Get full text

Predictive Fail-Safe Improving the Safety of Industrial Environments through Model-based Analytics on hidden Data Sources by Kajmakovic, Amer, Zupanc, Robert, Mayer, Simon, Kajtazovic, Nermin, Hoeffernig, Martin, Vogl, Herwig

“…This paper explores how the functional safety of industrial deployments can be improved through emerging Industrie 4.0 approaches. We discuss how new sources…”
Get full text

A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems by Kajtazovic, Nermin, Preschern, Christopher, Kreiner, Christian

“…Safety-critical embedded systems have to undergo rigorous development process in order to ensure that their function will not compromise humans or environment…”
Get full text

Towards an automated generation of application confinement policies with binary analysis by Rauter, Tobias, Holler, Andrea, Kajtazovic, Nermin, Kreiner, Christian

“…Application-based access control technologies are used to protect systems from malicious or compromised software. Existing rule-based access control systems…”
Get full text

A Persistent Naming Scheme for Embedded Systems in Automation by Kajtazovic, Nermin, Preschern, Christopher, Kreiner, Christian

“…Complex technical systems are generally multi-vendor solutions that comprise a large number of reusable vendor-specific components (devices). They continuously…”
Get full text

Ubtl UML testing profile based testing language by Iber, Johannes, Kajtazovic, Nermin, Holler, Andrea, Rauter, Tobias, Kreiner, Christian

“…The continuous increase of software complexity is one of the major problems associated with the development of today's complex technical systems. In…”
Get full text

Reducing Certification Costs through Assured Dynamic Software Configuration by Kajtazovic, Nermin, Holler, Andrea, Rauter, Tobias, Kreiner, Christian

“…Engineering activities in the operation and maintenance phase of safety-critical systems are becoming increasingly important. The ever more rising software…”
Get full text

An Architecture for Safe and Secure Automation System Devices and Maintenance Process by Preschern, Christopher, Kajtazovic, Nermin, Kreiner, Christian

“…This paper describes a generic high-level security architecture for safety critical automation system devices and a secure solution for device maintenance. The…”
Get full text

FIES: A Fault Injection Framework for the Evaluation of Self-Tests for COTS-Based Safety-Critical Systems by Holler, Andrea, Schonfelder, Gerhard, Kajtazovic, Nermin, Rauter, Tobias, Kreiner, Christian

“…Safety-critical systems have to satisfy ever-growing demands for high computing performance and cost-efficiency. This leads to a move to commercial…”
Get full text

Verifying generic IEC 61508 CPU self-tests with fault injection by Preschern, Christopher, Kajtazovic, Nermin, Holler, Andrea, Steger, Christian, Kreiner, Christian

“…In this paper we present generic CPU self-test programs and we check if the test programs conform to the IEC 61508 safety standard. We use processor…”
Get full text

Software-Based Remote Attestation for Safety-Critical Systems by Preschern, Christopher, Hormer, Andreas Johann, Kajtazovic, Nermin, Kreiner, Christian

“…Assuring system integrity to a remote communication partner through attestation is a security concept which also is very important for safety-critical systems…”
Get full text

Built-in security enhancements for the 1oo2 safety architecture by Preschern, C., Kajtazovic, N., Kreiner, C.

“…This paper proposes a high level hardware architecture for safe cyber-physical systems taking into account security concerns. The in the safety domain well…”
Get full text