English
Related papers

Related papers: Model-Driven Development of High-Assurance Active …

200 papers

For the development of new digital signal processing systems and services, the rapid, easy, and convenient prototyping of ideas and the rapid time-to-market of products are becoming important with advances in technology. Conventionally, for…

Information Theory · Computer Science 2022-08-30 Sung Sik Nam , Changseok Yoon , Ki-Hong Park , Mohamed-Slim Alouini

Manufacturing of medical devices is strictly controlled by authorities, and manufacturers must conform to the regulatory requirements of the region in which a medical device is being marketed for use. In general, these requirements make no…

Computers and Society · Computer Science 2021-03-12 Tuomas Granlund , Tommi Mikkonen , Vlad Stirbu

Aim: provide a methodological framework for the process of clinical tests, clinical acceptance, and scientific assessment of algorithms and software based on the artificial intelligence (AI) technologies. Clinical tests are considered as a…

This paper explores expert accounts of autonomous systems (AS) development in the medical device domain (MD) involving applications of artificial intelligence (AI), machine learning (ML), and other algorithmic and mathematical modelling…

Human-Computer Interaction · Computer Science 2024-08-06 Glenn McGarry , Andy Crabtree , Lachlan Urquhart , Alan Chamberlain

In situations where the solution of a high-fidelity dynamical system needs to be evaluated repeatedly, over a vast pool of parametric configurations and in absence of access to the underlying governing equations, data-driven model reduction…

Numerical Analysis · Mathematics 2025-06-27 Harshit Kapadia , Peter Benner , Lihong Feng

Context: Seamless model-based development provides integrated chains of models, covering all software engineering phases. Non-functional requirements (NFRs), like reusability, further play a vital role in software and systems engineering,…

Software Engineering · Computer Science 2017-02-27 Jonas Eckhardt , Daniel Méndez Fernández , Andreas Vogelsang

The rapid proliferation of artificial intelligence (AI) models and methods presents growing challenges for research software engineers and researchers who must select, integrate, and maintain appropriate models within complex research…

Engineering the software development process in robotics is one of the basic necessities towards industrial-strength service robotic systems. A major challenge is to make the step from code-driven to model-driven systems. This is essential…

Robotics · Computer Science 2010-09-27 Andreas Steck , Christian Schlegel

Recent proliferation of embedded systems has generated a bold new paradigm, known as open embedded systems. While traditional embedded systems provide only closed base applications (natively-installed software) to users, open embedded…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-30 Hiroaki Inoue

Context: Across different domains, Artificial Neural Networks (ANNs) are used more and more in safety-critical applications in which erroneous outputs of such ANN can have catastrophic consequences. However, the development of such neural…

Molecular dynamics (MD) simulations and computer-aided drug design (CADD) have advanced substantially over the past two decades, thanks to continuous computer hardware and software improvements. Given these advancements, MD simulations are…

Quantitative Methods · Quantitative Biology 2023-11-29 Mayar Ahmed , Alex M. Maldonado , Jacob D. Durrant

The increasing popularity of attention mechanisms in deep learning algorithms for computer vision and natural language processing made these models attractive to other research domains. In healthcare, there is a strong need for tools that…

Computer Vision and Pattern Recognition · Computer Science 2022-04-27 Tiago Gonçalves , Isabel Rio-Torto , Luís F. Teixeira , Jaime S. Cardoso

Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using…

Software Engineering · Computer Science 2013-01-03 Chen-Wei Wang , Jim Davies

This paper considers how a formal mathematically-based model can be used in support of evolutionary software development, and in particular how such a model can be kept consistent with the implementation as it changes to meet new…

Software Engineering · Computer Science 2011-11-14 A. Gravell , Y. Howard , J. C. Augusto , C. Ferreira , S. Gruner

Model-based approaches for image reconstruction, analysis and interpretation have made significant progress over the last decades. Many of these approaches are based on either mathematical, physical or biological models. A challenge for…

Computer Vision and Pattern Recognition · Computer Science 2019-10-01 Daniel Rueckert , Julia A. Schnabel

The evolution of information technology and electronics in general has been consistently increasing the use of embedded systems. While hardware development for these systems is already consistent, software development for embedded systems…

Software Engineering · Computer Science 2015-08-05 Rogerio Atem de Carvalho , Hudson Silva , Rafael Ferreira Toledo , Milena Silveira de Azevedo

In recent years, the demand for customized, on-demand production has grown in the manufacturing sector. Additive Manufacturing (AM) has emerged as a promising technology to enhance customization capabilities, enabling greater flexibility,…

Robotics · Computer Science 2025-07-01 Yifei Li , Joshua A. Robbins , Guha Manogharan , Herschel C. Pangborn , Ilya Kovalenko

The prospect of using autonomous robots to enhance the capabilities of physicians and enable novel procedures has led to considerable efforts in developing medical robots and incorporating autonomous capabilities. Motion planning is a core…

Robotics · Computer Science 2022-10-21 Inbar Fried , Jason A. Akulian , Ron Alterovitz

Artificial Intelligence (AI) systems have gained significant traction in the recent past, creating new challenges in requirements engineering (RE) when building AI software systems. RE for AI practices have not been studied much and have…

Software Engineering · Computer Science 2023-02-14 Khlood Ahmad , Mohamed Abdelrazek , Chetan Arora , John Grundy , Muneera Bano

Background: Medical device development projects must follow proper directives and regulations to be able to market and sell the end-product in their respective territories. The regulations describe requirements that seem to be opposite to…

Software Engineering · Computer Science 2020-07-23 Martin Forsberg Lie , Mary Sánchez-Gordón , Ricardo Colomo-Palacios
‹ Prev 1 3 4 5 6 7 10 Next ›