A systematic approach to integrate common timed security rules within a TEFSM-based system specification

Context

Formal methods are very useful in the software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and modeling of various system aspects expressed usually through different paradigms. These different formalisms make the verification of global developed systems more difficult.

Objective

In this paper, we propose to combine two modeling formalisms, in order to express both functional and security timed requirements of a system to obtain all the requirements expressed in a unique formalism.

Method

First, the system behavior is specified according to its functional requirements using Timed Extended Finite State Machine (TEFSM) formalism. Second, this model is augmented by applying a set of dedicated algorithms to integrate timed security requirements specified in Nomad language. This language is adapted to express security properties such as permissions, prohibitions and obligations with time considerations.

Results

The proposed algorithms produce a global TEFSM specification of the system that includes both its functional and security timed requirements.

Conclusion

It is concluded that it is possible to merge several requirement aspects described with different formalisms into a global specification that can be used for several purposes such as code generation, specification correctness proof, model checking or automatic test generation. In this paper, we applied our approach to a France Telecom Travel service to demonstrate its scalability and feasibility.     

Hyaluronic Acid Scaffolds for Loco-Regional Therapy in Nervous System Related Disorders

Hyaluronic acid (HA) is a Glycosaminoglycan made of disaccharide units containing N-acetyl-D-glucosamine and glucuronic acid. Its molecular mass can reach 10 MDa and its physiological properties depend on its polymeric property, polyelectrolyte feature and viscous nature. HA is a ubiquitous compound found in almost all biological tissues and fluids. So far, HA grades are produced by biotechnology processes, while in the human organism it is a major component of the extracellular matrix (ECM) in brain tissue, synovial fluid, vitreous humor, cartilage and skin. Indeed, HA is capable of forming hydrogels, polymer crosslinked networks that are very hygroscopic. Based on these considerations, we propose an overview of HA-based scaffolds developed for brain cancer treatment, central and peripheral nervous systems, discuss their relevance and identify the most successful developed systems.     

In Vitro Rescue of the Bile Acid Transport Function of ABCB11 Variants by CFTR Potentiators

ABCB11 is responsible for biliary bile acid secretion at the canalicular membrane of hepatocytes. Variations in the ABCB11 gene cause a spectrum of rare liver diseases. The most severe form is progressive familial intrahepatic cholestasis type 2 (PFIC2). Current medical treatments have limited efficacy. Here, we report the in vitro study of Abcb11 missense variants identified in PFIC2 patients and their functional rescue using cystic fibrosis transmembrane conductance regulator potentiators. Three ABCB11 disease-causing variations identified in PFIC2 patients (i.e., A257V, T463I and G562D) were reproduced in a plasmid encoding an Abcb11-green fluorescent protein. After transfection, the expression and localization of the variants were studied in HepG2 cells. Taurocholate transport activity and the effect of potentiators were studied in Madin–Darby canine kidney (MDCK) clones coexpressing Abcb11 and the sodium taurocholate cotransporting polypeptide (Ntcp/Slc10A1). As predicted using three-dimensional structure analysis, the three variants were expressed at the canalicular membrane but showed a defective function. Ivacaftor, GLP1837, SBC040 and SBC219 potentiators increased the bile acid transport of A257V and T463I and to a lesser extent, of G562D Abcb11 missense variants. In addition, a synergic effect was observed when ivacaftor was combined with SBC040 or SBC219. Such potentiators could represent new pharmacological approaches for improving the condition of patients with ABCB11 deficiency due to missense variations affecting the function of the transporter.     

A Framework for the Generation of Adaptive Courses Based on Semantic Metadata

This approach proposes the creation and management of adaptive learning systems by combining component technology, semantic metadata, and adaptation rules. A component model allows interaction among components that share consistent assumptions about what each provides and each requires of the other. It allows indexing, using, reusing, and coupling of components in different contexts powering adaptation. Our claim is that semantic metadata are required to allow a real reusing and assembling of educational component. Finally, a rule language is used to define strategies to rewrite user query and user model. The former allows searching components developing concepts not appearing in the user query but related with user goals, whereas the last allow inferring user knowledge that is not explicit in user model.John Freddy Duitama received his M.Sc. degree in system engineering from the University of Antioquia -Colombia (South America). He is currently a doctoral candidate in the GET – Institut National des Télécommunications, Evry France. This work is sponsored by the University of Antioquia, where he is assistant professor.His research interest includes semantic web and web-based learning systems, educational metadata and learning objects.Bruno Defude received his Ph.D. in Computer Science from the University of Grenoble (I.N.P.G) in 1986. He is currently Professor in the Department of Computer Science at the GET - Institut National des Télécommunications, Evry France where he leads the SIMBAD project (Semantic Interoperability for MoBile and ADaptive applications).His major field of research interest is databases and semantic web, specifically personalized data access, adaptive systems, metadata, interoperability and semantic Peer-to-peer systems with elearning as a privileged application area.He is a member of ACM SIGMOD.Amel Bouzeghoub received a degree of Ph.D. in Computer Sciences at Pierre et Marie Curie University, France.In 2000, she joined the Computer Sciences Department of GET-INT (Institut National des Telecommunications) at Evry (France) as an associate professor.Her research interests include topics related to Web-based Learning Systems, Semantic Metadata for learning resources, Adaptive Learning Systems and Intelligent Tutoring Systems.Claire Lecocq received an Engineer Degree and a Ph.D. in Computer Sciences respectively in 1994 and 1999. In 1997, she joined the Computer Sciences Department at GET-INT (Institut National des Télécommunications) of Evry, France, as an associate professor. Her first research interests included spatial databases and visual query languages. She is now working on adaptive learning systems, particularly on semantic metadata and user models.     

Effect of Sodium Carbonate on the Cloud Point in Alkyl Ether/Brine Systems: Apparent Relation with Dynamic Interfacial Tension Minimum

The effect of Na₂CO₃ on the cloud point in Na₂CO₃/surfactant/brine was investigated using two series of nonionic surfactants, C₁₃EO _x and C₁₇EO _x . The cloud point, T _cp, was found to decrease linearly with increasing Na₂CO₃ concentration. This was attributed to Na⁺ and particularly to CO₃ ^2?salting-out effect. The slope a = dTcp/d[Na₂CO₃] became more and more negative as the degree of ethoxylation is increased, suggesting that the higher the number of ethylene oxide (EO) groups the stronger is the cloud point depression for a given increment in Na⁺and CO₃ ^2?ions in solution. This was also illustrated by the linear variation of ΔT _cp = T _cp,0 ? T _cp,[Na2CO3] with the surfactant degree of ethoxylation.     

Effect of cellulose acetate/cellulose triacetate ratio on reverse osmosis blend membrane performance

Surface functionalization and modification including the grafting process are effective approaches to improve and enhance the reverse osmosis (RO) membrane performance. This work is aimed to synthesize grafted/crosslinked cellulose acetate (CA)/cellulose triacetate (CTA) blend RO membranes using N-isopropylacrylamide (N-IPAAm) as a monomer and N,N-methylene bisacrylamide (MBAAm) as a crosslinker. The morphology of these membranes was analyzed by scanning electron microscopy and their surface roughness was characterized by atomic force microscopy. The performance of these membranes was evaluated through measuring two major parameters of salt rejection and water flux using RO unit at variable operating pressures. It was noted that the surface average roughness obviously decreased from 148 nm for the pure CA/CTA blend membrane with 2.5% CTA to 110 nm and 87 nm for the grafted N-IPAAm and grafted/crosslinked N-IPAAM/MBAAm/CA/CTA-RO membranes, respectively. Moreover, the contact angle decreased from 51.98° to 47.6° and 43.8° after the grafting and crosslinking process. The salt rejection of the grafted CA/CTA-RO membrane by 0.1% N-IPAAm produced the highest value of 98.12% and the water flux was 3.29 L/m²h at 10 bar.     

A Taguchi design approach for the enhancement of a detergent-biocompatible alkaline thermostable protease production by Streptomyces mutabilis strain TN-X30

The ability of microorganisms to grow at high temperature, alkaline pH, and high salinity makes them an attractive target for enzyme-production with several industrial applications. One strain TN-X30 has been selected as protease producer and identified as Streptomyces mutabilis after a phenotypic and molecular study. Its production of protease was improved using Taguchi L27 design. The strategy was carried out to identify the optimum levels and the interaction of the screened factors. Following this step, maximum protease activity (10,895 U/ml) was achieved after 6-days of incubation. The TN-X30 protease activity had an optimum of pH and temperature of 10 and 65°C, respectively. Thermodynamic parameters at 60°C were enthalpy 14.26 kJ/mol, entropy −220 J/mol/K, and Gibbs free energy 90.53 kJ/mol. TN-X30 protease production displayed a 16-fold increase reaching 175,000 U/ml in a 100-L fermentor. Furthermore, the lyophilization in presence of sorbitol enhanced the stability of the TN-X30 protease which remained active at 75% after 24-months of storage. The lyophilized TN-X30 protease exhibited exceptional stability indexes in presence of some known commercialized detergent components as NEODOL® 25-7, Dehydol® LT 7, Na₂ CMC, Galaxy LAS, Galaxy LES 70, Galaxy 110, Galaxy CAPB Plus, and Sulfacid K. The lyophilized enzyme also displayed high stability with respect to both solid and liquid detergents. Finally, TN-X30 protease exhibited remarkable destaining of blood, egg, and chocolate stained cloth pieces. These findings may promote TN-X30 protease for use as bioadditive in detergent formulation, thereby reducing environmental chemical threat.     

Surface Activities, Foam Properties, HLB, and Krafft Point of Some n-Alkanesulfonates (C14–C18) with Different Isomeric Distributions

A homologue series of sodium secondary n-alkanesulfonates (C₁₄, C₁₆ and C₁₈) were obtained by photosulfochlorination process with two different reaction conditions. Different length chains with different isomeric distributions of n-alkanesulfonates are expected to present variations in physicochemical properties. In this investigation, the relationships between their isomeric distribution and their chain length and micellar behaviors were thoroughly explored. Their CMC at different temperatures were determined using specific conductivity and surface tension measurements. Through surface tension isotherms, the surface activities (??_CMC) were obtained. The surface absorption amounts (??_max) and the molecular areas (A _min) were calculated using Gibb??s equation. As expected, these surfactants exhibit good surface properties. It was shown that the CMC values increase with increasing the percentage of secondary isomers, with a surface tension decrease. It was also shown that the CMC values decrease with increasing chain length. The HLB values were calculated for each surfactant and the results obtained suggest that they are O/W emulsifiers. The foam properties of synthesized surfactants were evaluated and compared to those obtained for commercial samples. It was shown that the foamability is influenced both by the length of the hydrophobic moiety and the percentage of secondary isomers. It can be easily concluded that the C₁₄ sulfonates show the best foaming properties independently of their isomeric distribution. The Krafft point values obtained indicate that the micellization and the surfactant solubility mainly depend on the proportion of secondary isomers and the length of hydrophobic moiety.     

Physiological and biochemical markers in the process of resistance and/or tolerance of heavy metals in the abandoned mining area of Sidi Kamber,Skikda, Algeria

This paper reports the biomonitoring of metallic pollution in the mine of Sidi Kamber Skikda town, to determine the resistance and/or tolerance to Zn, Pb, Cd and Cu in metalliferous plants. During the period of March–May, 2015, soil and plants samples were collected from three different stations in the study area. The total heavy metal fraction was determined by ICP/MS, whereas biochemical markers were determined by spectrophotometric techniques. The results obtained showed high levels of heavy metals in soil and plants compared to international standards. The translocation factor revealed that the studied plants can transfer and/or accumulate metals in their roots or their aerial parts as a function of characteristics of each metal, soil contents and physiological role in the plant. The contents of chlorophyll, proline, total sugars and total proteins are directly influenced by changes in bioavailable contents of heavy metals. It has been found that the plants studied and biomarkers are better suited for phytoremediation and biomonitoring of heavy metals pollution.     

Nonlinear multi-scale decomposition by EMD for Co-Channel speaker identification

Multimedia Tools and Applications - A multi-scale analysis method, called Empirical Mode Decomposition (EMD), has been proposed for analysis of nonlinear and non stationary data. The empirical mode...