Access the full text.
Sign up today, get DeepDyve free for 14 days.
A Höss, C Lampe, R Panse, B Ackermann, J Naumann, O Jäkel (2014)
First experiences with the implementation of the European standard EN 62304 on medical device software for the quality assurance of a radiotherapy unitRadiat Oncol, 9
KB Akhlaki, MC Tun, JH Terriza, LM Morales (2007)
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design modelsSci Comput Program, 65
S Eagles, F Wu (2014)
Reducing risks and recalls: safety assurance cases for medical devicesBiomed Instrum Technol, 48
A Ray (2012)
Assurance cases: their use today and the challenges aheadBiomed Instrum Technol, 46
C Becchetti, A Neri (2013)
A medical instrument design and development: from requirements to market placements
NMA Munassar, A Govardhan (2010)
A comparison between five models of software engineeringIJCSI, 5
K Benghazi, MV Hurtado, MJ Hornos, ML Rodrguez, C Rodrguez-Domnguez, AB Pelegrina, MJ Rodrguez-Frtiz (2012)
Enabling correct design and formal analysis of ambient assisted living systemsJ Syst Softw, 85
G Acampora, DJ Cook, P Rashidi, AV Vasilakos (2013)
A survey on ambient intelligence in healthcareProc IEEE, 101
M Utting, A Pretschner, B Legeard (2012)
A taxonomy of model based testing approachesSoftw Test Verif Reliab, 22
The Ambient Intelligence (AmI) paradigm has increasingly been adopted to build what we name Ambient Intelligent Medical Software (AmI-MS) to face the complexity of designing software-based systems for monitoring medical conditions and supporting physician in making decisions. When this kind of systems are directly related to the safety of people, they are subject to pass an approval process as Medical Devices to ascertain their quality regarding safety and effectiveness. Currently, building an AmI-MS follows a conventional approach which employs two processes: the first for developing the software and the second for identifying, assessing, and managing the related risks. This method hides its complexity within the interaction between the processes mentioned above, which is not standardised and left to manufacturer quality management. For AmI-MS, it is even worse due to the multitude of environmental conditions to be analysed from both a design and a risk perspective which leads to inappropriate, or insufficient evidence, and undiscovered, or not adequately controlled, risk scenarios. In this work, we propose a novel risk-driven, evidence-oriented V-model methodology which addresses the previous issues by defining a seamless and unified development process. The novelty of our approach consists of interleaving risk management with software development activities and employing assurance cases for driving and controlling quality concerns. A concrete application on a case study is presented to show the strengths and weaknesses of this approach.
Journal of Reliable Intelligent Environments – Springer Journals
Published: May 10, 2017
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.