Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design

Runtime verification, with its practical applicability and myriad of theoretical challenges it still poses, has the potential to bridge the gap between academic research in the field of formal methods with the software industry. In order to facilitate this, it is useful to extrapolate success patterns from previous projects: Are certain characteristics of an industry-academia project a determining factor in the project’s success? How can runtime verification design decisions take into considerations project characteristics to improve the chances of success?

[1]  Grigore Rosu,et al.  Java-MOP: A Monitoring Oriented Programming Environment for Java , 2005, TACAS.

[2]  Tobias Kuhn,et al.  A Survey and Classification of Controlled Natural Languages , 2014, CL.

[3]  Luciano Baresi,et al.  The disappearing boundary between development-time and run-time , 2010, FoSER '10.

[4]  Gordon J. Pace,et al.  LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) , 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

[5]  Bedir Tekinerdogan,et al.  The DESARC method: An effective approach for university-industry cooperation , 2015 .

[6]  Daniel M. Berry,et al.  An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[7]  Gregor Kiczales.  Aspect-oriented programming , 2005, ICSE.

[8]  Gordon J. Pace,et al.  Safer asynchronous runtime monitoring using compensations , 2012, Formal Methods Syst. Des..

[9]  Yliès Falcone,et al.  Runtime enforcement monitors: composition, synthesis, and enforcement abilities , 2011, Formal Methods Syst. Des..

[10]  Gordon J. Pace,et al.  Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties , 2009, FMICS.

[11]  Gordon J. Pace,et al.  Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges , 2018, Lectures on Runtime Verification.

[12]  Luca Aceto,et al.  A Survey of Runtime Monitoring Instrumentation Techniques , 2017, PrePost@iFM.