The fourth industrial revolution (Industry 4.0) anticipates frequent synthesis and optimization of different architectural design decisions (ADDs) – such as deployment of software components to hardware components, service composition, production planning, and topology (plant layout) synthesis. The frequent manual search for valid and optimal architectural designs is a time- and cognition-consuming task for an engineer. This asks for automating the process of deriving different ADDs. Although automating different ADDs is intensely investigated in other domains, the current research works 1) require higher engineering effort for specifying architecture optimization problems; 2) conduct (only) sequential ADDs, leading to lower solution quality (i.e., sub-optimal production); 3) neglect re-configurability and reliability of architectures, and, thereby, offer no solution for production downtime; 4) neglect event-based execution semantics while considering timing-related issues. Therefore, I propose a Satisfiability Modulo Theories (SMT)-based framework for joint synthesis and optimization of multi-dimensional ADDs using industrial automation domain models (e.g., plant topology, product recipes, stations capabilities, etc.). This research should bring following benefits for the practitioners and researchers: 1) reduction of engineering effort for conducting different ADDs; 2) improvement of different quality attributes (e.g., production performance, reconfigurability, reliability, etc.); 3) guideline/support for a practitioner in choosing ADDs workflow to improve given quality attributes.

Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to consider these two aspects together. Furthermore, the approaches currently used for safety and security analysis do not sufficient take into account the intermediate steps of an adaptation. Current work in this area ignores the fact that a self-adaptive system also reveals possible vulnerabilities (even if only temporarily) during the adaptation. To address this issue, we propose a modeling approach that takes into account the different relevant aspects of a system, its adaptation process, as well as safety hazards and security attacks. We present several models that describe different aspects of a self-adaptive system and we outline our idea of how these models can then be combined into an Attack-Fault Tree. This allows modeling aspects of the system on different levels of abstraction and co-evolve the models using transformations according to the adaptation of the system. Finally, analyses can then be performed as usual on the resulting Attack-Fault Tree.CCS CONCEPTS• Software and its engineering → System description languages; Fault tree analysis; • Computer systems organization → Embedded and cyber-physical systems; Dependable and fault-tolerant systems and networks.

Urban mobility is one of the most significant factors in the successful development and sustainable future of large cities. The increasing demand for fast, safe, and eco-friendly transportation services is a trend in modern society. These requirements pose the challenge of finding corresponding solutions for efficient mobility of people in urban areas. However, many problems are caused by the increased traffic in cities, leading to high congestion, negative impacts on the environment, rising security challenges, etc. Therefore, the research community and other stakeholders have increased their focus on finding solutions for these issues. The Internet of Things (IoT) has enabled the development of efficient and cost-effective solutions to enhance urban mobility. Enabling IoT technologies has become a significant driver for smart mobility concept development. The continuous development of IoT has led to various applications focused on urban mobility improvement. This paper presents some IoT possibilities and potentials for developing solutions for smart urban mobility.

The development of information society and broadband Internet is key indicators of social and economic change. They transform the way companies, political systems, and citizens communicate with each other. Today, we talk about various regional and national initiatives to first stabilize and then improve the economies of countries through the development of the Internet and information society. The European Union has recognized information technology as a major factor influencing economic growth and innovation. Among the seven flagship initiatives of the Europe 2020 economic strategy is the Digital Agenda for Europe. This shows the importance that information technologies have in the development of the modern economy. In this paper, we analyze the current state of development of the information society and broadband Internet access in Bosnia and Herzegovina. We highlight the necessity of considering mechanisms for the development of broadband access. We analyzed the current situation and progress in the implementation of the Digital Agenda guidelines in EU countries. The aim of this research is to highlight the advantages of using EU strategic guidelines to improve and develop the current situation in the field of broadband Internet in Bosnia and Herzegovina

Simple Summary Boar spermatozoa can be exposed to many harmful factors. The low antioxidant capacity of spermatozoa makes them susceptible to reactive oxygen species. The protection of spermatozoa from these harmful effects lies in the seminal plasma, which is enriched by antioxidant enzymes. This study aimed to measure the antioxidant status of boar seminal plasma, and to determine spermatozoa DNA status, and the total number of motile spermatozoa after the concurrent joint application in the boars’ diet of two commercial products with antioxidative potential. Abstract The study was conducted on a commercial pig farm located in Serbia. Thirty Duroc or Landrace breed boars were randomly selected for this study. The experimental group was fed a compound feed with added organic selenium and Oxynat 3D. The antioxidant status parameters of boar seminal plasma were evaluated using a biochemical analyzer and commercial Randox kits. The sperm chromatin structure assay (SCSA) using flow cytometry (FC) provided information about spermatozoa’s DNA status. Additionally, the total number of motile spermatozoa and spermatozoa kinematic parameters were measured using the computer-assisted sperm analysis (CASA) system. The aim of this study was to improve the parameters of semen by combining two preparations that have a potential antioxidant effect, but also to establish the level of various antioxidant enzymes in native sperm. There was no statistically significant difference in total antioxidant capacity and glutathione peroxidase activity in the seminal plasma obtained from the experimental and control groups of boars. Regarding the superoxide dismutase activity, the research results showed a difference in the control group compared to the experimental one. Moreover, spermatozoa DNA fragmentation and the total number of motile spermatozoa showed statistically significant lower and higher values, respectively, in experimental compared to the control groups. The combination of these two preparations shows significantly enhanced vital parameters of semen. To the best of our knowledge, this study is the first in which the ejaculate parameters were examined after the application of a combination of these two antioxidant supplements.

Objectives To evaluate the sleep patterns among young West Balkan adults during the third wave of the COVID-19 pandemic. Design and setting Cross-sectional study conducted using an anonymous online questionnaire based on established sleep questionnaires Insomnia Severity Index (ISI) and Pittsburgh Sleep Quality Index (PSQI) (February–August 2021). Participants Young adults of Bosnia and Herzegovina, Croatia and Serbia. Results Of 1058 subjects, mean age was 28.19±9.29 years; majority were women (81.4%) and students (61.9%). Compared with before the pandemic, 528 subjects (49.9%) reported a change in sleeping patterns during the pandemic, with 47.3% subjects reporting sleeping less. Mean sleeping duration during the COVID-19 pandemic was 7.71±2.14 hours with median sleep latency of 20 (10.0–30.0) min. Only 91 (8.6%) subjects reported consuming sleeping medications. Of all, 574 (54.2%) subjects had ISI score >7, with majority (71.2%) having subthreshold insomnia, and 618 (58.4%) PSQI score ≥5, thus indicating poor sleep quality. Of 656 (62.0%) tested subjects, 464 (43.9%) were COVID-19 positive (both symptomatic and asymptomatic) who were 48.8%, next to women (70%), more likely to have insomnia symptoms; and 66.9% were more likely to have poor sleep quality. Subjects using sleep medication were 44 times, and subjects being positive to ISI 15.36 times more likely to have poor sleep quality. In contrast, being a student was a negative independent predictor for both insomnia symptoms and poor sleep quality, and mental labour and not working were negative independent predictors for insomnia symptoms. Conclusions During the third wave of the pandemic, sleep patterns were impaired in about half of young West Balkan adults, with COVID-19-positive subjects and being women as positive independent predictors and being a student as negative independent predictor of impaired sleep pattern. Due to its importance in long-term health outcomes, sleep quality in young adults, especially COVID-19-positive ones, should be thoroughly assessed.