Test suite generation and augmentation for reconfigurable industrial control software in the internet of production
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen University, Dissertation, 2024
- Keyword
-
Softwareentwicklung
Rekonfiguration
Softwaretest
Field programmable gate array
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2024
- Creator
- Contributor
-
Kowalewski, Stefan
Herber, Paula
- DOI
-
10.18154/RWTH-2024-08524
- URN
-
urn:nbn:de:101:1-2411090037523.880764224828
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
2025-08-15T07:37:12+0200
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lutz, Marco
- Kowalewski, Stefan
- Herber, Paula
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2024
Other Objects (12)
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
Synchronization-based cooperative trajectory planning of networked vehicles
The regional scale surface mass balance of Pine Island Glacier, West Antarctica over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Verification of programmable logic controller code using model checking and static analysis
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
Synchronization-based cooperative trajectory planning of networked vehicles
The regional scale surface mass balance of Pine Island Glacier, West Antarctica over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Verification of programmable logic controller code using model checking and static analysis
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
Synchronization-based cooperative trajectory planning of networked vehicles
The regional scale surface mass balance of Pine Island Glacier, West Antarctica over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements