Validate implementation correctness using simulation: the TASTE approach

High-integrity systems operate in hostile environment and must guarantee a continuous operational state, even if unexpected events happen. In addition, these systems have stringent requirements that must be validated and correctly translated from high-level specifications down to code. All these constraints make the overall development process more time-consuming. This becomes especially complex because the number of system functions keeps increasing over the years. As a result, engineers must validate system implementation and check that its execution conforms to the specifications. To do so, a traditional approach consists in a manual instrumentation of the implementation code to trace system activity while operating. However, this might be error-prone because modifications are not automatic and still made manually. Furthermore, such modifications may have an impact on the actual behavior of the system. In this paper, we present an approach to validate a system implementation by comparing execution against simulation. In that purpose, we adapt TASTE, a set of tools that eases system development by automating each step as much as possible. In particular, TASTE automates system implementation from functional (system functions description with their properties – period, deadline, priority, etc.) and deployment(processors, buses, devices to be used) models. We tailored this tool-chain to create traces during system execution. Generated output shows activation time of each task, usage of communication ports (size of the queues, instant of events pushed/pulled, etc.) and other relevant execution metrics to be monitored. As a consequence, system engineers can check implementation correctness by comparing simulation and execution metrics

A MDE-based process for the design, implementation and validation of safety critical systems

Distributed Real-Time Embedded (DRE) systems have critical requirements that need to be verified. They are either related to functional (e.g. stability of a furnace controller) or non-functional (e.g. meeting deadlines) aspects. Model-Driven Engineering (MDE) tools have emerged to ease DRE systems design. These tools are also capable of generating code. However, these tools either focus on the functional aspects or on the runtime architecture. Hence, the development cycle is partitioned into pieces with heterogeneous modeling notations and poor coordination. In this paper, we propose a MDE-based process to create DRE systems without manual coding. We show how to integrate functional and architecture concerns in a unified process. We use industry-proven modeling languages to design functional elements of the system, and automatically integrate them using our AADL toolchain

Model based code generation for distributed embedded systems

Embedded systems are becoming increasingly complex and more distributed. Cost and quality requirements necessitate reuse of the functional software components for multiple deployment architectures. An important step is the allocation of software components to hardware. During this process the differences between the hardware and application software architectures must be reconciled. In this paper we discuss an architecture driven approach involving model-based techniques to resolve these differences and integrate hardware and software components. The system architecture serves as the underpinning based on which distributed real-time components can be generated. Generation of various embedded system architectures using the same functional architecture is discussed. The approach leverages the following technologies – IME (Integrated Modeling Environment), the SAE AADL (Architecture Analysis and Design Language), and Ocarina. The approach is illustrated using the electronic throttle control system as a case study

LES INTERACTIONS ENTRE USAGERS ET MOTEURS DE RECHERCHE SUR LE WEB PEUVENT-ELLES ETRE SOURCES D'APPRENTISSAGE CONCERNANT LE FONCTIONNEMENT INTERNE DE CES MOTEURS ? LE CAS DES OPTIONS LINGUISTIQUES.

International audienceUn usage régulier n'est pas synonyme d'efficacité dans le domaine des TIC en général mais peut-il l'être dans le domaine de la recherche d'information sur le web ? Nous menons une étude exploratoire où les utilisateurs sont placés en situation de s'interroger sur les différentes options linguistiques offertes par les moteurs de recherche. Les premiers résultats nous permettent de conclure que ni l'expérimentation avec les moteurs ni les documentations en ligne n'amènent à statuer avec fiabilité sur les fonctionnalités des moteurs concernant les critères étudiés. Cette étude s'inscrit dans le questionnement d'une didactique de l'informatique qui distingue deux types d'apprentissage, celui de la manipulation de surface et celui d'une compréhension profonde du système, et de son extension aux outils de communication et d'accès aux documents et aux savoirs

Didactique de l'informatique et recherche d'information sur le web : quelle (s) perspective (s) ?

Le champ de la réflexion de la didactique informatique peut s'étendre aux outils de recherche d'information sur le Web. Il semble pourtant que la recherche en didactique de l'informatique n'ait que peu progressé dans ce sens. Notre communication interroge la nature des liens entre informatique et culture informationnelle dans un premier temps, puis nous présenterons les résultats d'une expérimentation auprès d'étudiants de licence information-communication sur leur compréhension du fonctionnement d'un moteur de recherche. Nous avons sollicité le cadre théorique de Norman pour tester dans quelle mesure l'image du moteur de recherche permet ou non à ces utilisateurs d'avoir un modèle mental correct de son fonctionnement. Il s'avère que tant l'interface que l'aide en ligne ne suffisent pas aux utilisateurs pour déterminer les traitements opérés par celui- ci sur leurs requêtes

Mutualisation et listes de diffusion : une pratique émergente ?

Dossiers de l'ingénierie éducative. "Communautés en ligne". N°36.Si l'objectif de la mutualisation est un leitmotiv en matière de listes de diffusion, il n'est que partiellement atteint dans la pratique. Le consensus apparent doit être nuancé par la prise en compte des raisons de l'adoption des listes par les enseignants et par la réalité de la participation des abonnés aux échanges

Les espaces numériques documentaires d'éducation : quels éléments pour une culture informationnelle de l'enseignant ?

National audienceUn sous-ensemble des espaces numériques d'éducation, en plein développement en France, est consacré à l'offre de ressources numériques pour la communauté éducative. Notre contribution pose la question de la culture informationnelle nécessaire à l'usage de ces espaces. Une démarche exploratoire sur un corpus d'espaces (britannique, français, québécois) est menée en analysant les différents modes d'existence de ces ressources numériques : politico-économique, documentaire, éditorial, éducatif et technique

A precise description of the p-adic valuation of the number of alternating sign matrices

Following Sun and Moll, we study v_p(T(N)), the p-adic valuation of the counting function of the alternating sign matrices. We find an exact analytic expression for it that exhibits the fluctuating behaviour, by means of Fourier coefficients. The method is the Mellin-Perron technique, which is familiar in the analysis of the sum-of-digits function and related quantities

Waiving the Physician-Patient Privilege in Involuntary Commitment Proceedings in Washington—In re R., 97 Wn. 2d 182, 641 P.2d 704 (1982)

In analyzing the court\u27s decision in In re R., this Note will first review the physician-patient privilege. Next, it will assess the court\u27s analysis and application of the statutory waiver in section 71.05.250 of the Washington Revised Code to hearings for ninety-day commitment. This Note concludes that while the court correctly applied the statutory waiver to hearings for ninety-day commitment, the court\u27s standard of reasonableness in applying the waiver of the privilege in this case was improper. Because the physician-patient privilege is a valuable tool in encouraging patients to seek therapeutic treatment, this Note recommends that the courts require a strong showing of necessity before allowing the exercise of the statutory waiver of the privilege