EFFRA Innovation Portal

Supervisory Control for Dynamic Feature Configuration in Product Lines

Project: Arrowhead Tools

Updated at: 29-04-2024

An Engineering Process model for managing a digitalised life-cycle of products in the Industry 4.0

Project: Arrowhead Tools

Updated at: 29-04-2024

Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis

Project: Arrowhead Tools

Updated at: 29-04-2024

Kalix: A Java 11 Library for Developing Eclipse Arrowhead System-of-Systems

Project: Arrowhead Tools

Updated at: 29-04-2024

The Role of Service Contracts in Interoperability Mismatch Identification

Project: Arrowhead Tools

Updated at: 29-04-2024

Automated derivation of variants in manufacturing systems design

Project: Arrowhead Tools

Updated at: 29-04-2024

Management platform for data translators supported by semantic annotations

Project: Arrowhead Tools

Updated at: 29-04-2024

Modeling an Industrial Revolution: How to Manage Large-Scale, Complex IoT Ecosystems?

Project: Arrowhead Tools

Updated at: 29-04-2024

JSON Schemas with Semantic Annotations Supporting Data Translation

Project: Arrowhead Tools

Updated at: 29-04-2024

Improved Analytical Model of Induction Machine for Digital Twin Application

Project: Arrowhead Tools

Updated at: 29-04-2024

DOCMA: A Decentralized Orchestrator for Containerized Microservice Applications

Project: Arrowhead Tools

Updated at: 29-04-2024

From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain

Project: Arrowhead Tools

Updated at: 29-04-2024

An Energy-efficient Distributed TDMA Scheduling Algorithm for ZigBee-like Cluster-tree WSNs

Project: Arrowhead Tools

Updated at: 29-04-2024

An interoperable tool-chain for energy monitoring applications

Project: Arrowhead Tools

Updated at: 29-04-2024

SOA framework platform for Y3

Project: Arrowhead Tools

Updated at: 29-04-2024

An Engineering Process model for managing a digitalised life-cycle of products in the Industry 4.0

Project: Arrowhead Tools

Updated at: 29-04-2024

Security Standard Compliance and Continuous Verification for Industrial IoT

Project: Arrowhead Tools

Updated at: 29-04-2024

Static Deadlock Detection in Frama-C

Project: Arrowhead Tools

Updated at: 29-04-2024

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata

Project: Arrowhead Tools

Updated at: 29-04-2024

A Model for Signatories in Cyber-Physical Systems

Project: Arrowhead Tools

Updated at: 29-04-2024

Training and verification plan for Y1

Project: Arrowhead Tools

Updated at: 29-04-2024

„Efficient Sensor Integration using IoT Frameworks in the Semiconductor Industry“

Project: Arrowhead Tools

Updated at: 29-04-2024

Car Racing Line Optimization with Genetic Algorithm using Approximate Homeomorphism

Project: Arrowhead Tools

Updated at: 29-04-2024

Parallel Parking: Optimal Entry and Minimum Slot Dimensions

Project: Arrowhead Tools

Updated at: 29-04-2024

Industry 4.0 Solutions for Interoperability: a Use Case about Tools and Tool Chains in the Arrowhead Tools Project

Project: Arrowhead Tools

Updated at: 29-04-2024

12th online Mittweida Workshop on Computational Intelligence- Innovative Efforts and Enhanced Experiences

Project: Arrowhead Tools

Updated at: 29-04-2024

Sensors data fusion for smart decisions making: A novel bi-functional system for the evaluation of sensors contribution ...

Project: Arrowhead Tools

Updated at: 29-04-2024

Autonomous runtime consumer interface generation and deployment for service interoperability

Project: Arrowhead Tools

Updated at: 29-04-2024

Sensors performance evaluation in classification tasks – ToF/Radar fusion system use case

Project: Arrowhead Tools

Updated at: 29-04-2024

Service interface translation. an interoperability approach

Project: Arrowhead Tools

Updated at: 29-04-2024

Resources

Selected filters:

Supervisory Control for Dynamic Feature Configuration in Product Lines

An Engineering Process model for managing a digitalised life-cycle of products in the Industry 4.0

Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis

Kalix: A Java 11 Library for Developing Eclipse Arrowhead System-of-Systems

The Role of Service Contracts in Interoperability Mismatch Identification

Automated derivation of variants in manufacturing systems design

Management platform for data translators supported by semantic annotations

Modeling an Industrial Revolution: How to Manage Large-Scale, Complex IoT Ecosystems?

JSON Schemas with Semantic Annotations Supporting Data Translation

Improved Analytical Model of Induction Machine for Digital Twin Application

DOCMA: A Decentralized Orchestrator for Containerized Microservice Applications

From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain

An Energy-efficient Distributed TDMA Scheduling Algorithm for ZigBee-like Cluster-tree WSNs

An interoperable tool-chain for energy monitoring applications

SOA framework platform for Y3

An Engineering Process model for managing a digitalised life-cycle of products in the Industry 4.0

Security Standard Compliance and Continuous Verification for Industrial IoT

Static Deadlock Detection in Frama-C

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata

A Model for Signatories in Cyber-Physical Systems

Training and verification plan for Y1

„Efficient Sensor Integration using IoT Frameworks in the Semiconductor Industry“

Car Racing Line Optimization with Genetic Algorithm using Approximate Homeomorphism

Parallel Parking: Optimal Entry and Minimum Slot Dimensions

Industry 4.0 Solutions for Interoperability: a Use Case about Tools and Tool Chains in the Arrowhead Tools Project

12th online Mittweida Workshop on Computational Intelligence- Innovative Efforts and Enhanced Experiences

Sensors data fusion for smart decisions making: A novel bi-functional system for the evaluation of sensors contribution ...

Autonomous runtime consumer interface generation and deployment for service interoperability

Sensors performance evaluation in classification tasks – ToF/Radar fusion system use case

Service interface translation. an interoperability approach