Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.     

Model-based testing of software and systems: recent advances and challenges

Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).     

Ovule Development and in Planta Transformation of Paphiopedilum Maudiae by Agrobacterium-Mediated Ovary-Injection

In this paper, the development of the Paphiopedilum Maudiae embryo sac at different developmental stages after pollination was assessed by confocal laser scanning microscopy. The mature seeds of P. Maudiae consisted of an exopleura and a spherical embryo, but without an endosperm, while the inner integument cells were absorbed by the developing embryo. The P. Maudiae embryo sac exhibited an Allium type of development. The time taken for the embryo to develop to a mature sac was 45-50 days after pollination (DAP) and most mature embryo sacs had completed fertilization and formed zygotes by about 50–54 DAP. In planta transformation was achieved by injection of the ovaries by Agrobacterium, resulting in 38 protocorms or seedlings after several rounds of hygromycin selection, corresponding to 2, 7, 5, 1, 3, 4, 9, and 7 plantlets from Agrobacterium-mediated ovary-injection at 30, 35, 42, 43, 45, 48, 50, and 53 DAP, respectively. Transformation efficiency was highest at 50 DAP (2.54%), followed by 2.48% at 53 DAP and 2.45% at 48 DAP. Four randomly selected hygromycin-resistant plants were GUS-positive after PCR analysis. Semi-quantitative PCR and quantitative real-time PCR analysis revealed the expression of the hpt gene in the leaves of eight hygromycin-resistant seedlings following Agrobacterium-mediated ovary-injection at 30, 35, 42, 43, 45, 48, 50, and 53 DAP, while hpt expression was not detected in the control. The best time to inject P. Maudiae ovaries in planta with Agrobacterium is 48-53 DAP, which corresponds to the period of fertilization. This protocol represents the first genetic transformation protocol for any Paphiopedilum species and will allow for expanded molecular breeding programs to introduce useful and interesting genes that can expand its ornamental and horticulturally important characteristics.     

The Chick Chorioallantoic Membrane Model: A New In Vivo Tool to Evaluate Breast Cancer Stem Cell Activity

The high plasticity of cancer stem-like cells (CSCs) allows them to differentiate and proliferate, specifically when xenotransplanted subcutaneously into immunocompromised mice. CSCs are highly tumorigenic, even when inoculated in small numbers. Thus, in vivo limiting dilution assays (LDA) in mice are the current gold standard method to evaluate CSC enrichment and activity. The chick embryo chorioallantoic membrane (CAM) is a low cost, naturally immune-incompetent and reproducible model widely used to evaluate the spontaneous growth of human tumor cells. Here, we established a CAM-LDA assay able to rapidly reproduce tumor specificities—in particular, the ability of the small population of CSCs to form tumors. We used a panel of organotropic metastatic breast cancer cells, which show an enrichment in a stem cell gene signature, enhanced CD44⁺/CD24^−/low cell surface expression and increased mammosphere-forming efficiency (MFE). The size of CAM-xenografted tumors correlate with the number of inoculated cancer cells, following mice xenograft growth pattern. CAM and mice tumors are histologically comparable, displaying both breast CSC markers CD44 and CD49f. Therefore, we propose a new tool for studying CSC prevalence and function—the chick CAM-LDA—a model with easy handling, accessibility, rapid growth and the absence of ethical and regulatory constraints.     

Target Score—A Proteomics Data Selection Tool Applied to Esophageal Cancer Identifies GLUT1-Sialyl Tn Glycoforms as Biomarkers of Cancer Aggressiveness

Esophageal cancer (EC) is a life-threatening disease, demanding the discovery of new biomarkers and molecular targets for precision oncology. Aberrantly glycosylated proteins hold tremendous potential towards this objective. In the current study, a series of esophageal squamous cell carcinomas (ESCC) and EC-derived circulating tumor cells (CTCs) were screened by immunoassays for the sialyl-Tn (STn) antigen, a glycan rarely expressed in healthy tissues and widely observed in aggressive gastrointestinal cancers. An ESCC cell model was glycoengineered to express STn and characterized in relation to cell proliferation and invasion in vitro. STn was found to be widely present in ESCC (70% of tumors) and in CTCs in 20% of patients, being associated with general recurrence and reduced survival. Furthermore, STn expression in ESCC cells increased invasion in vitro, while reducing cancer cells proliferation. In parallel, an ESCC mass spectrometry-based proteomics dataset, obtained from the PRIDE database, was comprehensively interrogated for abnormally glycosylated proteins. Data integration with the Target Score, an algorithm developed in-house, pinpointed the glucose transporter type 1 (GLUT1) as a biomarker of poor prognosis. GLUT1-STn glycoproteoforms were latter identified in tumor tissues in patients facing worst prognosis. Furthermore, healthy human tissues analysis suggested that STn glycosylation provided cancer specificity to GLUT1. In conclusion, STn is a biomarker of worst prognosis in EC and GLUT1-STn glycoforms may be used to increase its specificity on the stratification and targeting of aggressive ESCC forms.     

Peptides to Tackle Leishmaniasis: Current Status and Future Directions

Peptide-based drugs are an attractive class of therapeutic agents, recently recognized by the pharmaceutical industry. These molecules are currently being used in the development of innovative therapies for diverse health conditions, including tropical diseases such as leishmaniasis. Despite its socioeconomic influence on public health, leishmaniasis remains long-neglected and categorized as a poverty-related disease, with limited treatment options. Peptides with antileishmanial effects encountered to date are a structurally heterogeneous group, which can be found in different natural sources—amphibians, reptiles, insects, bacteria, marine organisms, mammals, plants, and others—or inspired by natural toxins or proteins. This review details the biochemical and structural characteristics of over one hundred peptides and their potential use as molecular frameworks for the design of antileishmanial drug leads. Additionally, we detail the main chemical modifications or substitutions of amino acid residues carried out in the peptide sequence, and their implications in the development of antileishmanial candidates for clinical trials. Our bibliographic research highlights that the action of leishmanicidal peptides has been evaluated mainly using in vitro assays, with a special emphasis on the promastigote stage. In light of these findings, and considering the advances in the successful application of peptides in leishmaniasis chemotherapy, possible approaches and future directions are discussed here.     

Syndecan-1 Depletion Has a Differential Impact on Hyaluronic Acid Metabolism and Tumor Cell Behavior in Luminal and Triple-Negative Breast Cancer Cells

Glycosaminoglycans (GAGs) and proteoglycans (PGs) are major components of the glycocalyx. The secreted GAG and CD44 ligand hyaluronic acid (HA), and the cell surface PG syndecan-1 (Sdc-1) modulate the expression and activity of cytokines, chemokines, growth factors, and adhesion molecules, acting as critical regulators of tumor cell behavior. Here, we studied the effect of Sdc-1 siRNA depletion and HA treatment on hallmark processes of cancer in breast cancer cell lines of different levels of aggressiveness. We analyzed HA synthesis, and parameters relevant to tumor progression, including the stem cell phenotype, Wnt signaling constituents, cell cycle progression and apoptosis, and angiogenic markers in luminal MCF-7 and triple-negative MDA-MB-231 cells. Sdc-1 knockdown enhanced HAS-2 synthesis and HA binding in MCF-7, but not in MDA-MB-231 cells. Sdc-1-depleted MDA-MB-231 cells showed a reduced CD24-/CD44+ population. Furthermore, Sdc-1 depletion was associated with survival signals in both cell lines, affecting cell cycle progression and apoptosis evasion. These changes were linked to the altered expression of KLF4, MSI2, and miR-10b and differential changes in Erk, Akt, and PTEN signaling. We conclude that Sdc-1 knockdown differentially affects HA metabolism in luminal and triple-negative breast cancer model cell lines and impacts the stem phenotype, cell survival, and angiogenic factors.     

Visceral Adipose Tissue Displays Unique Metabolomic Fingerprints in Obesity,Pre-Diabetes and Type 2 Diabetes

Visceral adipose tissue (VAT) metabolic profiling harbors the potential to disentangle molecular changes underlying obesity-related dysglycemia. In this study, the VAT exometabolome of subjects with obesity and different glycemic statuses are analyzed. The subjects (n = 19) are divided into groups according to body mass index and glycemic status: subjects with obesity and euglycemia (Ob+NGT, n = 5), subjects with obesity and pre-diabetes (Ob+Pre-T2D, n = 5), subjects with obesity and type 2 diabetes under metformin treatment (Ob+T2D, n = 5) and subjects without obesity and with euglycemia (Non-Ob, n = 4), used as controls. VATs are incubated in culture media and extracellular metabolite content is determined by proton nuclear magnetic resonance (¹H-NMR). Glucose consumption is not different between the groups. Pyruvate and pyroglutamate consumption are significantly lower in all groups of subjects with obesity compared to Non-Ob, and significantly lower in Ob+Pre-T2D as compared to Ob+NGT. In contrast, isoleucine consumption is significantly higher in all groups of subjects with obesity, particularly in Ob+Pre-T2D, compared to Non-Ob. Acetate production is also significantly lower in Ob+Pre-T2D compared to Non-Ob. In sum, the VAT metabolic fingerprint is associated with pre-diabetes and characterized by higher isoleucine consumption, accompanied by lower acetate production and pyruvate and pyroglutamate consumption. We propose that glucose metabolism follows different fates within the VAT, depending on the individuals’ health status.     

A Methionine Chemical Shift Based Order Parameter Characterizing Global Protein Dynamics

Coupling of side chain dynamics over long distances is an important component of allostery. Methionine side chains show the largest intrinsic flexibility among methyl-containing residues but the actual degree of conformational averaging depends on the proximity and mobility of neighboring residues. The ¹³C NMR chemical shifts of the methyl groups of methionine residues located at long distances in the same protein show a similar scaling with respect to the values predicted from the static X-ray structure by quantum methods. This results in a good linear correlation between calculated and observed chemical shifts. The slope is protein dependent and ranges from zero for the highly flexible calmodulin to 0.7 for the much more rigid calcineurin catalytic domain. The linear correlation is indicative of a similar level of side-chain conformational averaging over long distances, and the slope of the correlation line can be interpreted as an order parameter of the global side-chain flexibility.