Search

The Architecture Analysis and Design Language (AADL) is a SAE Standardfor the modeling of both the hardware and the software of embedded systems. The AADL standard is now mature and is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performances (latency, schedulability), safety, or security, ... The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical systems where AADL is a first-citizen technology. This article is a summary of the ADEPT 2022 workshop. [ABSTRACT FROM AUTHOR]

Two planthopper species of the family Nogodinidae are added to the fauna of Vietnam, both from two localities in Thua Thien-Hue Province: Bach Ma National Park and Phong Dien District. The first species belongs to Goniopsarites Meng, Wang & Wang, 2014, G. mientrunganus Constant & Pham, sp. nov., and the second belongs to Pisacha Distant, 1906, P. yinggensis Meng, Wang & Wang, 2014. Pisacha yinggensis was previously recorded from Hainan Island, China. These new records greatly extend the distribution of both genera, which were known from southern China, Hainan and North Vietnam, to the south, reaching the mid area of Central Vietnam. Sexual dimorphism is reported in P. yinggensis for the first time. Illustrations of habitus and male terminalia of the new species are given as well as distribution maps and photographs of live specimens and their habitat. The family Nogodinidae now comprises nine species in Vietnam, with three of them present in Bach Ma National Park. [ABSTRACT FROM AUTHOR]

Traceability is considered the most important requirement for shrimp products exported to global markets. However, implementing traceability in shrimp-exporting countries is challenging because of limited production at the local supply chain and lack of financial welfare awareness. This study aims to investigate the expected farm-gate price for traceability implementation using a double-bound dichotomous choice experiment. The censored regression model is used to estimate the factors influencing the anticipated farm-gate price of shrimp farmers. The survey was conducted in Ca Mau Province, Vietnam, by interviewing 71 Penaeus monodon Fabricius, 1798, and 43 Penaeus vannamei Boone, 1931, farmers. To implement traceability, P. monodon farmers estimated the farm-gate price at 10.17 USD.kg-1, while P. vannamei farmers expected 6.18 USD.kg-1. Application of international quality assurance certifications, willingness to implement traceability, land used, culture methods, shrimp species, current farm-gate price, and variable costs affected the expected farm-gate price. The attractive anticipated farm-gate price compensated for the negative influence of applying international quality assurance certifications, indicating that the farmers were willing to implement traceability. This suggests that the application of certifications increased the ability to implement traceability in the shrimp supply chain. The attractive farm-gate price for certified shrimp products would enhance their willingness to implement the traceability of shrimp products. [ABSTRACT FROM AUTHOR]

Dynamically ensuring the correctness of the functional behavior of a real-time embedded system is tedious, especially in the autonomous domain. Even though the current real-time task model provides sufficient information to perform basic schedulability tests, it is inadequate to be used in runtime monitoring to assert and guarantee the correctness of a system under hardware/- software malfunctions or malicious cyber attacks. In this article, we present a runtime monitoring approach based on a fine-grained model of real-time tasks. [ABSTRACT FROM AUTHOR]