18 citations · 24 across the 6 of their papers we have counts for
7 papers
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford +2
Machine learning (ML) is finding its way into safety-critical systems (SCS). Current safety standards and practice were not designed to cope with ML techniques, and it is difficult…
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
Sophie Wood, Nicholas Matragkas, Dimitris Kolovos +2
The wide use of robotic systems contributed to developing robotic software highly coupled to the hardware platform running the robotic system. Due to increased maintenance cost or…
Manifesto - Model Engineering for Complex Systems
Jean Bézivin, Richard F. Paige, Uwe Aßmann +2
Complex systems are hard to define. Nevertheless they are more and more frequently encountered. Examples include a worldwide airline traffic management system, a global telecommuni…
On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories
Massimiliano Zanin, David Perez, Kumardev Chatterjee +4
This paper reports on work performed in the context of the COMPASS SESAR-JU WP-E project, on developing an approach for identifying and filtering inaccurate trajectories (ghost fli…
The Value of User-Visible Internet Cryptography
Phillip J. Brooke, Richard F. Paige
Cryptographic mechanisms are used in a wide range of applications, including email clients, web browsers, document and asset management systems, where typical users are not cryptog…
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case
Louis M. Rose, Antonio García-Domínguez, James R. Williams +3
Epsilon is an extensible platform of integrated and task-specific languages for model management. With solutions to the 2011 TTC Hello World case, this paper demonstrates some of t…
Large-scale Complex IT Systems
Ian Sommerville, Dave Cliff, Radu Calinescu +5
This paper explores the issues around the construction of large-scale complex systems which are built as 'systems of systems' and suggests that there are fundamental reasons, deriv…