A tool for monitoring and maintaining system trustworthiness at runtime

Trustworthiness of software systems is a key factor in their acceptance and effectiveness. This is especially the case for cyber-physical systems, where incorrect or even sub-optimal functioning of the system may have detrimental effects. In addition to designing systems with trustworthiness in mind, monitoring and maintaining trustworthiness at runtime is critical to identify issues that could negatively affect a system's trustworthiness. In this paper, we present a fully operational tool for system trustworthiness maintenance, covering a comprehensive set of quality attributes. It automatically detects, and in some cases mitigates, trustworthiness threatening events. The use of such a tool can enable complex software systems to support runtime adaptation and self-healing, thus reducing the overall upkeep cost and complexity

Cyber-physical systems design for runtime trustworthiness maintenance supported by tools

The trustworthiness of cyber-physical systems is a critical factor for establishing wide-spread adoption of these systems. Hence, especially the behavior of safety-critical software components needs to be monitored and managed during system operation. Runtime trustworthiness maintenance should be planned and prepared in early requirements and design phases. This involves the identification of threats that may occur and affect user’s trust at runtime, as well as related controls that can be executed to mitigate the threats. Furthermore, observable and measureable system quality properties have to be identified as indicators of threats, and interfaces for reporting these properties as well as for executing controls have to be designed and implemented. This paper presents a process model for preparing and designing systems for runtime trustworthiness maintenance, which is supported by several tools that facilitate the tasks to be performed by requirements engineers and system designer

Secondary education reform in Lesotho and Zimbabwe and the needs of rural girls: Pronouncements, policy and practice

Analysis of the educational needs of rural girls in Lesotho and Zimbabwe suggests a number of shortcomings in the current form of secondary education, and ways in which it might be modified so as to serve this sizeable group of students better. Several of the shortcomings, notably in relation to curricular irrelevance and excessive focus on examinations, have long been recognised, including by politicians. Yet political pronouncements are seldom translated into policy, and even where policy is formulated, reforms are seldom implemented in schools. This paper makes use of interviews with educational decision-makers in the two southern African countries and a range of documentary sources to explore why, despite the considerable differences between the two contexts, much needed educational reforms have been implemented in neither

A Framework for Vibration Attenuation in Traffic Mast Arm Structures under Wind Loads

Traffic signals and information signs play a vivid role in maintaining safe travel by guiding drivers on highways and urban roads. Traffic mast arm structures are susceptible to vibrations induced by wind loads. Fatigue-induced failure is common in these structures. However, it is crucial to ascertain the functionality of signal support structures. This paper lays the foundation for a fully computational framework to model and mitigate wind-induced vibrations in traffic lighting support structures by conducting computational fluid dynamics (CFD) simulations, dynamic modeling, and damping enhancement. We validated the CFD simulations by aerodynamic testing. The dependence of flow pattern and aerodynamic loads on Reynolds number reveals the importance of full-scale CFD with large eddy simulation for wind load estimation on mast arm structures. Distributed tuned mass dampers were created by employing available weights of lighting boxes. The results show that distributed tuned lighting boxes are effective for vibration suppression. Besides, damping enhancement can significantly reduce vibration-induced stresses and hence extend the fatigue life. The proposed mitigation technique promises to save construction costs and improve the safety of the traveling public. The procedure followed for creating time histories of wind loads integrated with finite element modeling applies to other vibration lessening techniques for potential inclusion in the AASHTO standard

Antiepileptogenic effects of trilostane in the kainic acid model of temporal lobe epilepsy

Objective: Epileptogenesis after status epilepticus (SE) has a faster onset in rats treated to reduce brain levels of the anticonvulsant neurosteroid allopregnanolone with the 5α-reductase inhibitor finasteride; however, it still has to be evaluated whether treatments aimed at increasing allopregnanolone levels could result in the opposite effect of delaying epileptogenesis. This possibility could be tested using the peripherally active inhibitor of 3β-hydroxysteroid dehydrogenase/Δ5-4 isomerase trilostane, which has been shown repeatedly to increase allopregnanolone levels in the brain. Methods: Trilostane (50 mg/kg) was administered subcutaneously once daily for up to six consecutive days, starting 10 min after intraperitoneal administration of kainic acid (15 mg/kg). Seizures were evaluated by video-electrocorticographic recordings for 70 days maximum, and endogenous neurosteroid levels were assessed by liquid chromatography–electrospray tandem mass spectrometry. Immunohistochemical staining was performed to evaluate the presence of brain lesions. Results: Trilostane did not alter the latency of kainic acid-induced SE onset or its overall duration. When compared to the vehicle-treated group, rats receiving six daily trilostane injections presented a remarkable delay of the first spontaneous electrocorticographic seizure and subsequent tonic–clonic spontaneous recurrent seizures (SRSs). Conversely, rats treated with only the first trilostane injection during SE did not differ from vehicle-treated rats in developing the SRSs. Notably, trilostane did not modify neuronal cell densities or the overall damage in the hippocampus. In comparison to the vehicle group, repeated administration of trilostane significantly decreased the activated microglia morphology in the subiculum. As expected, allopregnanolone and other neurosteroid levels were remarkably increased in the hippocampus and neocortex of rats treated for 6 days with trilostane, but pregnanolone was barely detectable. Neurosteroids returned to basal levels after a week of trilostane washout.. Significance: Overall, these results suggest that trilostane led to a remarkable increase in allopregnanolone brain levels, which was associated with protracted effects on epileptogenesis