|
|
|
Maram Fahaad Almufareh and Mamoona Humayun
Security and performance (SAP) are two critical NFRs that affect the successful completion of software projects. Organizations need to follow the practices that are vital to SAP verification. These practices must be incorporated into the software develop...
ver más
|
|
|
|
|
|
|
Mathew B. R. Topper, Sterling S. Olson and Jesse D. Roberts
Hydrokinetic tidal energy converter (TEC) technology is yet to become cost competitive with other renewable energy sources. Understanding the interaction between energy production and the costs incurred harvesting that energy may unlock the economic pote...
ver más
|
|
|
|
|
|
|
Elena Tyatyushkina, Andrey Kozelkov, Andrey Kurkin, Efim Pelinovsky, Vadim Kurulin, Kseniya Plygunova and Dmitry Utkin
Verification results for the LOGOS software package as applied to numerical simulations of tsunami waves are reported. The module of the LOGOS software package that is used for tsunami simulations is based on the numerical solution of three-dimensional N...
ver más
|
|
|
|
|
|
|
Ryo Fukano and Masato Ishikawa
In science and engineering using edge-embedded software, it is necessary to demonstrate the validity of results; therefore, the software responsible for operating an edge system is required to guarantee its own validity. The aim of this study is to guara...
ver más
|
|
|
|
|
|
|
Jonis Kiesbye, David Messmann, Maximilian Preisinger, Gonzalo Reina, Daniel Nagy, Florian Schummer, Martin Mostad, Tejas Kale and Martin Langer
This article reports the ongoing work on an environment for hardware-in-the-loop (HIL) and software-in-the-loop (SIL) tests of CubeSats and the benefits gained from using such an environment for low-cost satellite development. The satellite tested for th...
ver más
|
|
|
|
|
|
|
|
Wytse Oortwijn, Dilian Gurov and Marieke Huisman
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular and c...
ver más
|
|
|
|
|
|
|
Jan Budroweit, Steffen Mueller, Mattis Jaksch, Rubén Garcia Alía, Andrea Coronetti and Alexander Koelpin
This paper presents an in-situ test concept for a multi-band software-defined radio (SDR) platform in a mixed-field radiation environment. Special focus is given to the complex automated test setup with respect to the requirements of the irradiation faci...
ver más
|
|
|
|
|
|
|
George Papazafeiropoulos and Vagelis Plevris
To facilitate the precise design of earthquake-resistant structures, it is imperative to accurately evaluate the impact of seismic events on these constructions and predict their responses. OpenSeismoMatlab, a robust, free ground motion data processing s...
ver más
|
|
|
|
|
|
|
Jhonny Uscategui, Xinsheng Wang, Gerson Cuba and María Guarirapa
Small satellites with academic missions in low Earth orbit (LEO) employ magnetic attitude control systems primarily due to their ease of development and low cost. These systems utilize magnetorquers to generate a magnetic moment that interacts with Earth...
ver más
|
|
|
|
|
|
|
Zhong Wang, Zhiwen Wen, Wenfei Yang, Zhihui Liu and Huachao Dong
Autonomous underwater vehicles (AUVs) have the characteristics of a high performance, a complex coupling mechanism, a compact, complex system composition, as well as high requirements for design constraints, quality, and reliability. In the traditional o...
ver más
|
|
|
|
|
|
|
Fabian Honecker, Julian Dreyer and Ralf Tönjes
Modern Public Key Infrastructures (PKIs) allow users to create and maintain centrally stored cryptographic certificates. These infrastructures use a so-called certificate chain. At the root of the chain, a root Certification Authority (CA) is responsible...
ver más
|
|
|
|
|
|
|
Luis Jiménez López
Pág. 9 - 21
The Technical Building Code (CTE) is the regulatory framework that regulates the basic quality requirements that buildings must meet. The basic documents of the CTE, characterize the basic requirements (energy saving, protection against humidity, indoor ...
ver más
|
|
|
|
|
|
|
Marcin Kielczewski, Wojciech Kowalczyk and Bartlomiej Krysiak
The paper is devoted to the leader?follower approach for multiple mobile robots control and its experimental verification. The formation control of mobile robots is motivated by the concept of virtual leader tracking, which is enhanced by the collision a...
ver más
|
|
|
|
|
|
|
Oleg O. Kartashov, Sergey V. Chapek, Dmitry S. Polyanichenko, Grigory I. Belyavsky, Alexander A. Alexandrov, Maria A. Butakova and Alexander V. Soldatov
Microfluidic devices have opened new opportunities for functional material chemical synthesis in a few applications. The screening of microfluidic synthesis processes is an urgent task of the experimental process in terms of automation and intellectualiz...
ver más
|
|
|
|
|
|
|
Areej Alabduljabbar and Sultan Alyahya
Crowdsourced software engineering (CSE) is an emerging area that has been gaining much attention in the last few years. It refers to the use of crowdsourcing techniques in software engineering activities, including requirements engineering, implementatio...
ver más
|
|
|
|
|
|
|
Juan Fang, Maochun Luo, Jiqiang Wang and Zhongzhi Hu
The simulation of an aero-engine control system involves numerous disciplines due to its complex functions and architecture, which generally consist of mechanical, hydraulic and electrical, and electronic systems. For each discipline, the modeling and si...
ver más
|
|
|
|
|
|
|
Salvatore Antonio Biancardo, Nunzio Viscione, Cristina Oreto, Rosa Veropalumbo and Francesco Abbondati
Smart societies will make more intelligent use of Information and Communication Technology (ICT), which has the potential to transform the way to plan and manage infrastructures. New developments in computer hardware, as well as new applications and soft...
ver más
|
|
|
|
|
|
|
Feiya Li, Chunyun Fu, Dongye Sun, Hormoz Marzbani and Minghui Hu
Geometric map features, such as line segments and planes, are receiving increasing attention due to their advantages in simultaneous localization and mapping applications. However, large structures in different environments are very likely to appear repe...
ver más
|
|
|
|
|
|
|
Heling Cao, Dong Han, Fangzheng Liu, Tianli Liao, Chenyang Zhao and Jianshu Shi
Automatic program repair has drawn more and more attention since software quality is facing increasing challenges. In existing approaches, the unlimited search space is considered to be the main limitation in finding the correct patch. So how to reduce t...
ver más
|
|
|
|