Proceedings ICPW'07: 2nd International Conference on the Pragmatic Web, 22-23 Oct. 2007, Tilburg: NL

Proceedings ICPW'07: 2nd International Conference on the Pragmatic Web, 22-23 Oct. 2007, Tilburg: N

A Toulmin's Framework-Based Method for Design Argumentation of Cyber-Physical Systems

The design of cyber-physical systems (CPS) is a promising domain, where the data market is expected to soon penetrate. When engineers focus on only a particular part of data (whether intentionally or not) for establishing a design hypothesis, the design hypothesis may also be supported by data sets in the market. Therefore, the validity of such a design hypothesis cannot be evaluated by the data itself, and can only be accepted by the robustness of the logic behind the design argumentation. Although the validation of the design logic is significant, cognitive aspects (which people have spontaneously) disturb the design argumentation reasoning. Therefore, a design method that overcomes the cognitive aspects is indispensable for the CPS designers. This work proposes a CPS design method using the interaction between logic and data sets with a logic visualization tool, and applies the proposed method to the design of a diagnosis system for semiconductor manufacture. The capability of the proposed method is also discussed and analyzed in this paper

Combining conceptual graphs and argumentation for aiding in the teleexpertise

Current medical information systems are too complex to be meaningfully exploited. Hence there is a need to develop new strategies for maximising the exploitation of medical data to the benefit of medical professionals. It is against this backdrop that we want to propose a tangible contribution by providing a tool which combines conceptual graphs and Dung׳s argumentation system in order to assist medical professionals in their decision making process. The proposed tool allows medical professionals to easily manipulate and visualise queries and answers for making decisions during the practice of teleexpertise. The knowledge modelling is made using an open application programming interface (API) called CoGui, which offers the means for building structured knowledge bases with the dedicated functionalities of graph-based reasoning via retrieved data from different institutions (hospitals, national security centre, and nursing homes). The tool that we have described in this study supports a formal traceable structure of the reasoning with acceptable arguments to elucidate some ethical problems that occur very often in the telemedicine domain

GHOST: experimenting countermeasures for conflicts in the pilot's activity

An approach for designing countermeasures to cure conflict in aircraft pilots’ activities is presented, both based on Artificial Intelligence and Human Factors concepts. The first step is to track the pilot’s activity, i.e. to reconstruct what he has actually done thanks to the flight parameters and reference models describing the mission and procedures. The second step is to detect conflict in the pilot’s activity, and this is linked to what really matters to the achievement of the mission. The third step is to design accu- rate countermeasures which are likely to do bet- ter than the existing onboard devices. The three steps are presented and supported by experimental results obtained from private and professional pi- lots

Physiological modeling of isoprene dynamics in exhaled breath

Human breath contains a myriad of endogenous volatile organic compounds (VOCs) which are reflective of ongoing metabolic or physiological processes. While research into the diagnostic potential and general medical relevance of these trace gases is conducted on a considerable scale, little focus has been given so far to a sound analysis of the quantitative relationships between breath levels and the underlying systemic concentrations. This paper is devoted to a thorough modeling study of the end-tidal breath dynamics associated with isoprene, which serves as a paradigmatic example for the class of low-soluble, blood-borne VOCs. Real-time measurements of exhaled breath under an ergometer challenge reveal characteristic changes of isoprene output in response to variations in ventilation and perfusion. Here, a valid compartmental description of these profiles is developed. By comparison with experimental data it is inferred that the major part of breath isoprene variability during exercise conditions can be attributed to an increased fractional perfusion of potential storage and production sites, leading to higher levels of mixed venous blood concentrations at the onset of physical activity. In this context, various lines of supportive evidence for an extrahepatic tissue source of isoprene are presented. Our model is a first step towards new guidelines for the breath gas analysis of isoprene and is expected to aid further investigations regarding the exhalation, storage, transport and biotransformation processes associated with this important compound.Comment: 14 page

Physiological modeling of isoprene dynamics in exhaled breath

Human breath contains a myriad of endogenous volatile organic compounds (VOCs) which are reflective of ongoing metabolic or physiological processes. While research into the diagnostic potential and general medical relevance of these trace gases is conducted on a considerable scale, little focus has been given so far to a sound analysis of the quantitative relationships between breath levels and the underlying systemic concentrations. This paper is devoted to a thorough modeling study of the end-tidal breath dynamics associated with isoprene, which serves as a paradigmatic example for the class of low-soluble, blood-borne VOCs. Real-time measurements of exhaled breath under an ergometer challenge reveal characteristic changes of isoprene output in response to variations in ventilation and perfusion. Here, a valid compartmental description of these profiles is developed. By comparison with experimental data it is inferred that the major part of breath isoprene variability during exercise conditions can be attributed to an increased fractional perfusion of potential storage and production sites, leading to higher levels of mixed venous blood concentrations at the onset of physical activity. In this context, various lines of supportive evidence for an extrahepatic tissue source of isoprene are presented. Our model is a first step towards new guidelines for the breath gas analysis of isoprene and is expected to aid further investigations regarding the exhalation, storage, transport and biotransformation processes associated with this important compound.Comment: 14 page

A Pattern-based Approach towards Modular Safety Analysis and Argumentation

International audienceSafety standards recommend (if not dictate) performing many analyses during the concept phase of development as well as the early adoption of multiple measures at the architectural design level. In practice, the reuse of architectural measures or safety mechanisms is widely-spread, especially in well-understood domains, as is reusing the corresponding safety-cases aiming to document and prove the fulfillment of the underlying safety goals. Safety-cases in the automotive domain are not well-integrated into architectural models and as such do not provide comprehensible and reproducible argumentation nor any evidence for argument correctness. The reuse is mostly ad-hoc, with loss of knowledge and traceability and lack of consistency or process maturity as well as being the most widely spread and cited drawbacks.Using a simplified description of software functions and their most common error management subtypes (avoidance, detection, handling, ..) we propose to define a pattern library covering known solution algorithms and architectural measures/constraints in a seamless holistic model-based approach with corresponding tool support. The pattern libraries would comprise the requirement the pattern covers and the architecture elements/ measures / constraints required and may include deployment or scheduling strategies as well as the supporting safety case template, which would then be integrated into existing development environments. This paper explores this approach using an illustrative example