227 research outputs found
Time-Predictable Computing
No full textReal-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the community on concretizing the predictability of task timing have shown that there is no common agreement about what the term time-predictability exactly means. In this paper we propose a universal definition of time-predictability that combines the essence of different discussions about this term. This definition is then instantiated to concrete types of time-predictability, like worst-case execution time (WCET) predictability. Finally, we introduce the concept of a timing barrier as a mechanism for constructing time-predictable systems
Publication : Michel Grunewald, Olivier Dard, Uwe Puschner (dir./Hrsg.), Confrontations au national-socialisme en Europe francophone et germanophone, Volume 5.2 / Band 5.2, Bruxelles, 2022, Peter Lang [Convergences. Vol. 107], 344 p.
No full textPublication du sixième et avant-dernier volume d'une série consacrée aux Confrontations au national-socialisme en Europe francophone et germanophone / Auseinandersetzungen mit dem Nationalsozialismus im deutschund französischsprachigen Europa (1919-1949). Michel Grunewald, Olivier Dard, Uwe Puschner (dir./Hrsg.) Volume 5.2 / Band 5.2, Bruxelles, 2022, Peter Lang [Convergences. Vol. 107], 344 p. Quelle fut la perception et l’interprétation du national-socialisme comme idéologie et comme p..
Cross-platform verification framework for embedded systems
No full textMany innovations in the automotive sector involve complex electronics and embedded software systems. Testing techniques are one of the key methodologies for detecting faults in such embedded systems.In this paper, a novel cross-platform verification framework including automated test-case generation by model checking is introduced. Comparing the execution behavior of a program instance running on a certain platform to the execution behavior of the same program running on a different platform we denote cross-platform verification. The framework supports various types of coverage criteria. It turned out that end-to-end testing is of high importance due to defects occurring on the actual target platform for the first time.Additionally, formal verification can be applied for checking requirements resulting from the specification using the same model generation mechanism that is used for test data generation. Due to a novel self-assessment mechanism, the confidence into the formal models is increased significantly.We provide a case study for the Motorola embedded controller HCS12 that is heavily used by the automotive industry. We perform structural tests on industrial code patterns using a wide-spread industrial compiler. Using our technique, we found two severe compiler defects that have been corrected in subsequent releases
La reformulation comme opération polyphonique : médiation, argumentation et convictions dans certains textes de vulgarisation
No full textP. Béhar, F. Lartillot et U. Puschner (éds.)International audienc
Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff
No full textThe increasing success of mobile-enabled embedded devices is stressing the need for software architectures facing mobility-related issues. This paper proposes a simple yet effective mobility management scheme to ease the development of mobile ubiquitous applications. The scheme seamlessly handles handoff events and provides ubiquitous applications with both location-awareness and mobility prediction support. An implementation prototype has been developed on real-world Bluetooth enabled devices. Experimental results are then obtained from the prototype, showing the effectiveness of the proposed scheme
Assessment of medication adherence in patients with schizophrenia. The Achilles heal of adherence research
No full textShared decision-making in the treatment of people with severe mental illness: a focus group study.
No full textIntegrating COTS Software Components into Dependable Software Architectures
No full textThis paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high dependability requirements. These components, by their very, nature, are built to be reused as black boxes that cannot be modified. Instead, the system architect has to rely? on techniques external with respect to the component for resolving mismatches of the services required and provided that might arise in the interaction of the component and its environment. This paper proposes an architectural solution to turning COTS components into idealised fault-tolerant COTS components by adding protective wrappers to them
A comparison of SF-6D and EQ-5D utility scores in a study of patients with schizophrenia
No full textEconomic evaluations of healthcare interventions increasingly measure outcomes using quality-adjusted life years (QALYs). The SF-6D and the EQ-5D are alternative ways of generating utility scores for use in QALY estimations, but it is unclear which is most sensitive to change in psychiatric symptom severity. There are also limited data on the sensitivity of these measures to changes in existing clinical indicators in long-term mental health conditions like schizophrenia. To: (i) assess the relationship between SF-6D and EQ-5D utility scores for patients with schizophrenia at two points in time, (ii) assess the relationship in the change scores of these two measures, (iii) measure the sensitivity of these measures to changes in an established measure of symptomatology. Patients with schizophrenia were recruited and the SF-36 and EQ-5D were administered at baseline and one-year follow-up and utility scores were computed and compared. Standardized response mean (SMR) scores were calculated for the SF-6D and EQ-5D and compared for patients who improved or deteriorated by at least 25% on the Brief Psychiatric Rating Scale. EQ-5D ratings were available for 394 patients at baseline, 368 at follow-up and 358 at both time points. The respective figures for the SF-6D were 383, 367 and 345. Mean utility scores were very similar at baseline (EQ-5D 0.68, SF-6D 0.67) and follow-up (EQ-5D 0.71, SF-6D 0.68). Median scores were markedly higher for the EQ-5D (0.76 v 0.66 at baseline, 0.80 v 0.68 at follow-up). The SF-6D scores followed a normal distribution whilst the EQ-5D scores were negatively skewed with a clustering at 1.00. There were few differences in sensitivity to change between the EQ-5D and SF-6D. From an analytical perspective the SF-6D has advantages over the EQ-5D due to its normal distribution and lack of ceiling effect. However, both measures produce similar mean utility scores. Overall the SF-6D appears more suitable as a measure of utility in this patient group. Decisions made on the basis of cost-effectiveness results need to consider the method by which QALYs have been calculated. Further comparisons of the EQ-5D and SF-6D are require
Clinical decision making and outcome in the routine care of people with severe mental illness across Europe (CEDAR)
No full textAims. There is a lack of knowledge on clinical decision making and its relation to outcome in the routine treatment of people with severe mental illness. This study examined preferred and experienced clinical decision making from the perspectives of patients and staff, and how these affect treatment outcome.
Methods. CEDAR (ISRCTN75841675) is a naturalistic prospective observational study with bimonthly assessments during a 12-month observation period. 588 adults with severe mental illness were consecutively recruited from caseloads of community mental health services at the six study sites (Germany, UK, Italy, Hungary, Denmark, and Switzerland). Clinical decision making was measured using two instruments (Clinical Decision Making Style Scale.
CDMS;Clinical Decision Making Involvement and Satisfaction Scale, CDIS) from patient and staff perspectives. Outcomes assessed were unmet needs (Camberwell Assessment of Need Short Appraisal Schedule, CANSAS). Mixed-effects multinomial regression was used to examine differences in involvement in and satisfaction with actual decision making. The effect of clinical decision making on outcome was examined using hierarchical linear modelling controlling for covariates.
Results. Shared decision making was preferred by patients (2=135.08; p<0.001) and staff (2=368.17; p<0.001). Decision making style of staff significantly affected unmet needs over time, with unmet needs decreasing more in patients whose clinicians preferred active to passive (-0.406 unmet needs per two months, p=0.007) or shared (-0.303 unmet needs per two months, p=0.015) decision making.
Conclusions. A shift from shared to active involvement of patients is indicated, including the development and rigorous test of targeted interventions
- …
