New intelligent network approach for monitoring physiological parameters : the case of Benin

Benin health system is facing many challenges as: (i) affordable high-quality health care to a growing population providing need, (ii) patients’ hospitalization time reduction, (iii) and presence time of the nursing staff optimization. Such challenges can be solved by remote monitoring of patients. To achieve this, five steps were followed. 1) Identification of the Wireless Body Area Network (WBAN) systems’ characteristics and the patient physiological parameters’ monitoring. 2) The national Integrated Patient Monitoring Network (RIMP) architecture modeling in a cloud of Technocenters. 3) Cross-analysis between the characteristics and the functional requirements identified. 4) Each Technocenter’s functionality simulation through: a) the design approach choice inspired by the life cycle of V systems; b) functional modeling through SysML Language; c) the communication technology and different architectures of sensor networks choice studying. 5) An estimate of the material resources of the national RIMP according to physiological parameters. A National Integrated Network for Patient Monitoring (RNIMP) remotely, ambulatory or not, was designed for Beninese health system. The implementation of the RNIMP will contribute to improve patients’ care in Benin. The proposed network is supported by a repository that can be used for its implementation, monitoring and evaluation. It is a table of 36 characteristic elements each of which must satisfy 5 requirements relating to: medical application, design factors, safety, performance indicators and materiovigilance

The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY

Lucid programs are data-flow programs and can be visually represented as data flow graphs (DFGs) and composed visually. Forensic Lucid, a Lucid dialect, is a language to specify and reason about cyberforensic cases. It includes the encoding of the evidence (representing the context of evaluation) and the crime scene modeling in order to validate claims against the model and perform event reconstruction, potentially within large swaths of digital evidence. To aid investigators to model the scene and evaluate it, instead of typing a Forensic Lucid program, we propose to expand the design and implementation of the Lucid DFG programming onto Forensic Lucid case modeling and specification to enhance the usability of the language and the system and its behavior. We briefly discuss the related work on visual programming an DFG modeling in an attempt to define and select one approach or a composition of approaches for Forensic Lucid based on various criteria such as previous implementation, wide use, formal backing in terms of semantics and translation. In the end, we solicit the readers' constructive, opinions, feedback, comments, and recommendations within the context of this short discussion.Comment: 11 pages, 7 figures, index; extended abstract presented at VizSec'10 at http://www.vizsec2010.org/posters ; short paper accepted at PST'1

An IT service engineering and management framework (ITS-EMF)

There is a rich amount of literature on services from Information Technology (IT) (Management view) and IT System Engineering (ITSE) (Engineering view) domains. However, such a variety has produced disparate views. Furthermore, given that IT and ITSE service-based systems must be linked to business services (the User view), conceptual interrelationships are increased, causing yet more diversity. This paper identifies that this generates a lack of theoretical conceptual cohesion and leads to multiple practical confusions. To address these issues and to reduce such conceptual gaps, an IT Service Engineering and Management Framework (ITS-EMF) is proposed. ITS-EMF is generated by careful review and examination of the main conceptualiza- tions on IT, ITSE and business services. The paper claims that ITS-EMF is useful for: (1) mapping services concepts from disparate IT literature, (2) reducing service conceptual confusion from the multiple available sources, and (3) providing conceptual links between service constructs used in business services and IT and ITSE services layers. It concludes with the implications, both academic and practical, for engineering and managing IT services in business organizations

Towards the Formal Verification of SysML v2 Models

Systems Modeling Language (SysML) is the de facto standard in the industry for modeling complex systems. SysML v2 is the new version of the language with reworked fundamentals. In this paper, we explore how the new formal semantics of SysML v2 can enable formal verification and various forms of automated reasoning. Formal verification involves mathematically proving the correctness of a system's design with respect to certain specifications or properties. This rigorous approach ensures that models behave as intended under all possible conditions. Through a detailed examination, we demonstrate how five specific tools - Gamma, MP-Firebird, Imandra, SAVVS, and SysMD - can formally analyze SysML v2 models. We show how these tools support the different concepts in the language, as well as the set of features and technologies they provide to users of SysML v2, such as model checking, theorem proving, contract-based design, or automatic fault injections. We propose a workflow for applying formal methods on SysML v2 models, illustrated by example models and artifacts generated by the above tools

Eyeriss v2: A Flexible Accelerator for Emerging Deep Neural Networks on Mobile Devices

A recent trend in DNN development is to extend the reach of deep learning applications to platforms that are more resource and energy constrained, e.g., mobile devices. These endeavors aim to reduce the DNN model size and improve the hardware processing efficiency, and have resulted in DNNs that are much more compact in their structures and/or have high data sparsity. These compact or sparse models are different from the traditional large ones in that there is much more variation in their layer shapes and sizes, and often require specialized hardware to exploit sparsity for performance improvement. Thus, many DNN accelerators designed for large DNNs do not perform well on these models. In this work, we present Eyeriss v2, a DNN accelerator architecture designed for running compact and sparse DNNs. To deal with the widely varying layer shapes and sizes, it introduces a highly flexible on-chip network, called hierarchical mesh, that can adapt to the different amounts of data reuse and bandwidth requirements of different data types, which improves the utilization of the computation resources. Furthermore, Eyeriss v2 can process sparse data directly in the compressed domain for both weights and activations, and therefore is able to improve both processing speed and energy efficiency with sparse models. Overall, with sparse MobileNet, Eyeriss v2 in a 65nm CMOS process achieves a throughput of 1470.6 inferences/sec and 2560.3 inferences/J at a batch size of 1, which is 12.6x faster and 2.5x more energy efficient than the original Eyeriss running MobileNet. We also present an analysis methodology called Eyexam that provides a systematic way of understanding the performance limits for DNN processors as a function of specific characteristics of the DNN model and accelerator design; it applies these characteristics as sequential steps to increasingly tighten the bound on the performance limits.Comment: accepted for publication in IEEE Journal on Emerging and Selected Topics in Circuits and Systems. This extended version on arXiv also includes Eyexam in the appendi

Leveraging Circular Economy through a Methodology for Smart Service Systems Engineering

Product Service Systems (PSS) and Smart Services are powerful means for deploying Circular Economy (CE) goals in industrial practices, through dematerialization, extension of product lifetime and efficiency increase by digitization. Within this article, approaches from PSS design, Smart Service design and Model-based Systems Engineering (MBSE) are combined to form a Methodology for Smart Service Architecture Definition (MESSIAH). First, analyses of present system modelling procedures and systems modelling notations in terms of their suitability for Smart Service development are presented. The results indicate that current notations and tools do not entirely fit the requirements of Smart Service development, but that they can be adapted in order to do so. The developed methodology includes a modelling language system, the MESSIAH Blueprinting framework, a systematic procedure and MESSIAH CE, which is specifically designed for addressing CE strategies and practices. The methodology was validated on the example of a Smart Sustainable Street Light System for Cycling Security (SHEILA). MESSIAH proved useful to help Smart Service design teams develop service-driven and robust Smart Services. By applying MESSIAH CE, a sustainable Smart Service, which addresses CE goals, has been developed