Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

European Initiative to Enable Validation for Highly Automated Safe and Secure Systems

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Documents, reports (69)
D1.6.3 v1 Evaluation result of the farming domain (odnośnik otworzy się w nowym oknie)

A report will be given on the results of executing the evaluation. This deliverable gives a statement on whether or not the objectives of the ENABLE S3 project are reached. This will be done twice first for the intermediate results and second for the final results.

D1.1.2 v1 System under test requirements and test system requirements from the automotive domain (odnośnik otworzy się w nowym oknie)

A combined report on automotive use case requirements will be given. This report will define two different kinds of requirements. On the one side requirements on the system under test will be defined. On the other side requirements on the test system will be defined. This document will be delivered in a preliminary and a final version.

D2.1.2 v2 Requirement consolidation report (odnośnik otworzy się w nowym oknie)

Update of D2.1.2 v1

D1.6.2 v1 System under test requirements and test system requirements from the farming domain (odnośnik otworzy się w nowym oknie)

A combined report on farming use case requirements will be given. This report will define two different kinds of requirements. On the one side requirements on the system under test will be defined. On the other side requirements on the test system will be defined. This document will be delivered in a preliminary and a final version.

D1.4.2 v2 System under test requirements and test system requirements from the maritime domain (odnośnik otworzy się w nowym oknie)

Update of D1.4.2 v1

D1.3.3 v2 Evaluation result of the rail domain (odnośnik otworzy się w nowym oknie)

Update of D1.3.3 v1

D.3.4.1 Platform specification (odnośnik otworzy się w nowym oknie)

This deliverable will define the modular ACPS co-simulation and validation platform, simulation model and data management, data recording as well as required standardized interfaces for office simulation, MiL, SiL, and HiL

D4.5.2 v3 Demonstration Report + Feedback from the health use cases (odnośnik otworzy się w nowym oknie)

final version according to the agile development process.

D4.5.2 v2 Demonstration Report + Feedback from the health use cases (odnośnik otworzy się w nowym oknie)

intermediate version according to the agile development process.

D1.1.3 v1 Evaluation result of the automotive domain (odnośnik otworzy się w nowym oknie)

A report will be given on the results of executing the evaluation. This deliverable gives a statement on whether or not the objectives of the ENABLE S3 project are reached. This will be done twice first for the intermediate results and second for the final results.

D4.3.2 v2 Demonstration Report + Feedback from the rail use case (odnośnik otworzy się w nowym oknie)

intermediate version according to the agile development process.

D5.3.1 v3 Report on IOS and RTP Contributions (odnośnik otworzy się w nowym oknie)

Update of version 2

D1.1.2 v2 System under test requirements and test system requirements from the automotive domain (odnośnik otworzy się w nowym oknie)

Update of D1.1.2 v1

D1.2.3 v2 Evaluation result of the aerospace domain (odnośnik otworzy się w nowym oknie)

Update of D1.2.3 v1

D4.5.2 v1 Demonstration Report + Feedback from the health use cases (odnośnik otworzy się w nowym oknie)

This deliverable includes one report per health use case describing the demonstrator, the results of the demonstration execution and the feedback regarding the completeness and applicability of the developed results. preliminary version according to the agile development process.

D1.5.2 v2 System under test requirements and test system requirements from the health domain (odnośnik otworzy się w nowym oknie)

Update of D1.5.2 v1

D1.2.3 v1 Evaluation result of the aerospace domain (odnośnik otworzy się w nowym oknie)

A report will be given on the results of executing the evaluation. This deliverable gives a statement on whether or not the objectives of the ENABLE S3 project are reached. This will be done twice first for the intermediate results and second for the final results.

D3.4.1 v2 Platform specification (odnośnik otworzy się w nowym oknie)

Update of Platform specification v1

D3.1.3 Analysis of error effects & attack vectors (odnośnik otworzy się w nowym oknie)

The error effects occurring in the gathered dataset are analyzed and the resulting information is condensed in such a way, that WP3.3 can use the results to train/configure the error injection models. The deliverable will contain an analysis of attack vectors and possibilities for their detection as well as a compilation of security and safety threats of timing and wireless network behavior and communication and a compilation of identified abnormal behaviors and potential safety and security threats.

D1.4.3 v1 Evaluation result of the maritime domain (odnośnik otworzy się w nowym oknie)

A report will be given on the results of executing the evaluation. This deliverable gives a statement on whether or not the objectives of the ENABLE S3 project are reached. This will be done twice first for the intermediate results and second for the final results.

D1.5.2 v1 System under test requirements and test system requirements from the health domain (odnośnik otworzy się w nowym oknie)

A combined report on health use case requirements will be given. This report will define two different kinds of requirements. On the one side requirements on the system under test will be defined. On the other side requirements on the test system will be defined. This document will be delivered in a preliminary and a final version.

D5.3.1 v1 Report on IOS and RTP Contributions (odnośnik otworzy się w nowym oknie)

This deliverable presents the ENABLE S3 contributions to the IOS and RTP respectively as outcomes of the task T5.2. 1.

D1.6.2 v2 System under test requirements and test system requirements from the farming domain (odnośnik otworzy się w nowym oknie)

Update of D1.6.2 v1

D5.1.3 Final Dissemination Plan (odnośnik otworzy się w nowym oknie)

This dissemination plan is a refined version of the preliminary one described in the project proposal.

D4.6.2 v2 Demonstration Report + Feedback of the farming use case (odnośnik otworzy się w nowym oknie)

intermediate version according to the agile development process.

D1.6.3 v2 Evaluation result of the farming domain (odnośnik otworzy się w nowym oknie)

Update of D1.6.3 v1

D4.2.2 v2 Demonstration Report + Feedback from the aerospace use cases (odnośnik otworzy się w nowym oknie)

intermediate version according to the agile development process.

D1.3.3 v1 Evaluation result of the rail domain (odnośnik otworzy się w nowym oknie)

A report will be given on the results of executing the evaluation. This deliverable gives a statement on whether or not the objectives of the ENABLE S3 project are reached. This will be done twice first for the intermediate results and second for the final results.

D1.4.2 v1 System under test requirements and test system requirements from the maritime domain (odnośnik otworzy się w nowym oknie)

A combined report on maritime use case requirements will be given. This report will define two different kinds of requirements. On the one side requirements on the system under test will be defined. On the other side requirements on the test system will be defined. This document will be delivered in a preliminary and a final version.

D2.2.1 Metrics and measurements for evaluation report (odnośnik otworzy się w nowym oknie)

This deliverable summarizes the metrics and measurements which will used by the use case owners to evaluate the project results.

D1.2.2 v1 System under test requirements and test system requirements from the aerospace domain (odnośnik otworzy się w nowym oknie)

A combined report on aerospace use case requirements will be given. This report will define two different kinds of requirements. On the one side requirements on the system under test will be defined. On the other side requirements on the test system will be defined. This document will be delivered in a preliminary and a final version.

D4.1.2 v3 Demonstration Report + Feedback from the automotive use cases (odnośnik otworzy się w nowym oknie)

final version

D3.2.2 v1 V&V Methodology (odnośnik otworzy się w nowym oknie)

Results of task 3.2.6. M12: first version. First and updated versions will be provided to SP4 for application and feedback; intermediate versions will be provided for early consideration. It will also comprise description how consolidated requirements will be addressed by WP3.2

D4.4.2 v3 Demonstration Report + Feedback from the maritime use case (odnośnik otworzy się w nowym oknie)

final version according to the agile development process.

D3.5.1 Description of requirements and of V&V criteria for component simulation and stimulation (odnośnik otworzy się w nowym oknie)

A report will be given about the requirements on component simulation and stimulation that specifies the input from the use cases and the V&V methodology of the use cases. Referring to the requirements the criteria for simulation model and stimulation system V&V are decribed. This document will also describe the use of Security Risk Assessment to identify Security Requirements, in order to be able to assess the robustness of automated systems through simulated communication and stimulated systems.

D4.4.2 v2 Demonstration Report + Feedback from the maritime use case (odnośnik otworzy się w nowym oknie)

intermediate version according to the agile development process.

D3.1.2 Analysis of datasets for scenario generation and sensor modelling (odnośnik otworzy się w nowym oknie)

The datasets are analyzed using machine learning approaches to support the development of sensor models and scenario generation. Big data in human-machine-interaction in automated driving will also be addressed.

D4.2.2 v3 Demonstration Report + Feedback from the aerospace use cases (odnośnik otworzy się w nowym oknie)

final version according to the agile development process.

D3.1.5 List of recorded Datasets (odnośnik otworzy się w nowym oknie)

update of D3.1.1. Publication of a list of all provided Datasets gathered within the project, which can be used for testing of automated systems.

D1.5.3 v2 Evaluation result of the health domain (odnośnik otworzy się w nowym oknie)

Update of D1.5.3 v1

D1.3.2 v2 System under test requirements and test system requirements from the rail domain (odnośnik otworzy się w nowym oknie)

Update of D1.3.2 v1

D1.6.1 Specification of the Farming Use Case (odnośnik otworzy się w nowym oknie)

A report will be given on the specification of the farming use case. A detailed description will be given on each use case, its functions, area and way of application, components used and its boundary conditions.

D5.3.1 v2 Report on IOS and RTP Contributions (odnośnik otworzy się w nowym oknie)

This deliverable presents the ENABLE S3 contributions to the IOS and RTP respectively as outcomes of the task T5.2. 1.

D4.2.2 v1 Demonstration Report + Feedback from the aerospace use cases (odnośnik otworzy się w nowym oknie)

D4.2.2 v1 Demonstration Report + Feedback from the aerospace use cases This deliverable includes one report per aerospace use case describing the demonstrator, the results of the demonstration execution and the feedback regarding the completeness and applicability of the developed results. There will be three versions of the deliverable: a preliminary, an intermediate and a final one according to the agile development process.

D1.5.3 v1 Evaluation result of the health domain (odnośnik otworzy się w nowym oknie)

A report will be given on the results of executing the evaluation. This deliverable gives a statement on whether or not the objectives of the ENABLE S3 project are reached. This will be done twice first for the intermediate results and second for the final results.

D4.1.2 v1 Demonstration Report + Feedback from the automotive use cases (odnośnik otworzy się w nowym oknie)

This deliverable includes one report per automotive use case describing the demonstrator, the results of the demonstration execution and the feedback regarding the completeness and applicability of the developed results. There will be three versions of the deliverable: a preliminary, an intermediate and a final one according to the agile development process.

D3.1.1 Identification of Datasets (odnośnik otworzy się w nowym oknie)

First collection of results of tasks 3.1.1. Suitable Datasets are identified and gathered to be used in the project. Need for data recordings in the project identified. Methods and examples for instrumentation are described.

D4.4.2 v1 Demonstration Report + Feedback from the maritime use case (odnośnik otworzy się w nowym oknie)

This deliverable includes one report for the maritime use case describing the demonstrator, the results of the demonstration execution and the feedback regarding the completeness and applicability of the developed results. Preliminary version according to the agile development process.

D3.2.2 v3 V&V-Methodology (odnośnik otworzy się w nowym oknie)

Results of task 3.2.6. M34 final version.

D4.3.2 v1 Demonstration Report + Feedback from the rail use case (odnośnik otworzy się w nowym oknie)

This deliverable includes one report for the rail use case describing the demonstrator, the results of the demonstration execution and the feedback regarding the completeness and applicability of the developed results.

D5.3.2 v2 Report on Standardisation Work (odnośnik otworzy się w nowym oknie)

Update of version 1

D4.6.2 v1 Demonstration Report + Feedback of the farming use case (odnośnik otworzy się w nowym oknie)

This deliverable includes one report for the farming use case describing the demonstrator, the results of the demonstration execution and the feedback regarding the completeness and applicability of the developed results. preliminary version according to the agile development process.

D4.1.2 v2 Demonstration Report + Feedback from the automotive use cases (odnośnik otworzy się w nowym oknie)

Update of v1

D5.3.2 v1 Report on Standardisation Work (odnośnik otworzy się w nowym oknie)

This deliverable describes the pre-standardisation and standardisation activities that are conducted in the task T5.2.2.

D3.2.2 v2 V&V-Methodology (odnośnik otworzy się w nowym oknie)

Results of task 3.2.6. M24: updated version. First and updated versions will be provided to SP4 for application and feedback; intermediate versions will be provided for early consideration. It will also comprise description how consolidated requirements will be addressed by WP3.2

D5.1.4 v2 Final Communication & Dissemination Report (odnośnik otworzy się w nowym oknie)

This deliverable gives details about dissemination activities conducted by ENABLE S3 partners.

D5.1.4 v1 Intermediate Communication & Dissemination Report (odnośnik otworzy się w nowym oknie)

This deliverable gives details about dissemination activities conducted by ENABLE S3 partners.

D1.1.3 v2 Evaluation result of the automotive domain (odnośnik otworzy się w nowym oknie)

Update of D1.1.3 v1

D2.3.1 Requirements tracking (odnośnik otworzy się w nowym oknie)

Continuous up-to-date status of requirements in a requirement database.

D1.4.3 v2 Evaluation result of the maritime domain (odnośnik otworzy się w nowym oknie)

Update of D1.4.3 v1

D3.1.4 Reference Scenarios and benchmark for testing of ACPS and automated driving functions (odnośnik otworzy się w nowym oknie)

This deliverable entails the identification of typical usage scenarios to establish safety-critical aspects and to serve as reference. Scenarios which will be based on big data analysis and simulations and are domain-specific. It will comprise reference scenarios and benchmarks for all use case domains addressed in ENABLE S3, e.g. medical equipment, a benchmark for stochastic modeling of maneuver-based human driver behavior and interaction with other traffic participants based on analysis and segmentation of big data or parsing of spatial and temporal expression in English traffic-related texts, event detection across multiple streams of data and recommender systems for dealing with in-car simulations, which suggest a plurality of actions. The benchmark will be based on data from Dublin, Ireland; A benchmark for ADAS testing by identification of safety critical driving scenarios. Earlier versions of benchmark will be provided to demonstrators for use and feedback.

D3.5.1 v2 Description of requirements and of V&V criteria for component simulation and stimulation (odnośnik otworzy się w nowym oknie)

Update of Description of requirements and of V&V criteria for component simulation and stimulation v1

D2.1.1 Requirements Guidline Report (odnośnik otworzy się w nowym oknie)

This deliverable will describe the guidelines for writing testable requirements.

D1.2.2. v2 System under test requirements and test system requirements from the aerospace domain (odnośnik otworzy się w nowym oknie)

Update of Deliverable D1.2.2 v1

D2.1.2 v1 Requirement consolidation report (odnośnik otworzy się w nowym oknie)

This deliverable will summarize the consolidated requirements from the use cases from the different domains.

D1.3.2 v1 System under test requirements and test system requirements from the rail domain (odnośnik otworzy się w nowym oknie)

A combined report on rail use case requirements will be given This report will define two different kinds of requirements On the one side requirements on the system under test will be defined On the other side requirements on the test system will be defined This document will be delivered in a preliminary and a final version

D4.6.2 v3 Demonstration Report + Feedback of the farming use case (odnośnik otworzy się w nowym oknie)

final version according to the agile development process.

D4.3.2 v3 Demonstration Report + Feedback from the rail use case (odnośnik otworzy się w nowym oknie)

final version according to the agile development process.

D2.2.2 Measurements and final evaluation (odnośnik otworzy się w nowym oknie)

This deliverable summarizes the results of the use case evaluations in order to have an overview of the project results.

Demonstrators, pilots, prototypes (2)
D3.4.3 v2 ACPS integration platform for online/offline model coupling (odnośnik otworzy się w nowym oknie)

This prototype will include the modular integration platform for ACPS non-real-time and real-time simulation models

D3.4.3 v1 ACPS integration platform for online/offline model coupling (odnośnik otworzy się w nowym oknie)

This prototype will include the modular integration platform for ACPS non-real-time and real-time simulation models

Other (4)
D5.1.2 v2 Project Newsletter (odnośnik otworzy się w nowym oknie)

This deliverable reports on all recent news and activities from the project.

D5.1.1 Project webpage (odnośnik otworzy się w nowym oknie)

The project webpage will be designed, maintained and updated on a regular basis.

D5.1.2 v1 Project Newsletter (odnośnik otworzy się w nowym oknie)

This deliverable reports on all recent news and activities from the project.

D5.1.2 v3 Project Newsletter (odnośnik otworzy się w nowym oknie)

This deliverable reports on all recent news and activities from the project.

Publikacje

Conference proceedings (56)
Testing Solutions for AEB / AES Development

Autorzy: Markus Schmidl
Opublikowane w: 2019
Wydawca: carhs

Bayesian Classifier for Route Prediction with Markov Chains

Autorzy: Epperlein, Jonathan P.; Monteil, Julien; Liu, Mingming; Gu, Yingqi; Zhuk, Sergiy; Shorten, Robert
Opublikowane w: 21st IEEE International Conference on Intelligent Transportation Systems (ITSC), Numer 1, 2018
Wydawca: International Conference on Intelligent Transportation Systems

Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving

Autorzy: Quilbeuf , Jean; Barbier , Mathieu; Rummelhard , Lukas; Laugier , Christian; Legay , Axel; Baudouin , Blanche; Genevois , Thomas; Ibañez-Guzmán , Javier; Simonin , Olivier
Opublikowane w: https://hal.inria.fr/hal-01888556, Numer 1, 2018
Wydawca: HAL INRIA

Learning Timed Automata via Genetic Programming

Autorzy: Tappler, Martin; Aichernig, Bernhard K.; Larsen, Kim Guldstrand; Lorber, Florian
Opublikowane w: Numer 1, 2018
Wydawca: ?

A Hidden Markov Model for Route and Destination Prediction

Autorzy: Lassoued, Yassine; Monteil, Julien; Gu, Yingqi; Russo, Giovanni; Shorten, Robert; Mevissen, Martin
Opublikowane w: Numer 2, 2017
Wydawca: IEEE International Conference on Intelligent Transportation Systems

Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking

Autorzy: Barbier, Mathieu; Renzaglia, Alessandro; Quilbeuf, Jean; Rummelhard, Lukas; Paigwar, Anshul; Laugier, Christian; Legay, Axel; Ibañez-Guzmán, Javier; Simonin, Olivier
Opublikowane w: IV 2019 - 30th IEEE Intelligent Vehicles Symposium, Jun 2019, Paris, France. pp.1-8, Numer 2, 2018
Wydawca: IEEE ITSC

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Autorzy: Bartocci, Ezio; Bloem, Roderick; Nickovic, Dejan; Roeck, Franz
Opublikowane w: Numer 2, 2018
Wydawca: CAV 2018

Learning for Active 3D Mapping

Autorzy: Zimmermann, Karel; Petricek, Tomas; Salansky, Vojtech; Svoboda, Tomas
Opublikowane w: Numer 2, 2017
Wydawca: ICCV 2017

On the design of a decision engine for connected vehicles with an application to congestion management

Autorzy: Ordóñez-Hurtado, Rodrigo; Russo, Giovanni; Sinnott, Sam; Shorten, Robert
Opublikowane w: Numer 2, 2018
Wydawca: IEEE

Smart Systems Everywhere – Intelligence, Autonomy, Technology and Society (odnośnik otworzy się w nowym oknie)

Autorzy: Schoitsch Erwin
Opublikowane w: 26th Interdisciplinary Information Management Talks, Numer 2, 2017, ISBN 978-3-99062-339-8
Wydawca: 26th Interdisciplinary Information Management Talks
DOI: 10.5281/zenodo.2590948

Smart Systems Everywhere – how much Smartness is tolerable? (odnośnik otworzy się w nowym oknie)

Autorzy: Schoitsch Erwin
Opublikowane w: Proceedings IDIMT 2017, Numer 2, 2017
Wydawca: Trauner Verlag
DOI: 10.5281/zenodo.1043959

FPGA implementation of the CCSDS-123.0-B-1 lossless Hyperspectral Image compression algorithm prediction stage (odnośnik otworzy się w nowym oknie)

Autorzy: Giorgio Lopez, Ettore Napoli, Antonio G.M. Strollo
Opublikowane w: 2015 IEEE 6th Latin American Symposium on Circuits & Systems (LASCAS), 2015, Strona(/y) 1-4, ISBN 978-1-4799-8332-2
Wydawca: IEEE
DOI: 10.1109/lascas.2015.7250438

Fault-tolerant topology and routing synthesis for IEEE time-sensitive networking (odnośnik otworzy się w nowym oknie)

Autorzy: Voica Gavrilut, Bahram Zarrin, Paul Pop, Soheil Samii
Opublikowane w: Proceedings of the 25th International Conference on Real-Time Networks and Systems - RTNS '17, 2017, Strona(/y) 267-276, ISBN 9781-450352864
Wydawca: ACM Press
DOI: 10.1145/3139258.3139284

A Composition Mechanism for Refinement-Based Methods (odnośnik otworzy się w nowym oknie)

Autorzy: Thai Son Hoang, Dana Dghaym, Colin Snook, Michael Butler
Opublikowane w: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), 2017, Strona(/y) 100-109, ISBN 978-1-5386-2431-9
Wydawca: IEEE
DOI: 10.1109/iceccs.2017.27

Using Traffic Sequence Charts for the Development of HAVs

Autorzy: Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow
Opublikowane w: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018
Wydawca: ERTS 2018

Measurements revealing Challenges in Radar Sensor Modeling for Virtual Validation of Autonomous Driving (odnośnik otworzy się w nowym oknie)

Autorzy: Martin Holder, Philipp Rosenberger, Hermann Winner, Thomas Dhondt, Vamsi Prakash Makkapati, Michael Maier, Helmut Schreiber, Zoltan Magosi, Zora Slavik, Oliver Bringmann, Wolfgang Rosenstiel
Opublikowane w: 2018 21st International Conference on Intelligent Transportation Systems (ITSC), 2018, Strona(/y) 2616-2622, ISBN 978-1-7281-0323-5
Wydawca: IEEE
DOI: 10.1109/itsc.2018.8569423

Reusing Formal Models via Lifting (odnośnik otworzy się w nowym oknie)

Autorzy: Dana Dghaym, Colin Snook, Thai Son Hoang, Michael Butler
Opublikowane w: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 2018, Strona(/y) 189-192, ISBN 978-1-5386-9341-4
Wydawca: IEEE
DOI: 10.1109/iceccs2018.2018.00029

Hyperspectral Image Lossy Compression on a Reconfigurable and Fault-Tolerant Architecture Implemented over a COTS FPGA-Based System-on-Chip

Autorzy: Yubal Barrios, Antonio Saanchez, Roberto Sarmiento, Alfonso Rodrıguez2, Andres Otero, and Eduardo de laTorre
Opublikowane w: 6th International Workshop on On-Board Payload Data Compression (OBPDC), 2018
Wydawca: OBPDC

Model-Based Mutation Testing of Real-Time Systems via Model Checking (odnośnik otworzy się w nowym oknie)

Autorzy: Florian Lorber, Kim G. Larsen, Brian Nielsen
Opublikowane w: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2018, Strona(/y) 59-68, ISBN 978-1-5386-6352-3
Wydawca: IEEE
DOI: 10.1109/icstw.2018.00029

A Hardware-Friendly Algorithm for the On-Board Compression of Hyperspectral Images (odnośnik otworzy się w nowym oknie)

Autorzy: Raul Guerra, Maria Diaz, Yubal Barrios, Sebastian Lopez, Roberto Sarmiento
Opublikowane w: 2018 9th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing (WHISPERS), 2018, Strona(/y) 1-5, ISBN 978-1-7281-1581-8
Wydawca: IEEE
DOI: 10.1109/whispers.2018.8747229

Simulation-Based Testing Framework for Autonomous Driving Development (odnośnik otworzy się w nowym oknie)

Autorzy: Tong Duy Son, Ajinkya Bhave, Herman Van der Auweraer
Opublikowane w: 2019 IEEE International Conference on Mechatronics (ICM), 2019, Strona(/y) 576-583, ISBN 978-1-5386-6959-4
Wydawca: IEEE
DOI: 10.1109/icmech.2019.8722847

Using Traffic Sequence Charts at the Development of HAVs

Autorzy: Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow
Opublikowane w: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018
Wydawca: European Congress on Embedded Real Time Software and Systems 2018

Safety-Critical Control for Non-affine Nonlinear Systems with Application on Autonomous Vehicle

Autorzy: Tong Duy Son; Quan Nguyen
Opublikowane w: 2019
Wydawca: ?

Benchmarking and Functional Decomposition of Automotive Lidar Sensor Models

Autorzy: P. Rosenberger, M. Holder, S. Huch, H. Winner, T. Fleck, M. R. Zofka, J. M. Zöllner,
Opublikowane w: 2019
Wydawca: 2019 IEEE Intelligent Vehicles Symposium (IV’19)

Making (implicit) security requirements explicit for cyber-physical systems: A maritime use case security analysis

Autorzy: Omitola, Temitope, Butler, Michael and Rezazadeh, Abdolbaghi
Opublikowane w: 2019
Wydawca: 30th International Conference on Database and Expert Systems Applications

Formal model validation through acceptance tests

Autorzy: Fischer, Tomas, Snook, Colin and Hoang, Thai Son
Opublikowane w: 2018
Wydawca: University of Southampton

Model management tools for models of different domains: a systematic literature review

Autorzy: Weslley Silva Torres, M.G.J. van den Brand, A. Serebrenik
Opublikowane w: The 13th Annual IEEE International Systems Conference, 2019
Wydawca: Institute of Electrical and Electronics Engineers

Functional discretization of space using Gaussian processes for road intersection crossing (odnośnik otworzy się w nowym oknie)

Autorzy: Mathieu Barbier, Christian Laugier, Olivier Simonin, Javier Ibanez-Guzman
Opublikowane w: 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), 2016, Strona(/y) 156-162, ISBN 978-1-5090-1889-5
Wydawca: IEEE
DOI: 10.1109/itsc.2016.7795547

Mutation-Based Test-Case Generation with Ecdar (odnośnik otworzy się w nowym oknie)

Autorzy: Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik M. Nyman
Opublikowane w: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017, Strona(/y) 319-328, ISBN 978-1-5090-6676-6
Wydawca: IEEE
DOI: 10.1109/icstw.2017.60

Classification of drivers manoeuvre for road intersection crossing with synthethic and real data (odnośnik otworzy się w nowym oknie)

Autorzy: Mathieu Barbier, Christian Laugier, Olivier Simonin, Javier Ibanez-Guzman
Opublikowane w: 2017 IEEE Intelligent Vehicles Symposium (IV), 2017, Strona(/y) 224-230, ISBN 978-1-5090-4804-5
Wydawca: IEEE
DOI: 10.1109/ivs.2017.7995724

Dynamic reconfiguration under RTEMS for fault mitigation and functional adaptation in SRAM-based SoPCs for space systems (odnośnik otworzy się w nowym oknie)

Autorzy: Arturo Perez, Leonardo Suriano, Andres Otero, Eduardo de la Torre
Opublikowane w: 2017 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 2017, Strona(/y) 40-47, ISBN 978-1-5386-3439-4
Wydawca: IEEE
DOI: 10.1109/ahs.2017.8046357

Improved jamming resistance using electronically steerable parasitic antenna radiator (odnośnik otworzy się w nowym oknie)

Autorzy: Michal Tarkowski, Mateusz Rzymowski, Lukasz Kulas, Krzysztof Nyka
Opublikowane w: IEEE EUROCON 2017 -17th International Conference on Smart Technologies, 2017, Strona(/y) 496-500, ISBN 978-1-5090-3843-5
Wydawca: IEEE
DOI: 10.1109/eurocon.2017.8011161

Direction-of-Arrival Estimation Using an ESPAR Antenna with Simplified Beam Steering

Autorzy: Łukasz Kulas
Opublikowane w: 47th European Microwave Conference strony 1 - 4, 2017
Wydawca: 47th European Microwave Conference

Model-based, mutation-driven test case generation via heuristic-guided branching search (odnośnik otworzy się w nowym oknie)

Autorzy: Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Opublikowane w: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17, 2017, Strona(/y) 56-66, ISBN 9781-450350938
Wydawca: ACM Press
DOI: 10.1145/3127041.3127049

Compact antenna for digital beamforming with software defined radios (odnośnik otworzy się w nowym oknie)

Autorzy: Adam Narbudowicz, Max J. Ammann, Marek Plotka, Lukasz Kulas, Krzysztof Nyka, Mateusz Rzymowski
Opublikowane w: 2017 International Symposium on Antennas and Propagation (ISAP), 2017, Strona(/y) 1-2, ISBN 978-1-5386-0465-6
Wydawca: IEEE
DOI: 10.1109/isanp.2017.8228737

Recovering Markov Models from Closed-Loop Data

Autorzy: Jonathan Epperlein, Robert Shorten, Sergiy Zhuk
Opublikowane w: 2017
Wydawca: ARXIV

Investigation of continuous wave jamming in an IEEE 802.15.4 network (odnośnik otworzy się w nowym oknie)

Autorzy: J. Rewienski, M. Groth, L. Kulas, K. Nyka
Opublikowane w: 2018 22nd International Microwave and Radar Conference (MIKON), 2018, Strona(/y) 242-246, ISBN 978-83-949421-1-3
Wydawca: IEEE
DOI: 10.23919/mikon.2018.8405189

Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware (odnośnik otworzy się w nowym oknie)

Autorzy: Stefan Resch, Michael Paulitsch
Opublikowane w: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017, Strona(/y) 146-152, ISBN 978-1-5386-2387-9
Wydawca: IEEE
DOI: 10.1109/issrew.2017.43

Validation of a Real-Time Geometry-Based Stochastic Channel Model for Vehicular Scenarios (odnośnik otworzy się w nowym oknie)

Autorzy: Markus Hofer, Zhinan Xu, Dimitrios Vlastaras, Bernhard Schrenk, David Loeschenbrand, Fredrik Tufvesson, Thomas Zemen
Opublikowane w: 2018 IEEE 87th Vehicular Technology Conference (VTC Spring), 2018, Strona(/y) 1-5, ISBN 978-1-5386-6355-4
Wydawca: IEEE
DOI: 10.1109/vtcspring.2018.8417476

Towards improved Validation of Autonomous Systems for Smart Farming

Autorzy: Martijn Rooker Pablo Horstrand Aythami Salvador Rodriguez Sebastian Lopez Roberto Sarmiento Jose Lopez Ray Alejandro Lattarulo Joshue Manuel Perez Rastelli Zora Slavik David Pereira Markku Pusenius Tapio Leppälampi
Opublikowane w: 2018
Wydawca: CISTER Research Centre

A novel calibration method for RSS-based DoA estimation using ESPAR antennas (odnośnik otworzy się w nowym oknie)

Autorzy: M. Plotka, M. Tarkowski, K. Nyka, L. Kulas
Opublikowane w: 2018 22nd International Microwave and Radar Conference (MIKON), 2018, Strona(/y) 65-68, ISBN 978-83-949421-1-3
Wydawca: IEEE
DOI: 10.23919/mikon.2018.8405316

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving (odnośnik otworzy się w nowym oknie)

Autorzy: Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller and Udo Brockmeyer
Opublikowane w: EasyChair Preprint no. 162, 2018
Wydawca: Third International Workshop on Satisfiability Checking and Symbolic Computation
DOI: 10.29007/x3v9

The sleepwalker framework: Verification and validation of autonomous vehicles by mixed reality LiDAR stimulation (odnośnik otworzy się w nowym oknie)

Autorzy: Marc Rene Zofka, Marc Essinger, Tobias Fleck, Ralf Kohlhaas, J. Marius Zollner
Opublikowane w: 2018 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), 2018, Strona(/y) 151-157, ISBN 978-1-5386-5974-8
Wydawca: IEEE
DOI: 10.1109/simpar.2018.8376285

Traffic Participants in the Loop: A Mixed Reality-Based Interaction Testbed for the Verification and Validation of Autonomous Vehicles (odnośnik otworzy się w nowym oknie)

Autorzy: Marc Rene Zofka, Stefan Ulbrich, Daniel Karl, Tobias Fleck, Ralf Kohlhaas, Arne Ronnau, Rudiger Dillmann, J. Marius Zollner
Opublikowane w: 2018 21st International Conference on Intelligent Transportation Systems (ITSC), 2018, Strona(/y) 3583-3590, ISBN 978-1-7281-0323-5
Wydawca: IEEE
DOI: 10.1109/itsc.2018.8569226

A Feasible MPC-Based Negotiation Algorithm for Automated Intersection Crossing * (odnośnik otworzy się w nowym oknie)

Autorzy: Maximilian Kneissl, Adam Molin, Hasan Esen, Sandra Hirche
Opublikowane w: 2018 European Control Conference (ECC), 2018, Strona(/y) 1282-1288, ISBN 978-3-9524-2698-2
Wydawca: IEEE
DOI: 10.23919/ecc.2018.8550251

X-in-the-loop advanced driving simulation platform for the design,development, testing and validation of ADAS (odnośnik otworzy się w nowym oknie)

Autorzy: Sikandar Moten, Francesco Celiberti, Marco Grottoli, Anne van der Heide, Yves Lemmens
Opublikowane w: 2018 IEEE Intelligent Vehicles Symposium (IV), 2018, Strona(/y) 1-6, ISBN 978-1-5386-4452-2
Wydawca: IEEE
DOI: 10.1109/ivs.2018.8500409

Safety Verification Of ADAS By Collision-free Boundary Searching Of A Parameterized Catalog (odnośnik otworzy się w nowym oknie)

Autorzy: Jinwei Zhou, Luigi del Re
Opublikowane w: 2018 Annual American Control Conference (ACC), 2018, Strona(/y) 4790-4795, ISBN 978-1-5386-5428-6
Wydawca: IEEE
DOI: 10.23919/acc.2018.8431291

Fault tree-based Derivation of Safety Requirements for Automated Driving on the Example of cooperative Valet Parking

Autorzy: V. Schönemann H. Winner T. Glock, E. Sax B. Boeddeker S. vom Dorff G. Verhaeg F. Tronci G. G. Padilla
Opublikowane w: 2018
Wydawca: IEEE

Maneuver-based Adaptive Safety Zone for Infrastructure-Supported Automated Valet Parking (odnośnik otworzy się w nowym oknie)

Autorzy: Valerij Schönemann, Mara Duschek, Hermann Winner
Opublikowane w: Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019, Strona(/y) 343-351, ISBN 978-989-758-374-2
Wydawca: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0007689503430351

Timing Analysis of AVB Traffic in TSN Networks Using Network Calculus (odnośnik otworzy się w nowym oknie)

Autorzy: Luxi Zhao, Paul Pop, Zhong Zheng, Qiao Li
Opublikowane w: 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2018, Strona(/y) 25-36, ISBN 978-1-5386-5295-4
Wydawca: IEEE
DOI: 10.1109/rtas.2018.00009

Setting up an autonomous hyperspectral flying platform for precision agriculture (Conference Presentation) (odnośnik otworzy się w nowym oknie)

Autorzy: Aythami Salvador Rodriguez Valentin, Pablo Horstrand, José Fco. López, Sebastián López
Opublikowane w: High-Performance Computing in Geoscience and Remote Sensing VIII, 2018, Strona(/y) 6, ISBN 9781-510621688
Wydawca: SPIE
DOI: 10.1117/12.2503096

Hardware Implementation of the CCSDS 123.0-B-1 Lossless Multispectral and Hyperspectral Image Compression Standard by means of High Level Synthesis Tools (odnośnik otworzy się w nowym oknie)

Autorzy: Yubal Barrios, Antonio Sanchez, Lucana Santos, Sebastian Lopez, Jose Fco. Lopez, Roberto Sarmiento
Opublikowane w: 2018 9th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing (WHISPERS), 2018, Strona(/y) 1-5, ISBN 978-1-7281-1581-8
Wydawca: IEEE
DOI: 10.1109/whispers.2018.8747258

A Novel Implementation of a Hyperspectral Anomaly Detection Algorithm For Real Time Applications With Pushbroom Sensors (odnośnik otworzy się w nowym oknie)

Autorzy: Pablo Horstrand, Sebastian Lopez, Jose Fco. Lopez
Opublikowane w: 2018 9th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing (WHISPERS), 2018, Strona(/y) 1-5, ISBN 978-1-7281-1581-8
Wydawca: IEEE
DOI: 10.1109/whispers.2018.8747221

ENABLE-S3 – Advanced V&V technologies and methods combined with simulation and testing environments enable the safe and secure development of Autonomous Vehicles (odnośnik otworzy się w nowym oknie)

Autorzy: Pflügl, H., Leitner, A., & Schneider, H
Opublikowane w: 2018
Wydawca: 7th Transport Research Arena TRA 2018 (TRA 2018)
DOI: 10.5281/zenodo.1451349

Autonomous highway pilot using Bayesian networks and hidden Markov models

Autorzy: Kurt Pichler, Sandra Haindl, Daniel Reischl, Martin Trinkl
Opublikowane w: 2019
Wydawca: Society for Imaging Science and Technology

Contributions of the EU Projects UnCoVerCPS and Enable-S3 to Highly Automated Driving in Conflict Situations

Autorzy: D. Hess, S. Lapoehn, F. Utesch, M. Fischer, J. Schindler, T. Hesse, F. Köster
Opublikowane w: 2019
Wydawca: AAET 2019

Peer reviewed articles (24)
Low Speed Longitudinal Control Algorithms for Automated Vehicles in Simulation and Real Platforms (odnośnik otworzy się w nowym oknie)

Autorzy: Mauricio Marcano, José A. Matute, Ray Lattarulo, Enrique Martí, Joshué Pérez
Opublikowane w: Complexity, Numer 2018, 2018, Strona(/y) 1-12, ISSN 1076-2787
Wydawca: John Wiley & Sons Inc.
DOI: 10.1155/2018/7615123

Implementation of the Principal Component Analysis onto High-Performance Computer Facilities for Hyperspectral Dimensionality Reduction: Results and Comparisons (odnośnik otworzy się w nowym oknie)

Autorzy: Ernestina Martel, Raquel Lazcano, José López, Daniel Madroñal, Rubén Salvador, Sebastián López, Eduardo Juarez, Raúl Guerra, César Sanz, Roberto Sarmiento
Opublikowane w: Remote Sensing, Numer 10/6, 2018, Strona(/y) 864, ISSN 2072-4292
Wydawca: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/rs10060864

Point cloud registration from local feature correspondences—Evaluation on challenging datasets (odnośnik otworzy się w nowym oknie)

Autorzy: Tomas Petricek, Tomas Svoboda
Opublikowane w: PLOS ONE, Numer 12/11, 2017, Strona(/y) e0187943, ISSN 1932-6203
Wydawca: Public Library of Science
DOI: 10.1371/journal.pone.0187943

Ravenscar Support for Time-Triggered Scheduling (odnośnik otworzy się w nowym oknie)

Autorzy: Jorge Real, Sergio Sáez, Alfons Crespo
Opublikowane w: ACM SIGAda Ada Letters, Numer 38/1, 2018, Strona(/y) 41-54, ISSN 1094-3641
Wydawca: 19th International Real-Time Ada Workshop IRTAW 2018
DOI: 10.1145/3241950.3241957

Urban Motion Planning Framework Based on N-Bézier Curves Considering Comfort and Safety (odnośnik otworzy się w nowym oknie)

Autorzy: Ray Lattarulo, Leonardo González, Enrique Martí, José Matute, Mauricio Marcano, Joshue Pérez
Opublikowane w: Journal of Advanced Transportation, Numer 2018, 2018, Strona(/y) 1-13, ISSN 0197-6729
Wydawca: Institute for Transportation, Inc.
DOI: 10.1155/2018/6060924

A complete framework for developing and testing automated driving controllers (odnośnik otworzy się w nowym oknie)

Autorzy: Ray Lattarulo, Joshué Pérez, Martin Dendaluce
Opublikowane w: IFAC-PapersOnLine, Numer 50/1, 2017, Strona(/y) 258-263, ISSN 2405-8963
Wydawca: The International Federation of Automatic Control
DOI: 10.1016/j.ifacol.2017.08.043

Simple 2-D Direction-of-Arrival Estimation Using an ESPAR Antenna (odnośnik otworzy się w nowym oknie)

Autorzy: Lukasz Kulas
Opublikowane w: IEEE Antennas and Wireless Propagation Letters, Numer 16, 2017, Strona(/y) 2513-2516, ISSN 1536-1225
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/lawp.2017.2728322

An Algorithm for an Accurate Detection of Anomalies in Hyperspectral Images With a Low Computational Complexity (odnośnik otworzy się w nowym oknie)

Autorzy: Maria Diaz, Raul Guerra, Sebastian Lopez, Roberto Sarmiento
Opublikowane w: IEEE Transactions on Geoscience and Remote Sensing, Numer 56/2, 2018, Strona(/y) 1159-1176, ISSN 0196-2892
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tgrs.2017.2761019

Real-Time Geometry-Based Wireless Channel Emulation (odnośnik otworzy się w nowym oknie)

Autorzy: Markus Hofer, Zhinan Xu, Dimitrios Vlastaras, Bernhard Schrenk, David Loschenbrand, Fredrik Tufvesson, Thomas Zemen
Opublikowane w: IEEE Transactions on Vehicular Technology, Numer 68/2, 2019, Strona(/y) 1631-1645, ISSN 0018-9545
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tvt.2018.2888914

RSS-Based DoA Estimation Using ESPAR Antennas and Interpolated Radiation Patterns (odnośnik otworzy się w nowym oknie)

Autorzy: Lukasz Kulas
Opublikowane w: IEEE Antennas and Wireless Propagation Letters, Numer 17/1, 2018, Strona(/y) 25-28, ISSN 1536-1225
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/lawp.2017.2772043

Radar target stimulation for automotive applications (odnośnik otworzy się w nowym oknie)

Autorzy: Michael Ernst Gadringer, Franz Michael Maier, Helmut Schreiber, Vamsi Prakash Makkapati, Andreas Gruber, Michael Vorderderfler, Dominik Amschl, Steffen Metzner, Horst Pflügl, Wolfgang Bösch, Martin Horn, Michael Paulweber
Opublikowane w: IET Radar, Sonar & Navigation, Numer 12/10, 2018, Strona(/y) 1096-1103, ISSN 1751-8784
Wydawca: Institution of Engineering and Technology
DOI: 10.1049/iet-rsn.2018.5126

Virtual reality for automotive radars (odnośnik otworzy się w nowym oknie)

Autorzy: Michael E. Gadringer, Helmut Schreiber, Andreas Gruber, Michael Vorderderfler, Dominik Amschl, Wolfgang Bösch, Steffen Metzner, Horst Pflügl, Michael Paulweber
Opublikowane w: e & i Elektrotechnik und Informationstechnik, Numer 135/4-5, 2018, Strona(/y) 335-343, ISSN 0932-383X
Wydawca: Springer Verlag
DOI: 10.1007/s00502-018-0620-9

A New Algorithm for the On-Board Compression of Hyperspectral Images (odnośnik otworzy się w nowym oknie)

Autorzy: Raúl Guerra, Yubal Barrios, María Díaz, Lucana Santos, Sebastián López, Roberto Sarmiento
Opublikowane w: Remote Sensing, Numer 10/3, 2018, Strona(/y) 428, ISSN 2072-4292
Wydawca: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/rs10030428

Worst-Case Latency Analysis for IEEE 802.1Qbv Time Sensitive Networks Using Network Calculus (odnośnik otworzy się w nowym oknie)

Autorzy: Luxi Zhao, Paul Pop, Silviu S. Craciunas
Opublikowane w: IEEE Access, Numer 6, 2018, Strona(/y) 41803-41815, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2018.2858767

Environment perception simulation for radar stimulation in automated driving function testing (odnośnik otworzy się w nowym oknie)

Autorzy: F. Michael Maier, Vamsi P. Makkapati, Martin Horn
Opublikowane w: e & i Elektrotechnik und Informationstechnik, Numer 135/4-5, 2018, Strona(/y) 309-315, ISSN 0932-383X
Wydawca: Springer Verlag
DOI: 10.1007/s00502-018-0624-5

Enabling Fog Computing for Industrial Automation Through Time-Sensitive Networking (TSN) (odnośnik otworzy się w nowym oknie)

Autorzy: Paul Pop, Michael Lander Raagaard, Marina Gutierrez, Wilfried Steiner
Opublikowane w: IEEE Communications Standards Magazine, Numer 2/2, 2018, Strona(/y) 55-61, ISSN 2471-2825
Wydawca: IEEE
DOI: 10.1109/mcomstd.2018.1700057

A Runtime-Scalable and Hardware-Accelerated Approach to On-Board Linear Unmixing of Hyperspectral Images (odnośnik otworzy się w nowym oknie)

Autorzy: Alberto Ortiz, Alfonso Rodríguez, Raúl Guerra, Sebastián López, Andrés Otero, Roberto Sarmiento, Eduardo de la Torre
Opublikowane w: Remote Sensing, Numer 10/11, 2018, Strona(/y) 1790, ISSN 2072-4292
Wydawca: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/rs10111790

Frequency dividers in radar target stimulator applications (odnośnik otworzy się w nowym oknie)

Autorzy: Michael Vorderderfler, Michael E. Gadringer, Helmut Schreiber, Andreas Gruber, Wolfgang Bösch, Steffen Metzner, Horst Pflügl, Michael Paulweber
Opublikowane w: e & i Elektrotechnik und Informationstechnik, Numer 135/4-5, 2018, Strona(/y) 344-351, ISSN 0932-383X
Wydawca: Springer Verlag
DOI: 10.1007/s00502-018-0626-3

Scalable Hardware-Based On-Board Processing for Run-Time Adaptive Lossless Hyperspectral Compression (odnośnik otworzy się w nowym oknie)

Autorzy: Alfonso Rodriguez, Lucana Santos, Roberto Sarmiento, Eduardo De La Torre
Opublikowane w: IEEE Access, Numer 7, 2019, Strona(/y) 10644-10652, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2892308

A Line-by-Line Fast Anomaly Detector for Hyperspectral Imagery (odnośnik otworzy się w nowym oknie)

Autorzy: Maria Diaz, Raul Guerra, Pablo Horstrand, Sebastian Lopez, Roberto Sarmiento
Opublikowane w: IEEE Transactions on Geoscience and Remote Sensing, 2019, Strona(/y) 1-15, ISSN 0196-2892
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tgrs.2019.2923921

A UAV Platform Based on a Hyperspectral Sensor for Image Capturing and On-Board Processing (odnośnik otworzy się w nowym oknie)

Autorzy: Pablo Horstrand, Raul Guerra, Aythami Rodriguez, Maria Diaz, Sebastian Lopez, Jose Fco. Lopez
Opublikowane w: IEEE Access, Numer 7, 2019, Strona(/y) 66919-66938, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2913957

A Novel Hyperspectral Anomaly Detection Algorithm for Real-Time Applications With Push-Broom Sensors (odnośnik otworzy się w nowym oknie)

Autorzy: Pablo Horstrand, Maria Diaz, Raul Guerra, Sebastian Lopez, Jose Fco. Loopez
Opublikowane w: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2019, Strona(/y) 1-11, ISSN 1939-1404
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/jstars.2019.2919911

Real-Time Hyperspectral Image Compression Onto Embedded GPUs (odnośnik otworzy się w nowym oknie)

Autorzy: Maria Diaz, Raul Guerra, Pablo Horstrand, Ernestina Martel, Sebastian Lopez, Jose F. Lopez, Roberto Sarmiento
Opublikowane w: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2019, Strona(/y) 1-18, ISSN 1939-1404
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/jstars.2019.2917088

On-line Maneuver Identification in Highway Traffic Using Elastic Template Matching (odnośnik otworzy się w nowym oknie)

Autorzy: Pavlo Tkachenko, Jinwei Zhou, Davide Gagliardi, Luigi del Re
Opublikowane w: IFAC-PapersOnLine, Numer 51/15, 2018, Strona(/y) 557-562, ISSN 2405-8963
Wydawca: Institute for Design and Control of Mechatronical Systems, Johannes Kepler University Linz,
DOI: 10.1016/j.ifacol.2018.09.214

Book chapters (9)
Formal Model Validation Through Acceptance Tests (odnośnik otworzy się w nowym oknie)

Autorzy: Tomas Fischer, Dana Dghyam
Opublikowane w: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings, Numer 11495, 2019, Strona(/y) 159-169, ISBN 978-3-030-18743-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-18744-6_10

Auswertung von CDR-Crashversuchen

Autorzy: Vertal, P Nouzovsky, L Frydryn, M Micunek, T Svaty, Z Kolla, E
Opublikowane w: VKU Verkehrsunfall und Fahrzeugtechnik, 2018
Wydawca: Springer Automotive Media, Springer Fachmedien Muenchen GmbH

Analysing Security Protocols Using Refinement in iUML-B (odnośnik otworzy się w nowym oknie)

Autorzy: Colin Snook, Thai Son Hoang, Michael Butler
Opublikowane w: NASA Formal Methods, Numer 10227, 2017, Strona(/y) 84-98, ISBN 978-3-319-57287-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-57288-8_6

Class-Diagrams for Abstract Data Types (odnośnik otworzy się w nowym oknie)

Autorzy: Thai Son Hoang, Colin Snook, Dana Dghaym, Michael Butler
Opublikowane w: Theoretical Aspects of Computing – ICTAC 2017, Numer 10580, 2017, Strona(/y) 100-117, ISBN 978-3-319-67728-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-67729-3_7

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3 (odnośnik otworzy się w nowym oknie)

Autorzy: Dana Dghaym, Michael Poppleton, Colin Snook
Opublikowane w: Abstract State Machines, Alloy, B, TLA, VDM, and Z, Numer 10817, 2018, Strona(/y) 338-352, ISBN 978-3-319-91270-7
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-91271-4_23

Behaviour-Driven Formal Model Development (odnośnik otworzy się w nowym oknie)

Autorzy: Colin Snook, Thai Son Hoang, Dana Dghyam, Michael Butler, Tomas Fischer, Rupert Schlick, Keming Wang
Opublikowane w: Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, Numer 11232, 2018, Strona(/y) 21-36, ISBN 978-3-030-02449-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-02450-5_2

Formal Modelling Techniques for Efficient Development of Railway Control Products (odnośnik otworzy się w nowym oknie)

Autorzy: M. Butler, D. Dghaym, T. Fischer, T. S. Hoang, K. Reichl, C. Snook, P. Tummeltshammer
Opublikowane w: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Numer 10598, 2017, Strona(/y) 71-86, ISBN 978-3-319-68498-7
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-68499-4_5

Scenario-Based Functional Safety for Automated Driving on the Example of Valet Parking (odnośnik otworzy się w nowym oknie)

Autorzy: Valerij Schönemann, Hermann Winner, Thomas Glock, Stefan Otten, Eric Sax, Bert Boeddeker, Geert Verhaeg, Fabrizio Tronci, Gustavo G. Padilla
Opublikowane w: Advances in Information and Communication Networks - Proceedings of the 2018 Future of Information and Communication Conference (FICC), Vol. 1, Numer 886, 2019, Strona(/y) 53-64, ISBN 978-3-030-03401-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-03402-3_5

Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar (odnośnik otworzy się w nowym oknie)

Autorzy: Jorge Real, Sergio Sáez, Alfons Crespo
Opublikowane w: Reliable Software Technologies – Ada-Europe 2018, Numer 10873, 2018, Strona(/y) 105-122, ISBN 978-3-319-92431-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-92432-8_7

Prawa własności intelektualnej

Patent (9)
RADAR TARGET SIMULATION DEVICE AND METHOD

Numer wniosku/publikacji: EP 16188719
Data: 2016-09-14
Wnioskodawca/wnioskodawcy: ROHDE & SCHWARZ GMBH & CO. KOMMANDITGESELLSCHAFT

COGNITIVE JOURNEY COMPANION SYSTEM

Numer wniosku/publikacji: US 20180274927
Data: 2018-11-13
Wnioskodawca/wnioskodawcy: IBM IRELAND LIMITED

Verfahren zur Analyse eines Automatisierungssystems einer Anlage, Emulator zum zumindest teilweise virtuellen Betreiben eines Automatisierungssystems einer Anlage und System zur Analyse eines Automatisierungssystems einer Anlage

Numer wniosku/publikacji: PCT/ AT2018/060313
Data: 2018-12-20
Wnioskodawca/wnioskodawcy: AVL DEUTSCHLAND GMBH

METHOD AND DEVICE FOR ANALYSING A SENSOR DATA STREAM AND METHOD FOR DRIVING A VEHICLE

Numer wniosku/publikacji: A 50818/2018
Data: 2018-09-24
Wnioskodawca/wnioskodawcy: AVL LIST GMBH

METHOD AND DEVICE FOR TESTING A DRIVER ASSISTANCE SYSTEM

Numer wniosku/publikacji: A 50922/2018
Data: 2018-10-24
Wnioskodawca/wnioskodawcy: AVL LIST GMBH

Stimulator for manipulating ultrasonic distance measuring systems based on transit time measurement

Numer wniosku/publikacji: A 51059/2017
Data: 2017-12-21
Wnioskodawca/wnioskodawcy: AVL LIST GMBH

System Feature (hardware and software) for IQ improvement

Numer wniosku/publikacji: PCT/EP 2018/080072
Data: 2018-11-02
Wnioskodawca/wnioskodawcy: PHILIPS MEDICAL SYSTEMS NEDERLAND BV

Modular test bench for complete vehicles ready to drive – Steering Module

Numer wniosku/publikacji: A 50809/2016
Data: 2016-09-12
Wnioskodawca/wnioskodawcy: AVL LIST GMBH

Traffic Data Representation for Neural Network Scenario Classification

Numer wniosku/publikacji: A 50788/2018
Data: 2018-09-14
Wnioskodawca/wnioskodawcy: AVL LIST GMBH

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 14 Czerwca 2022

Moja broszura

Permalink: https://cordis.europa.eu/project/id/692455/results/pl

European Union, 2025

Moja broszura 0 0