Detecting Ineffective Efforts during Expiration for Neonates with Attention RNNs by Oprea Camelia, Stegemann Lara, Olivier Lena Sophie, Buglowski Mateusz, Becker Sabine, Orlikowsky Thorsten, Kowalewski Stefan, Schoberer Mark, Stollenwerk André

Get full text

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning by Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong

Get full text

Robustness of a DenseNet-121 for the Classification of ARDS in Chest X-Rays by Fonck Simon, Fritsch Sebastian, Nguyen Alina, Kowalewski Stefan, Stollenwerk André

Get full text

An Architecture for Experiments in Connected and Automated Vehicles by Maximilian Kloock, Patrick Scheffe, Ole Gress, Bassam Alrifaee

Get full text

LED PEDD Discharge Photometry: Effects of Software Driven Measurements for Sensing Applications by Cormac D. Fay, Andrew Nattestad

“…This work explores the effects of embedded software-driven measurements on a sensory target when using a LED as a photodetector. …”
Get full text

Successful use of incremental BMC in the automotive industry by Schrammel, P, Kroening, D, Brain, M, Martins, R, Teige, T, Bienmüller, T

“…Existing industrial tools for embedded software use an off-the-shelf Bounded Model Checker and apply it iteratively to verify the program with an increasing number of unwindings. …”

A Decomposition-Based Development Method for Industrial Control Systems by Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang

Get full text

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification by Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi

Get full text

An optimal solution for software testing case generation based on particle swarm optimization by Jianqi Shi, Yanhong Huang, Ang Li, Fangda Cai

Get full text

Software aspects of qualification in the SafeAir II Project by Philippe Baufreton, Cyrille Rosay

“…It implements a comprehensive open environment that help keeping the validation effort needed to achieve the present safety level of the embedded software systems within reasonable costs despite their increasing size and complexity. …”
Get full text

Automating the Analysis of Negative Test Verdicts: A Future-Forward Approach Supported by Augmented Intelligence Algorithms by Anna Gnacy-Gajdzik, Piotr Przystałka

“…A verification study is carried out, proving the high practical potential of the application of AI algorithms in embedded software testing.…”
Get full text

Mock loop for bubble generation in a centrifugal blood pump for fault simulation by Stollenwerk André, Buglowski Mateusz, Kühn Jan

Get full text

Software Development / by Huskey, Jamie author 643676

“…Software can be developed for a variety of purposes, the three most common being to meet specific needs of a specific client/business (the case with custom software), to meet a perceived need of some set of potential users (the case with commercial and open source software), or for personal use (e.g. a scientist may write software to automate a mundane task). Embedded software development, that is, the development of embedded software such as used for controlling consumer products, requires the development process to be integrated with the development of the controlled physical product. …”
Get full text

Software Development / by Huskey, Jamie author 643676

“…Software can be developed for a variety of purposes, the three most common being to meet specific needs of a specific client/business (the case with custom software), to meet a perceived need of some set of potential users (the case with commercial and open source software), or for personal use (e.g. a scientist may write software to automate a mundane task). Embedded software development, that is, the development of embedded software such as used for controlling consumer products, requires the development process to be integrated with the development of the controlled physical product. …”
Get full text

A Simulation-Based Approach to Aid Development of Software-Based Hardware Failure Detection and Mitigation Algorithms of a Mobile Robot System by Jacopo Sini, Andrea Passarino, Stefano Bonicelli, Massimo Violante

“…Since the robot’s behavior is based on embedded software, the FMEA has been integrated with the hardware/software interaction analysis described in the ECSS-Q-ST-30-02C manual. …”
Get full text

Quantitative Metrics for Performance Monitoring of Software Code Analysis Accredited Testing Laboratories by Wladmir Araujo Chapetta, Jailton Santos das Neves, Raphael Carlos Santos Machado

“…As the behavior of modern sensors depends on embedded software, comprehensive assessments of such sensors necessarily demands the analysis of their embedded software. …”
Get full text

Integrated Semantics Service Platform for the Internet of Things: A Case Study of a Smart Office by Minwoo Ryu, Jaeho Kim, Jaeseok Yun

Get full text

A Framework and Classification for Fault Detection Approaches in Wireless Sensor Networks with an Energy Efficiency Perspective by Yue Zhang, Nicola Dragoni, Jiangtao Wang

Get full text

Performance analysis of WAVE communication under high-speed driving by Bo-young Kang, Bae JeongKyu, Woo-Chang Seo, Yang EunJu, Dae-Wha Seo

Get full text

Early Blood Clot Detection Using Forward Scattering Light Measurements Is Not Superior to Delta Pressure Measurements by Anna Fischbach, Michael Lamberti, Julia Alexandra Simons, Erik Wrede, Alexander Theißen, Patrick Winnersbach, Rolf Rossaint, André Stollenwerk, Christian Bleilevens

Get full text