| 1. |
- Kahraman, Ali Teymur, et al.
(författare)
-
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
- 2024
-
Ingår i: Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Proceedings - 8th International Conference, ECBS 2023, Proceedings. - 1611-3349 .- 0302-9743. - 9783031492518 ; 14390 LNCS, s. 259-262
-
Konferensbidrag (refereegranskat)abstract
- Recently, there has been a significant rise in research and development focused on deep learning (DL) models within healthcare. This trend arises from the availability of extensive medical imaging data and notable advances in graphics processing unit (GPU) computational capabilities. Trained DL models show promise in supporting clinicians with tasks like image segmentation and classification. However, advancement of these models into clinical validation remains limited due to two key factors. Firstly, DL models are trained on off-premises environments by DL experts using Unix-like operating systems (OS). These systems rely on multiple libraries and third-party components, demanding complex installations. Secondly, the absence of a user-friendly graphical interface for model outputs complicates validation by clinicians. Here, we introduce a conceptual Computer-Aided Detection (CAD) pipeline designed to address these two issues and enable non-AI experts, such as clinicians, to use trained DL models offline in Windows OS. The pipeline divides tasks between DL experts and clinicians, where experts handle model development, training, inference mechanisms, Grayscale Softcopy Presentation State (GSPS) objects creation, and containerization for deployment. The clinicians execute a simple script to install necessary software and dependencies. Hence, they can use a universal image viewer to analyze results generated by the models. This paper illustrates the pipeline's effectiveness through a case study on pulmonary embolism detection, showcasing successful deployment on a local workstation by an in-house radiologist. By simplifying model deployment and making it accessible to non-AI experts, this CAD pipeline bridges the gap between technical development and practical application, promising broader healthcare applications.
|
|
| 2. |
- Kunnappilly, Ashalatha, et al.
(författare)
-
Analyzing Ambient Assisted Living Solutions : A Research Perspective
- 2017
-
Ingår i: 12th International Conference on Design and Technology of Integrated Systems in Nanoscale Era DTIS 2017. - 9781509063772
-
Konferensbidrag (refereegranskat)abstract
- Typical AAL solutions rely on integrating capabilities for health monitoring, fall detection, communication and social inclusion, supervised physical exercises, vocal interfaces, robotic platforms etc. Ensuring the safe function and quality of service with respect to various extra-functional requirements like timing and security of such AAL solutions is of highest importance. To facilitate analysis, latest system development platforms provide underlying infrastructures for model-driven design (e.g., via the dime{} tool), timing and resource-usage specification (e.g., via the REMES tool), security features (e.g., by employing SECube), and statistical model-checking techniques (e.g, via Plasma). In this paper, we discuss the challenges associated with analyzing complex AAL solutions, from relevant properties to semantic interoperability issues raised by employing various frameworks for modeling and analysis, and applicability to evolving architectures. We take as examples two of the prominent existing AAL architectures and our own prior experience.
|
|
| 3. |
- Margaria, Tiziana, et al.
(författare)
-
Scalability aspects of validation
- 2003
-
Ingår i: International Journal on Software Tools for Technology Transfer. - 1433-2779 .- 1433-2787. ; 5:1
-
Tidskriftsartikel (refereegranskat)
|
|
| 4. |
- Taromirad, Masoumeh, et al.
(författare)
-
A Literature Survey of Assertions in Software Testing
- 2024
-
Ingår i: Engineering of Computer-Based Systems. - : Springer. - 0302-9743. - 9783031492518 - 9783031492525 ; , s. 75-96
-
Konferensbidrag (refereegranskat)abstract
- Assertions are one of the most useful automated techniques for checking program’s behaviour and hence have been used for different verification and validation tasks. We provide an overview of the last two decades of research involving ‘assertions’ in software testing. Based on a term–based search, we filtered the inclusion of relevant papers and synthesised them w.r.t. the problem addressed, the solution designed, and the evaluation conducted. The survey rendered 119 papers on assertions in software testing. After test oracle, the dominant problem focus is test generation, followed by engineering aspects of assertions. Solutions are typically embedded in tool prototypes and evaluated throughout limited number of cases while using large–scale industrial settings is still a noticeable method. We conclude that assertions would be worth more attention in future research, particularly regarding the new and emerging demands (e.g., verification of programs with uncertainty), for effective, applicable, and domain-specific solutions.
|
|
| 5. |
|
|
| 6. |
- Vulgarakis, Aneta, 1982-
(författare)
-
A Resource-Aware Component Model for Embedded Systems
- 2009
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Embedded systems are microprocessor-based systems that cover a large range of computer systems from ultra small computer-based devices to large systems monitoring and controlling complex processes. The particular constraints that must be met by embedded systems, such as timeliness, resource-use efficiency, short time-to-market and low cost, coupled with the increasing complexity of embedded system software, demand technologies and processes that will tackle these issues. An attractive approach to manage the software complexity, increase productivity, reduce time to market and decrease development costs, lies in the adoption of the component based software engineering (CBSE) paradigm. The specific characteristics of embedded systems lead to important design issues that need to be addressed by a component model. Consequently, a component model for development of embedded systems needs to systematically address extra-functional system properties. The component model should support predictable system development and as such guarantee absence or presence of certain properties. Formal methods can be a suitable solution to guarantee the correctness and reliability of software systems. Following the CBSE spirit, in this thesis we introduce the ProCom component model for development of distributed embedded systems. ProCom is structured in two layers, in order to support both a high-level view of loosely coupled subsystems encapsulating complex functionality, and a low-level view of control loops with restricted functionality. These layers differ from each other in terms of execution model, communication style, synchronization etc., but also in kind of analysis which are suitable. To describe the internal behavior of a component, in a structured way, in this thesis we propose REsource Model for Embedded Systems (REMES) that describes both functional and extra-functional behavior of interacting embedded components. We also formalize the resource-wise properties of interest and show how to analyze such behavioral models against them.
|
|
| 7. |
- Werder, Karl, et al.
(författare)
-
Working Group on Software-Intensive Business Research : Definition and Roadmap
- 2018
-
Ingår i: Software Business, Platforms, and Ecosystems.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- In today’s digital environment companies are forced to participate in a process often coined digital transformation. As a result, companies expect to stay relevant and harness digital technologies for their competitive advantage and sustainable value creation. A central element of this transforming process is the software that companies develop, purchase or customize in order to support their business. These challenges stretch beyond the information and technology industry, as businesses use digital technology to compete in traditions industries. Popular examples are omnipresent, with Uber revolutionizing the taxi industry, AirBnB forcing new legislations to protect the hotel industry, and Spotify becoming a single source for music with a monthly subscription model. The Dagstuhl Seminar “Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research” organized by Pekka Abrahamsson, Jan Boch, Sjaak Brinkkemper, and Alexander Mädche took place from 29th of April until 02nd of May. The seminar’s objectives were i) to strengthen crosscommunity research efforts, ii) to increase accessibility of research data and results, iii) to exchange on current and future research developments and discussions, iv) to initiate project ideas between scholars and with industry that evolve into project proposals.
|
|
