- Advanced Software Engineering Methodologies
- Safety Systems Engineering in Autonomy
- Business Process Modeling and Analysis
- Software System Performance and Reliability
- Scientific Computing and Data Management
- Security and Verification in Computing
- Smart Grid Security and Resilience
- Simulation Techniques and Applications
- Ethics and Social Impacts of AI
- Digital Transformation in Industry
- Software Reliability and Analysis Research
- Advanced Malware Detection Techniques
- Blockchain Technology Applications and Security
- Information and Cyber Security
- Radiation Effects in Electronics
- Real-time simulation and control systems
- Distributed systems and fault tolerance
- IoT and Edge/Fog Computing
- Access Control and Trust
- Risk and Safety Analysis
- Service-Oriented Architecture and Web Services
- Privacy-Preserving Technologies in Data
- Systems Engineering Methodologies and Applications
- BIM and Construction Integration
- Reinforcement Learning in Robotics
Fraunhofer Institute for Experimental Software Engineering
2017-2023
Masaryk University
2021
University of Kaiserslautern
2021
Tecnalia
2021
Boeing (Spain)
2021
RGB Medical Devices (Spain)
2021
Thales (Spain)
2021
In the context of Smart Ecosystems, systems engage in dynamic cooperation with other to achieve their goals. Expedient operation is only possible when all cooperate as expected. This requires a level trust between components ecosystem. New that join ecosystem therefore first need build up trust. Humans derive from behavioral reputation key situations. Ecosystems (SES), system or component can also be based on observation its behavior. this paper, we introduce method and test platform support...
Software ecosystems are considered the natural evolution of software product lines. A ecosystem provides a (software) within particular business and organizational context that supports exchange activities services domain. However, increasing degree autonomy demanded by is elevating system response to end users, while existing architectures not well prepared deal with dynamicity changes autonomous behavior needs. In order provide transition toward an increased level autonomy, in this...
The breakthrough of smart ecosystems formed by open adaptive systems requires new testing methods. need for safety and security on the roads is pushed ahead developments in area autonomous driving. Frameworks that support control functions are therefore needed. We present a prototype platform automotive ecosystem enables with special focus visualization integration real world. An abstract detailed description components, together argumentation chosen components interface presented as well....
With progressing digitalization and the trend towards autonomous computing, systems tend to form digital ecosystems, where each system aims at achieving its own goals.
Internet of Behavior (IoB) has emerged as a new research paradigm within the context digital ecosystems, with support for understanding and positively influencing human behavior by merging behavioral sciences information technology, fostering mutual trust building between humans technology. For example, when automated systems identify improper driving behavior, IoB can integrated adaptation to avoid risks that could lead hazardous situations.
Formation of digital ecosystems enables a multitude actors like organisations, users and developers to achieve different goals in cooperations. The achievement operational, tactical strategic involved relies on trustworthy cooperation systems that operate open environments might meet for the first time at runtime. Thus evaluation potential collaborator's trustworthiness also needs be performed runtime.In this paper, we enhance our work trust prediction ecosystems, based twins evaluation,...
Trust is a major aspect in the relationship between humans and autonomous safety-critical systems, such as vehicles. Although human errors may cause higher risks, failures of systems are more strongly perceived by general population, which hinders adoption systems. It therefore necessary to devise approaches for systematically building trust functions thereby facilitate process. In this paper, we introduce method framework incrementally context driving. Within envisioned solution, employ...
Within a digital ecosystem, systems and actors form coalitions for achieving common individual goals. In constant motion of collaborative competitive forces faced with the risk malicious attacks, ecosystem participants require strong guarantees their collaborators' trustworthiness. Evidence trustworthy behavior derived from runtime executions can provide these trust guarantees, given that clear definition delimitation concerns exist. Without them, base negotiating expectations, quantifying...
Artifacts support evaluating new research results and help comparing them with the state of art in a field interest. Over past years, several artifacts have been introduced to self-adaptive systems. While these shown their value, it is not clear what extent on problems self-adaptation that are relevant industry. This paper provides set guidelines for aim at supporting industry-relevant selfadaptation. The grounded data obtained from survey practitioners were derived during working sessions...
We advance the ability to design reliable Cyber-Physical Systems of (CPSoSs) by integrating artificial intelligence engineering methods these systems. The current practice relies heavily on independent validation software and hardware components, with only limited evaluation during integration activities. Furthermore, our changing landscape real-time adaptive systems allows components be dynamically included or re-distributed within a System (CPS), mostly unknown implications overall...
Fault injection testing approaches assess the reliability of execution environments for critical software. They support early safety concepts that mitigate impact hardware failures on software behavior. The growing use platform embedded systems raises need to verify execute top operating and middleware platforms. Current fault techniques consider resulting stack as one black box attempt test reaction all components in context faults. This leads very high complexity consequently requires a...
The dynamic forces that transit back and forth traditional boundaries of system development have led to the emergence digital ecosystems. Within these, business gains are achieved through intelligent control requires a continuous design runtime co-engineering process endangered by malicious attacks. possibility inserting specially crafted faults capable exploit nature unknown evolving behavior raises necessity detection at runtime.
Smart Ecosystem reflects in the control decisions of entities different nature, especially its software components. Particularly, malicious behavior requires a more accurate attention. This paper discusses challenges related to evaluation smart agents and proposes first solution leveraging monitoring facilities for a) assuring conformity between agent digital twin real-time b) validating twins during runtime predictive simulation.
Trust is a fundamental aspect in enabling smooth adoption of robotic technical innovations our societies. While Artificial Intelligence (AI) capable to uplift digital contributions societies while protecting environmental resources, its ethical and trust dimensions bring significant challenges for sustainable evolution systems. Inspired by the safety assurance case, this paper we introduce concept case together with implementation principles directed towards assuring trustworthy AI-enabled
System architectures of embedded systems are undergoing major changes.Embedded becoming cyberphysical (CPS) with open interfaces and resulting distributed control loops.This calls for new testing approaches that enable early evaluation system safety concepts, support the designs before they implemented.Simulation is a common technology supports systems, but existing simulators focused specialized.A single simulator often does not all models needed to provide valid environment designs.In this...
The emerging dynamic architectures of autonomous digital ecosystems raise new challenges in the process assuring trust and safety. In particular, admission software smart agents into will become a significant future topic. this work we propose concept predictive simulation, which elevates from virtual Hardware-in-the-Loop (vHiL) testbed, to support rapid runtime evaluation ecosystems. Based on introduce novel strategy for building components that enter an ecosystem as black boxes without...
Modern vehicles extend their system components outside the typical physical body, relying on functionalities provided by off-board resources within complex digital ecosystems. Focusing service-based connection automotive smart ecosystems, in this paper we present method of predictive simulation, based synergistic combination Digital Twin execution and interface-based testing approaches, used for building trust interactions between a safety critical third parties.
Dynamic changes within the cyberspace are greatly impacting human lives and our societies. Emerging evidence indicates that without an ethical overlook on technological progress, intelligent solutions created to improve enhance can easily be turned against humankind. In complex AI-socio-technical ecosystems where humans, AI (Artificial Intelligence) systems interact a common language for building trust, this paper introduces methodological concept of Ethical Digital Identities supporting...
Trust is a fundamental aspect in enabling self-adaptation of intelligent systems and paving the way towards smooth adoption technological innovations our societies. While Artificial Intelligence (AI) capable to uplift human contribution societies while protecting environmental resources, its ethical technical trust dimensions bring significant challenges for sustainable self-adaptive evolution domain safety-critical systems. Inspired from safety assurance case, this paper we introduce...