16 research outputs found

    Optimizing the Resource Requirements of Hierarchical Scheduling Systems

    Get PDF
    Compositional reasoning on hierarchical scheduling systems is a well-founded formal method that can construct schedulable and optimal system configurations in a compositional way. However, a compositional framework formulates the resource requirement of a component, called an interface, by assuming that a resource is always supplied by the parent components in the most pessimistic way. For this reason, the component interface demands more resources than the amount of resources that are really sufficient to satisfy sub-components. We provide two new supply bound functions which provides tighter bounds on the resource requirements of individual components. The tighter bounds are calculated by using more information about the scheduling system. We evaluate our new tighter bounds by using a model-based schedulability framework for hierarchical scheduling systems realized as Uppaal models. The timed models are checked using model checking tools Uppaal and Uppaal SMC, and we compare our results with the state of the art tool CARTS

    Biomedical Cyber-Physical Systems in the Light of Database as a Service (DBaaS) Paradigm

    Get PDF
    Background: A database (DB) to store indexed information about drug delivery, test, and their temporal behavior is paramount in new Biomedical Cyber-Physical Systems (BCPSs). The term Database as a Service (DBaaS) means that a corporation delivers the hardware, software, and other infrastructure required by companies to operate their databases according to their demands instead of keeping an internal data warehouse. Methods: BCPSs attributes are presented and discussed.  One needs to retrieve detailed knowledge reliably to make adequate healthcare treatment decisions. Furthermore, these DBs store, organize, manipulate, and retrieve the necessary data from an ocean of Big Data (BD) associated processes. There are Search Query Language (SQL), and NoSQL DBs.  Results: This work investigates how to retrieve biomedical-related knowledge reliably to make adequate healthcare treatment decisions. Furthermore, Biomedical DBaaSs store, organize, manipulate, and retrieve the necessary data from an ocean of Big Data (BD) associated processes. Conclusion: A NoSQL DB allows more flexibility with changes while the BCPSs are running, which allows for queries and data handling according to the context and situation. A DBaaS must be adaptive and permit the DB management within an extensive variety of distinctive sources, modalities, dimensionalities, and data handling according to conventional ways

    Content-Based Image Retrieval (CBIR) in Big Histological Image Databases

    Get PDF
    Background: Automatic analysis of Histopathological Images (HIs) demands image processing and Computational Intelligence (CI) techniques. Both Computer-Aided Diagnosis (CAD) and Content-Based Image-Retrieval (CBIR) systems assist diagnosis, disease discovery, and biological decision-making. Classical tests comprise screening examinations and biopsy. Histopathology slides offer more ample diagnosis data. However, manual examination of microscopic images is labor-intensive and time-consuming and may depend on a subjective assessment by the pathologist, which can be a challenge. Methods: This work discusses a CBIR framework to extract and handle histological data, histological metadata, integrated patient records, specimen metadata, attributes, and similar stored files. This work presents a scalable image-retrieval framework for intelligent HI analysis with real-time retrieval. The potential applications of this framework include image-guided diagnosis, decision support, healthcare education, and efïŹcient biological data management. Results: The considerable amount of biological-related data prompted the development and deployment of large-scale databases and data-driven techniques to bridge the semantic gap between images and diagnostic information. The new cloud computing technologies and the concept of cyber-physical systems have improved the CBIR architectures considerably. The proposed scalable architecture relies on CI and validates performance on several HIs acquired from microscopic tissues. Extensive assessments show improvements in terms of disease classiïŹcation and retrieval tests. Conclusion: This research effort significant contributions are twofold. 1) Defining a  comprehensive and large-scale CBIR framework to analyze HIs with high-dimensional features and CI methods successfully. 2) high-performance updating and optimization strategies improve the querying while better handling new training samples than traditional methods

    SDR-Based High-Definition Video Transmission for Biomedical Engineering

    Get PDF
    Background: Software-Defined Radio (SDR) frameworks from cellular telephone base stations, e.g., Multiservice Distributed Access System (MDAS) and small cells, employ extensively integrated RF agile transceivers. The Internet of Medical Things (IoMT) is the collection of medical devices and applications that connect to healthcare IT systems through online computer networks. Medical devices equipped with Wi-Fi allow M2M communication, which is the backbone of IoMT and associated devices linked to cloud platforms containing stored data to be analyzed. Examples of IoMT include remote patient monitoring of people with chronic or long-term conditions, tracking patient medication orders and the location of patients admitted to hospitals, and patients' wearables to send info to caregivers. Infusion pumps connected to dashboards and hospital beds rigged with sensors measuring patients' vital signs are medical devices that can be converted to or deployed as IoMT technology. Methods: This work proposes an SDR architecture to allow wireless High-Definition (HD) video broadcast for biomedical applications. This text examines a Wideband Wireless Video (WWV) signal chain implementation using the transceivers, the data transmitted volume, the matching occupied RF bandwidth, the communication distance, the transmitter’s power, and the implementation of the PHY layer as Orthogonal Frequency Division Multiplexing (OFDM) with test results to evade RF interference. Results: As the IoMT grows, the amount of possible IoMT uses increases. Many mobile devices employ Near Field Communication (NFC) Radio Frequency Identification (RFID) tags allowing them to share data with IT systems. RFID tags in medical equipment and supplies allow hospital staff can remain aware of the quantities they have in stock. The practice of using IoMT devices to observe patients in their homes remotely is also known as telemedicine. This kind of treatment spares patients from traveling to healthcare facilities whenever they have a medical question or change in their condition. Conclusion: An SDR-based HD biomedical video transmission is proposed, with its benefits and disadvantages for biomedical WWV are discussed. The security of IoMT sensitive data is a developing concern for healthcare providers

    DICOM’s Standardization in Histo-Pathology

    Get PDF
    Background: The Digital Imaging and Communications in Medicine (DICOM) standard helps to represent, store, and to exchange healthcare images associated with its data. DICOM develops over time and is continuously adapted to match the rigors of new clinical demands and technologies. An uphill battle in this regard is to conciliate new software programs with legacy systems. Methods: This work discusses the essential aspects of the standard and assesses its capabilities and limitations in a multisite, multivendor healthcare system aiming at Whole Slicing Image (WSI) procedures. Selected relevant DICOM attributes help to develop and organize WSI applications that extract and handle image data, integrated patient records, and metadata. DICOM must also interface with proprietary file formats, clinical metadata and from different laboratory information systems. Standard DICOM validation tools to measure encoding, storing, querying and retrieval of medical data can verify the generated DICOM files over the web. Results: This work investigates the current regulations and recommendations for the use of DICOM with WSI data. They rely mostly on the EU guidelines that help envision future needs and extensions based on new examination modalities like concurrent use of WSI with in-vitro imaging and 3D WSI. Conclusion: A DICOM file format and communication protocol for pathology has been defined. However, adoption by vendors and in the field is pending. DICOM allows efficient access and prompt availability of WSI data as well as associated metadata. By leveraging a wealth of existing infrastructure solutions, the use of DICOM facilitates enterprise integration and data exchange for digital pathology. In the future, the DICOM standard will have to address several issues due to the way samples are gathered and encompassing new imaging technologies
    corecore