IEC 62304 Medical device software \begingroupłet [Pleaseinsert\PrerenderUnicode—intopreamble] Software life cycle processes A. Abba 2021 The novel Mechanical Ventilator Milano for the COVID-19 pandemic Physics of Fluids 33 3 037122 10.1063/5.0044445 Jean-Raymond Abrial 2006 Formal Methods in Industry: Achievements, Problems, Future 761\begingroupłet [Pleaseinsert\PrerenderUnicode–intopreamble]768 Association for Computing Machinery
New York, NY, USA
10.1145/1134285.1134406
P. Arcaini S. Bonfanti A. Gargantini E. Riccobene 2016 Visual Notation and Patterns for Abstract State Machines Paolo Milazzo Dániel Varró Manuel Wimmer Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016 LNCS Springer International Publishing 163–178 10.1007/978-3-319-50230-4_12 Paolo Arcaini Andrea Bombarda Silvia Bonfanti Angelo Gargantini Elvinia Riccobene Patrizia Scandurra 2021 The ASMETA Approach to Safety Assurance of Software Systems Alexander Raschke Elvinia Riccobene Klaus-Dieter Schewe Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Springer International Publishing
Cham
215–238 10.1007/978-3-030-76020-5_13
Paolo Arcaini Silvia Bonfanti Angelo Gargantini Atif Mashkoor Elvinia Riccobene 2018 Integrating formal methods into medical software development: The ASM approach Science of Computer Programming 158 148–167 10.1016/j.scico.2017.07.003 Paolo Arcaini Silvia Bonfanti Angelo Gargantini Elvinia Riccobene Patrizia Scandurra 2020 Addressing Usability in a Formal Development Environment AFFORD 2019 - Workshop on Practical Formal Verification for Software Dependability - workshop of FM 19 Springer International Publishing 61–76 10.1007/978-3-030-54994-7_6 Paolo Arcaini Silvia Bonfanti Angelo Gargantini Elvinia Riccobene Patrizia Scandurra 2020 Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA Alexander Raschke Dominique Méry Frank Houdek Rigorous State-Based Methods Springer International Publishing
Cham
302–317 10.1007/978-3-030-48077-6_25
Paolo Arcaini Angelo Gargantini Elvinia Riccobene 2016 SMT-based automatic proof of ASM model refinement Rocco De Nicola Eva Kühn Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings Lecture Notes in Computer Science Springer International Publishing
Cham
253–269 10.1007/978-3-319-41591-8_17
Paolo Arcaini Angelo Gargantini Elvinia Riccobene 2017 Rigorous development process of a safety-critical system: from ASM models to Java code International Journal on Software Tools for Technology Transfer 19 2 247–269 10.1007/s10009-015-0394-x Paolo Arcaini Angelo Gargantini Elvinia Riccobene Patrizia Scandurra 2011 A model-driven process for engineering a toolset for a formal method Software: Practice and Experience 41 155–166 10.1002/spe.1019 ASMETA (ASM mETAmodeling) toolset https://asmeta.github.io/ Andrea Bombarda Silvia Bonfanti Angelo Gargantini 2019 Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study Software Technology: Methods and Tools Springer International Publishing
Cham
89–103 10.1007/978-3-030-29852-4_7
Andrea Bombarda Silvia Bonfanti Angelo Gargantini Elvinia Riccobene 2021 Extending ASMETA with Time Features Rigorous State-Based Methods Springer International Publishing 105–111 10.1007/978-3-030-77543-8_8 Silvia Bonfanti Marco Carissoni Angelo Gargantini Atif Mashkoor 2017 Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino Lecture Notes in Computer Science Springer International Publishing 295–301 10.1007/978-3-319-57288-8_21 Silvia Bonfanti Angelo Gargantini Atif Mashkoor 2019 Design and validation of a C++ code generator from Abstract State Machines specifications Journal of Software: Evolution and Process 32 2 10.1002/smr.2205 Egon Börger 2003 Abstract State Machines : a Method for High-Level System Design and Analysis Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-642-18216-7
Egon B\begingroupłet [Pleaseinsert\PrerenderUnicodeöintopreamble]rger Alexander Raschke 2018 Modeling Companion for Software Practitioners Springer Berlin Heidelberg 10.1007/978-3-662-56641-1 D. Campbell J. Brown 1963 THE ELECTRICAL ANALOGUE OF LUNG BJA: British Journal of Anaesthesia 35 684–692 10.1093/bja/35.11.684 Hubert Garavel Maurice H. ter Beek Jaco van de Pol 2020 The 2020 Expert Survey on Formal Methods Maurice H. ter Beek Dejan Ničkovi\'c Formal Methods for Industrial Critical Systems Springer International Publishing
Cham
3–69 10.1007/978-3-030-58298-2_1
Mario Gleirscher Diego Marmsoler 2020 Formal methods in dependable systems engineering: a survey of professionals from Europe and North America Empirical Software Engineering 25 6 4473–4546 10.1007/s10664-020-09836-5 Maria Chiara Di Guardo Elona Marku Walter Marcello Bonivento Manuel Castriotta Fernando Ferroni Cristiano Galbiati Giuseppe Gorini Michela Loi 2021 When nothing is certain, anything is possible: open innovation and lean approach at MVM R&D Management 10.1111/radm.12453 Gibrail Islam Tim Storer 2020 A case study of agile software development for safety-Critical systems projects Reliability Engineering & System Safety 200 106954 10.1016/j.ress.2020.106954 Nancy Leveson 2020 Are You Sure Your Software Will Not Kill Anyone? Commun. ACM 63 2 25–28 10.1145/3376127 Robyn R. Lutz 2000 Software Engineering for Safety: A Roadmap Proceedings of the Conference on The Future of Software Engineering ICSE '00 Association for Computing Machinery
New York, NY, USA
213–226 10.1145/336512.336556
Rodney N Westhorpe C Ball 2012 The Manley Ventilator Anaesthesia and intensive care 40 5 749–750 10.1177/0310057X1204000501