skip to main content
research-article

Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals

Published:31 August 2019Publication History
Skip Abstract Section

Abstract

Software systems are deployed in environments that keep changing over time. They should therefore adapt to changing conditions to meet their requirements. The satisfaction rate of these requirements depends on the rate at which adverse conditions prevent their satisfaction. Obstacle analysis is a goal-oriented form of risk analysis for requirements engineering (RE), whereby obstacles to system goals are identified, assessed, and resolved through countermeasures. The selection of effective countermeasures relies on environment assumptions and on the assessed likelihood and criticality of the corresponding obstacles. Those various factors estimated at RE time may, however, evolve at system runtime.

To meet the system’s goals under changing conditions, this article proposes to defer obstacle resolution to system runtime. Techniques are presented for monitoring obstacle satisfaction rates; deciding when adaptation should be triggered; and adapting the system on-the-fly to countermeasures that are more effective. The approach relies on a model where goals and obstacles are refined and specified in a probabilistic linear temporal logic. The techniques allow for monitoring the satisfaction rate of probabilistic leaf obstacles; determining the severity of obstacle consequences on goal satisfaction rates computed from the monitored obstacle satisfaction rates; and shifting to countermeasures that better meet the required goal satisfaction rates. Our approach is evaluated on fragments of an ambulance dispatching system.

References

  1. Raian Ali, Fabiano Dalpiaz, and Paolo Giorgini. 2009. A goal modeling framework for self-contextualizable software. In Proceedings of the 10th International Workshop on Enterprise, Business-Process and Information Systems Modeling (EBPISM’09), Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, and Roland Ukor (Eds.). Springer, Berlin, 326--338.Google ScholarGoogle ScholarCross RefCross Ref
  2. Raian Ali, Fabiano Dalpiaz, and Paolo Giorgini. 2010. A goal-based framework for contextual requirements modeling and analysis. Require. Eng. 15, 4 (2010), 439--458. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Raian Ali, Fabiano Dalpiaz, Paolo Giorgini, and Vítor E. Silva Souza. 2011. Requirements evolution: From assumptions to reality. In Proceedings of the 12th International Workshop on Enterprise, Business-Process and Information Systems Modeling (EBPISM’09), Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, and Ilia Bider (Eds.). Springer, Berlin, 372--382.Google ScholarGoogle Scholar
  4. Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, and Sebastián Uchitel. 2012. Generating obstacle conditions for requirements completeness. In Proceedings of the 34th International Conference on Software Engineering (ICSE’12). IEEE, 705--715. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, and Sebastian Uchitel. 2016. Risk-driven revision of requirements models. In Proceedings of the 38th International Conference on Software Engineering (ICSE’16). ACM, 855--865. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Konstantinos Angelopoulos, Alessandro V. Papadopoulos, Vítor E. Silva Souza, and John Mylopoulos. 2018. Engineering self-adaptive software systems: From requirements to model predictive control. ACM Trans. Auton. Adapt. Syst. 13, 1 (Apr. 2018), 1--27. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Konstantinos Angelopoulos, Vítor E. Silva Souza, and João Pimentel. 2013. Requirements and architectural approaches to adaptive software systems: A comparative study. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’13). IEEE, 23--32. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press, Cambridge, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Luciano Baresi and Liliana Pasquale. 2010. Live goals for adaptive service compositions. In Proceedings of the Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’10). ACM, 114--123. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Luciano Baresi, Liliana Pasquale, and Paola Spoletini. 2010. Fuzzy goals for requirements-driven adaptation. In Proceedings of the 18th International Requirements Engineering Conference (RE’10). IEEE, 125--134. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Howard Barringer, Allen Goldberg, Klaus Havelund, and Koushik Sen. 2004. Rule-based runtime verification. In Proceedings of the Verification, Model Checking, and Abstract Interpretation (VMCAI’04), Vol. 2937. Springer, 44--57.Google ScholarGoogle ScholarCross RefCross Ref
  12. David A. Basin, Matús Harvan, Felix Klaedtke, and Eugen Zalinescu. 2011. MONPOLY: Monitoring usage-control policies. In Proceedings of the 2nd International Conference on Runtime Verification (RV’11). 360--364. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Andreas Bauer, Martin Leucker, and Christian Schallhart. 2011. Runtime verification for LTL and TLTL. ACM Trans. Software Eng. Methodol. 20, 4 (2011). Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Nelly Bencomo. 2015. Quantun: Quantification of uncertainty for the reassessment of requirements. In Proceedings of the 23rd International Requirements Engineering Conference (RE’15). IEEE, 236--240.Google ScholarGoogle ScholarCross RefCross Ref
  15. Nelly Bencomo and Amel Belaggoun. 2014. A world full of surprises: Bayesian theory of surprise to quantify degrees of uncertainty. In Proceedings of the 36th International Conference on Software Engineering (ICSE’14). ACM, 460--463. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Nelly Bencomo, Paul Grace, Carlos Flores, Danny Hughes, and Gordon Blair. 2008. Genie: Supporting the model driven development of reflective, component-based adaptive systems. In Proceedings of the 30th International Conference on Software Engineering (ICSE’08). ACM, 811--814. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Nelly Bencomo, Jon Whittle, Pete Sawyer, Anthony Finkelstein, and Emmanuel Letier. 2010. Requirements reflection: Requirements as runtime entities. In Proceedings of the 32nd International Conference on Software Engineering (ICSE’10), Vol. 2. IEEE, 199--202. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Antoine Cailliau. 2017. Ambulance Dispatch System. Retrieved from https://github.com/ancailliau/ADS.Google ScholarGoogle Scholar
  19. Antoine Cailliau. 2017. KAOSTools. Retrieved from https://github.com/ancailliau/KAOSTools.Google ScholarGoogle Scholar
  20. Antoine Cailliau. 2018. Software Requirements Engineering: A Risk-Driven Approach. Ph.D. Dissertation. Université catholique de Louvain.Google ScholarGoogle Scholar
  21. Antoine Cailliau and Axel van Lamsweerde. 2013. Assessing requirements-related risks through probabilistic goals and obstacles. Require. Eng. 18, 2 (2013), 129--146. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Antoine Cailliau and Axel van Lamsweerde. 2014. Integrating exception handling in goal models. In Proceedings of the 22d International Requirements Engineering Conference (RE’14). IEEE, 43--52.Google ScholarGoogle ScholarCross RefCross Ref
  23. Antoine Cailliau and Axel van Lamsweerde. 2015. Handling knowledge uncertainty in risk-based requirements engineering. In Proceedings of the 23rd International Requirements Engineering Conference (RE’15). IEEE, 106--115.Google ScholarGoogle ScholarCross RefCross Ref
  24. Antoine Cailliau and Axel van Lamsweerde. 2017. Runtime monitoring and resolution of probabilistic obstacles to system goals. In Proceedings of the 12th International Symposium on Self-adaptation and Self-managing Systems (SEAMS’17). IEEE, 1--11. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Radu Calinescu, Kenneth Johnson, and Yasmin Rafiq. 2011. Using observation ageing to improve Markovian model learning in QoS engineering. In Proceedings of the 2nd International Conference on Performance Engineering (ICPE’11). ACM, 505--510. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, and Mehmet Emin Bakır. 2014. Adaptive model learning for continual verification of non-functional properties. In Proceedings of the 5th International Conference on Performance Engineering (ICPE’14). ACM, 87--98. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Bihuan Chen, Xin Peng, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao. 2014. Self-adaptation through incremental generative model transformations at runtime. In Proceedings of the 36th International Conference on Software Engineering (ICSE’14). ACM, 676--687. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Betty Cheng, Rogerio De Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic et al. 2009. Software engineering for self-adaptive systems: A research roadmap. In Software Engineering for Self-adaptive Systems. Springer, 1--26. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Betty Cheng, Rogério Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic et al. 2009. Software Engineering for Self-adaptive Systems. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Betty Cheng, Andres Ramirez, and Philip K. McKinley. 2013. Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty. In Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE’13). IEEE, 1--6. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Betty Cheng, Pete Sawyer, Nelly Bencomo, and Jon Whittle. 2009. A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. Model Driven Eng. Lang. Syst. 5795 (2009), 468--483. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. Timothy Collins, George Hubbard, and U.S. Nuclear Regulatory Commission. 2001. Technical Study of Spent Fuel Pool Accident Risk at Decommissioning Nuclear Power Plants. Division of Systems Safety and Analysis, Office of Nuclear Reactor Regulation. Retrieved from http://purl.access.gpo.gov/GPO/LPS14839.Google ScholarGoogle Scholar
  33. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms (3rd ed.). MIT Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Marcelo d’Amorim and Grigore Roşu. 2005. Efficient monitoring of ω-languages. In Proceedings of the 17th International Conference on Computer Aided Verification (CAV’05). Springer, 364--378. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. Pieter-Tjerk De Boer, Dirk P. Kroese, Shie Mannor, and Reuven Y. Rubinstein. 2005. A tutorial on the cross-entropy method. Ann. Operat. Res. 134, 1 (2005), 19--67.Google ScholarGoogle ScholarCross RefCross Ref
  36. Rogério de Lemos, Holger Giese, Hausi A Müller, and Mary Shaw. 2010. Software Engineering for Self-Adaptive Systems II. Springer.Google ScholarGoogle Scholar
  37. Rogério De Lemos, Holger Giese, Hausi A Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel et al. 2013. Software Engineering for Self-adaptive Systems: A Second Research Roadmap. Springer, 1--32.Google ScholarGoogle Scholar
  38. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. 1999. Patterns in property specifications for finite-state verification. In Proceedings of the 21th International Conference on Software Engineering (ICSE’99). 411--420. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, and Giordano Tamburrelli. 2009. Model evolution by run-time parameter adaptation. In Proceedings of the 31th International Conference on Software Engineering (ICSE’09). IEEE, 111--121. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Naeem Esfahani and Sam Malek. 2013. Uncertainty in Self-adaptive Software Systems. Springer, 214--238.Google ScholarGoogle Scholar
  41. Martin S. Feather and Steven L. Cornford. 2003. Quantitative risk-based requirements reasoning. Require. Eng. 8, 4 (2003), 248--265. Google ScholarGoogle ScholarDigital LibraryDigital Library
  42. Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, and Cristophe Ponsard. 1998. Reconciling system requirements and runtime behavior. In Proceedings of the 9th International Workshop on Software Specification and Design (IWSSD’98). IEEE, 50. Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. Stephen Fickas and Martin S. Feather. 1995. Requirements monitoring in dynamic environments. In Proceedings of the 2nd International Symposium on Requirements Engineering (RE’95). IEEE, 140--147. Google ScholarGoogle ScholarDigital LibraryDigital Library
  44. Antonio Filieri, Carlo Ghezzi, Alberto Leva, and Martina Maggio. 2011. Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. In Proceedings of the 26th International Conference on Automated Software Engineering (ASE’11). IEEE, 283--292. Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. Antonio Filieri, Lars Grunske, and Alberto Leva. 2015. Lightweight adaptive filtering for efficient learning and updating of probabilistic models. In Proceedings of the 37th International Conference on Software Engineering (ICSE’15). IEEE, 200--211. Google ScholarGoogle ScholarDigital LibraryDigital Library
  46. Antonio Filieri, Henry Hoffmann, and Martina Maggio. 2014. Automated design of self-adaptive software with control-theoretical formal guarantees. In Proceedings of the 36th International Conference on Software Engineering (ICSE’14). ACM, 299--310. Google ScholarGoogle ScholarDigital LibraryDigital Library
  47. Antonio Filieri, Henry Hoffmann, and Martina Maggio. 2015. Automated multi-objective control for self-adaptive software design. In Proceedings of the 10th Joint Meeting on Foundations of Software Engineering (FSE’15). ACM, 13--24. Google ScholarGoogle ScholarDigital LibraryDigital Library
  48. Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D’Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein et al. 2015. Software engineering meets control theory. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’15). IEEE, 71--82. Google ScholarGoogle ScholarDigital LibraryDigital Library
  49. Antonio Filieri, Giordano Tamburrelli, and Carlo Ghezzi. 2016. Supporting self-adaptation via quantitative verification and sensitivity analysis at run time. IEEE Trans. Software Eng. 42, 1 (2016), 75--99.Google ScholarGoogle ScholarCross RefCross Ref
  50. David Garlan, S.-W. Cheng, A.-C. Huang, Bradley Schmerl, and Peter Steenkiste. 2004. Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer 37, 10 (2004), 46--54. Google ScholarGoogle ScholarDigital LibraryDigital Library
  51. David Garlan, Shang-Wen Cheng, and Bradley Schmerl. 2003. Increasing system dependability through architecture-based self-repair. In Architecting Dependable Systems. Springer, 61--89. Google ScholarGoogle ScholarDigital LibraryDigital Library
  52. David Garlan, Bradley R. Schmerl, and Shang-Wen Cheng. 2009. Software architecture-based self-adaptation. Auton. Comput. Netw. 1 (2009), 31--55.Google ScholarGoogle Scholar
  53. Carlo Ghezzi, Joel Greenyer, and Valerio Panzica La Manna. 2012. Synthesizing dynamically updating controllers from changes in scenario-based specifications. In Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’12). IEEE, 145--154. Google ScholarGoogle ScholarDigital LibraryDigital Library
  54. Carlo Ghezzi and Amir Molzam Sharifloo. 2013. Dealing with Non-functional Requirements for Adaptive Systems via Dynamic Software Product-lines. Springer, 191--213.Google ScholarGoogle Scholar
  55. Carlo Ghezzi and Giordano Tamburrelli. 2009. Reasoning on non-functional requirements for integrated services. In Proceedings of the 17th International Requirements Engineering Conference (RE’09). IEEE, 69--78. Google ScholarGoogle ScholarDigital LibraryDigital Library
  56. Dimitra Giannakopoulou and Klaus Havelund. 2001. Runtime analysis of linear temporal logic specifications. In Proceedings of the 16th International Conference on Automated Software Engineering (ASE’01).Google ScholarGoogle Scholar
  57. Heather J. Goldsby, Pete Sawyer, Nelly Bencomo, Betty Cheng, and Danny Hughes. 2008. Goal-based modeling of dynamically adaptive system requirements. In Proceedings of the 15th International Conference and Workshop on the Engineering of Computer Based Systems (ECBS’08). IEEE, 36--45. Google ScholarGoogle ScholarDigital LibraryDigital Library
  58. Felipe Pontes Guimarães, Genaína Nunes Rodrigues, Raian Ali, and Daniel Macêdo Batista. 2017. Planning runtime software adaptation through pragmatic goal model. Data Knowl. Eng. 109 (2017), 25--40. Google ScholarGoogle ScholarDigital LibraryDigital Library
  59. Felipe Pontes Guimaraes, Genaina Nunes Rodrigues, Daniel Macedo Batista, and Raian Ali. 2015. Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach. In Proceedings of the 34th International Conference on Conceptual Modeling (ER’15). Springer, 50--64.Google ScholarGoogle ScholarCross RefCross Ref
  60. Klaus Havelund and Grigore Roşu. 2004. Efficient monitoring of safety properties. Int. J. Software Tools Technol. Transfer 6, 2 (2004), 158--173.Google ScholarGoogle ScholarDigital LibraryDigital Library
  61. William Heaven and Emmanuel Letier. 2011. Simulating and optimising design decisions in quantitative goal models. In Proceedings of the 19th International Requirements Engineering Conference (RE’11). IEEE, 79--88. Google ScholarGoogle ScholarDigital LibraryDigital Library
  62. Danny Hughes, Phil Greenwood, Gordon Blair, Geoff Coulson, Florian Pappenberger, Paul Smith, and Keith Beven. 2006. An intelligent and adaptable grid-based flood monitoring and warning system. In Proceedings of the UK eScience All Hands Meeting. 10.Google ScholarGoogle Scholar
  63. Danny Hughes, Phil Greenwood, Geoff Coulson, and Gordon Blair. 2006. Gridstix: Supporting flood prediction using embedded hardware and next generation grid middleware. In Proceedings of the 7th International Symposium on on World of Wireless, Mobile and Multimedia Networks (WoWMoM’06). IEEE, 621--626. Google ScholarGoogle ScholarDigital LibraryDigital Library
  64. Cyrille Jegourel, Axel Legay, and Sean Sedwards. 2012. Cross-entropy optimisation of importance sampling parameters for statistical model checking. In Proceedings of the 24th International Conference on Computer Aided Verification (CAV’12), Vol. 7358. Springer, 327--342. Google ScholarGoogle ScholarDigital LibraryDigital Library
  65. Ivan J. Jureta, Alexander Borgida, Neil A. Ernst, and John Mylopoulos. 2015. The requirements problem for adaptive systems. ACM Trans. Manage. Info. Syst. 5, 3 (2015), 17. Google ScholarGoogle ScholarDigital LibraryDigital Library
  66. Jeffrey O. Kephart and David M. Chess. 2003. The vision of autonomic computing. Computer 36, 1 (2003), 41--50. Google ScholarGoogle ScholarDigital LibraryDigital Library
  67. Jeff Kramer and Jeff Magee. 2007. Self-managed systems: An architectural challenge. In Proceedings of the Future of Software Engineering (FOSE’07). IEEE, 259--268. Google ScholarGoogle ScholarDigital LibraryDigital Library
  68. Insup Lee, Oleg Sokolsky, John Regehr et al. 2007. Statistical runtime checking of probabilistic properties. In Proceedings of the 17th International Conference on Runtime Verification (RV’17). Springer, 164--175. Google ScholarGoogle ScholarDigital LibraryDigital Library
  69. Emmanuel Letier. 2002. Reasoning About Agents in Goal-oriented Requirements Engineering. Ph.D. Dissertation. Université catholique de Louvain.Google ScholarGoogle Scholar
  70. Emmanuel Letier, Jeff Kramer, Jeff Magee, and Sebastian Uchitel. 2008. Deriving event-based transition systems from goal-oriented requirements models. Auto. Software Eng. 15, 2 (2008), 175--206. Google ScholarGoogle ScholarDigital LibraryDigital Library
  71. Emmanuel Letier, David Stefan, and Earl T. Barr. 2014. Uncertainty, risk, and information value in software requirements and architecture. In Proceedings of the 36th International Conference on Software Engineering (ICSE’14). ACM, 883--894. Google ScholarGoogle ScholarDigital LibraryDigital Library
  72. Emmanuel Letier and Axel van Lamsweerde. 2004. Reasoning about partial goal satisfaction for requirements and design engineering. In Proceedings of the 12th International Symposium on Foundations of Software Engineering (FSE’04), Vol. 29. ACM, 53--62. Google ScholarGoogle ScholarDigital LibraryDigital Library
  73. Robyn Lutz, Ann Patterson-Hine, Stacy Nelson, Chad R. Frost, Doron Tal, and Robert Harris. 2007. Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle. Require. Eng. 12, 1 (2007), 41--54. Google ScholarGoogle ScholarDigital LibraryDigital Library
  74. Danilo F. Mendonça, Raian Ali, and Genaína N. Rodrigues. 2014. Modelling and analysing contextual failures for dependability requirements. In Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’14). ACM, 55--64. Google ScholarGoogle ScholarDigital LibraryDigital Library
  75. Danilo Filgueira Mendonça, Genaína Nunes Rodrigues, Raian Ali, Vander Alves, and Luciano Baresi. 2016. GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Info. Software Technol. 80 (2016), 245--264. Google ScholarGoogle ScholarDigital LibraryDigital Library
  76. Tim Menzies, Eliza Chiang, Martin Feather, Ying Hu, and James D. Kiper. 2003. Condensing Uncertainty via Incremental Treatment Learning. Springer, Boston, MA, 319--361.Google ScholarGoogle Scholar
  77. Mirko Morandini, Loris Penserini, and Anna Perini. 2008. Towards goal-oriented development of self-adaptive systems. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’08). ACM, 9--16. Google ScholarGoogle ScholarDigital LibraryDigital Library
  78. Mirko Morandini, Loris Penserini, Anna Perini, and Alessandro Marchetto. 2017. Engineering requirements for adaptive systems. Require. Eng. 22, 1 (2017), 77--103. Google ScholarGoogle ScholarDigital LibraryDigital Library
  79. Gabriel A. Moreno, Ofer Strichman, Sagar Chaki, and Radislav Vaisman. 2017. Decision-making with cross-entropy for self-adaptation. In Proceedings of the 12th International Symposium on Self-adaptation and Self-managing Systems (SEAMS’17). IEEE, 90--101. Google ScholarGoogle ScholarDigital LibraryDigital Library
  80. Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, and Sebastian Uchitel. 2016. Assured and correct dynamic update of controllers. In Proceedings of the 11th International Workshop on Self-Adaptation and Self-Managing Systems (SEAMS’16). IEEE, 96--107. Google ScholarGoogle ScholarDigital LibraryDigital Library
  81. Bashar Nuseibeh. 2001. Weaving together requirements and architectures. Computer 34, 3 (2001), 115--119. Google ScholarGoogle ScholarDigital LibraryDigital Library
  82. Anthony O’Hagan, Caitlin E. Buck, Alireza Daneshkhah, J. Richard Eiser, Paul H. Garthwaite, David J. Jenkinson, Jeremy E. Oakley, and Tim Rakow. 2006. Uncertain Judgements: Eliciting Experts’ Probabilities. John Wiley 8 Sons.Google ScholarGoogle ScholarCross RefCross Ref
  83. Marc Oriol, Nauman A. Qureshi, Xavier Franch, Anna Perini, and Jordi Marco. 2012. Requirements monitoring for adaptive service-based applications. In Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ’12). Springer, 280--287. Google ScholarGoogle ScholarDigital LibraryDigital Library
  84. Liliana Pasquale, Paola Spoletini, Mazeiar Salehie, Luca Cavallaro, and Bashar Nuseibeh. 2016. Automating trade-off analysis of security requirements. Require. Eng. 21, 4 (2016), 481--504. Google ScholarGoogle ScholarDigital LibraryDigital Library
  85. Lina Perelman, Avi Ostfeld, and Elad Salomons. 2008. Cross entropy multiobjective optimization for water distribution systems design. Water Resour. Res. 44, 9 (2008).Google ScholarGoogle Scholar
  86. Diego Perez-Palacin and Raffaela Mirandola. 2014. Uncertainties in the modeling of self-adaptive systems: A taxonomy and an example of availability evaluation. In Proceedings of the 5th International Conference on Performance Engineering (ICPE’14). ACM, 3--14. Google ScholarGoogle ScholarDigital LibraryDigital Library
  87. Nauman Qureshi, Ivan Jureta, and Anna Perini. 2011. Requirements engineering for self-adaptive systems: Core ontology and problem statement. In Proceedings of the 23th International Conference on Advanced Information Systems Engineering (CAiSE’11). Springer, 33--47. Google ScholarGoogle ScholarDigital LibraryDigital Library
  88. Nauman A. Qureshi, Sotirios Liaskos, and Anna Perini. 2011. Reasoning about adaptive requirements for self-adaptive systems at runtime. In Proceedings of the 2nd International Workshop on Requirements @ Run Time ([email protected]’11). IEEE, 16--22.Google ScholarGoogle ScholarCross RefCross Ref
  89. Nauman A. Qureshi and Anna Perini. 2009. Engineering adaptive requirements. In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’09). IEEE, 126--131. Google ScholarGoogle ScholarDigital LibraryDigital Library
  90. Nauman A. Qureshi and Anna Perini. 2010. Requirements engineering for adaptive service-based applications. In Proceedings of the 18th International Requirements Engineering Conference (RE’10). IEEE, 108--111. Google ScholarGoogle ScholarDigital LibraryDigital Library
  91. Nauman A. Qureshi, Anna Perini, Neil A. Ernst, and John Mylopoulos. 2010. Towards a continuous requirements engineering framework for self-adaptive systems. In Proceedings of the 1st International Workshop on Requirements @ Run Time ([email protected]’10). IEEE, 9--16.Google ScholarGoogle ScholarCross RefCross Ref
  92. Andres Ramirez and Betty Cheng. 2011. Automatic derivation of utility functions for monitoring software requirements. Model Driven Eng. Lang. Syst. 6981 (2011), 501--516. Google ScholarGoogle ScholarDigital LibraryDigital Library
  93. Andres J. Ramirez, Betty Cheng, Philip K. McKinley, and Benjamin E. Beckmann. 2010. Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration. In Proceedings of the 7th International Conference on Autonomic Computing (ICAC’10). ACM, 225--234. Google ScholarGoogle ScholarDigital LibraryDigital Library
  94. Andres J. Ramirez, David B. Knoester, Betty Cheng, and Philip K. McKinley. 2011. Plato: A genetic algorithm approach to run-time reconfiguration in autonomic computing systems. Cluster Comput. 14, 3 (2011), 229--244. Google ScholarGoogle ScholarDigital LibraryDigital Library
  95. William Robinson. 2007. Extended OCL for goal monitoring. Electron. Commun. EASST 9 (2007).Google ScholarGoogle Scholar
  96. William N. Robinson. 2003. Monitoring web service requirements. In Proceedings of the 9th International Requirements Engineering Conference (RE’03). IEEE, 65--74. Google ScholarGoogle ScholarDigital LibraryDigital Library
  97. William N. Robinson. 2005. Implementing rule-based monitors within a framework for continuous requirements monitoring. In Proceedings of the 38th International Conference on System Sciences (HICSS’05). IEEE, 188a. Google ScholarGoogle ScholarDigital LibraryDigital Library
  98. William N. Robinson. 2006. A requirements monitoring framework for enterprise systems. Require. Eng. 11, 1 (2006), 17--41. Google ScholarGoogle ScholarDigital LibraryDigital Library
  99. Mohammed Salifu, Yijun Yu, Arosha K. Bandara, and Bashar Nuseibeh. 2012. Analysing monitoring and switching problems for adaptive systems. J. Syst. Software 85, 12 (2012), 2829--2839. Google ScholarGoogle ScholarDigital LibraryDigital Library
  100. U. Sammapun, Insup Lee, and Oleg Sokolsky. 2005. RT-MaC: Runtime monitoring and checking of quantitative and probabilistic properties. In Proceedings of the 11th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’05). IEEE, 147--153. Google ScholarGoogle ScholarDigital LibraryDigital Library
  101. Pete Sawyer, Nelly Bencomo, Jon Whittle, Emmanuel Letier, and Anthony Finkelstein. 2010. Requirements-aware systems: A research agenda for re for self-adaptive systems. In Proceedings of the 18th International Requirements Engineering Conference (RE’10). IEEE, 95--103. Google ScholarGoogle ScholarDigital LibraryDigital Library
  102. Vítor E. Silva Souza, Alexei Lapouchnian, Konstantinos Angelopoulos, and John Mylopoulos. 2013. Requirements-driven software evolution. Comput. Sci.-Res. Dev. 28, 4 (2013), 311--329. Google ScholarGoogle ScholarDigital LibraryDigital Library
  103. Vítor E. Silva Souza, Alexei Lapouchnian, and John Mylopoulos. 2012. (Requirement) evolution requirements for adaptive systems. In Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’12). IEEE, 155--164. Google ScholarGoogle ScholarDigital LibraryDigital Library
  104. Vítor E. Silva Souza, Alexei Lapouchnian, William N. Robinson, and John Mylopoulos. 2011. Awareness requirements for adaptive systems. In Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’11). ACM, 60--69. Google ScholarGoogle ScholarDigital LibraryDigital Library
  105. Vítor E. Silva Souza and John Mylopoulos. 2011. From awareness requirements to adaptive systems: A control-theoretic approach. In Proceedings of the 2nd International Workshop on Requirements @ Run Time ([email protected]’11). IEEE, 9--15.Google ScholarGoogle Scholar
  106. SPF Santé Publique. 2013. Manuel belge de la régulation médicale. Retrieved from https://www.health.belgium.be/fr/manuel-belge-de-la-regulation-medicale.Google ScholarGoogle Scholar
  107. Prasanna Thati and Grigore Roşu. 2005. Monitoring algorithms for metric temporal logic specifications. Electron. Notes Theor. Comput. Sci. 113 (2005), 145--162.Google ScholarGoogle ScholarCross RefCross Ref
  108. U.K. Department of Health. 2017. Addendum to the Handbook to the NHS Constitution for England. https://www.gov.uk/government/publications/supplements-to-the-nhs-constitution-for-england.Google ScholarGoogle Scholar
  109. Axel van Lamsweerde. 2009. Requirements Engineering: From System Goals to UML Models to Software. John Wiley 8 Sons.Google ScholarGoogle Scholar
  110. Axel van Lamsweerde, Robert Darimont, and Emmanuel Letier. 1998. Managing conflicts in goal-driven requirements engineering. IEEE Trans. Software Eng. 24, 11 (1998), 908--926. Google ScholarGoogle ScholarDigital LibraryDigital Library
  111. Axel van Lamsweerde and Emmanuel Letier. 2000. Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Software Eng. 26, 10 (2000), 978--1005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  112. Alvaro Videla and Jason J. W. Williams. 2012. RabbitMQ in Action: Distributed Messaging for Everyone. Manning.Google ScholarGoogle Scholar
  113. David Vose. 2008. Risk Analysis: A Quantitative Guide. John Wiley 8 Sons.Google ScholarGoogle Scholar
  114. Dennis Wackerly, William Mendenhall, and Richard Scheaffer. 2007. Mathematical Statistics with Applications. Nelson Education.Google ScholarGoogle Scholar
  115. Yiqiao Wang, Sheila A. Mcilraith, Yijun Yu, and John Mylopoulos. 2009. Monitoring and diagnosing software requirements. Auto. Software Eng. 16, 1 (2009), 3. Google ScholarGoogle ScholarDigital LibraryDigital Library
  116. Kristopher Welsh and Pete Sawyer. 2010. Understanding the scope of uncertainty in dynamically adaptive systems. Require. Eng.: Found. Software Qual. (2010), 2--16.Google ScholarGoogle Scholar
  117. Kristopher Welsh, Pete Sawyer, and Nelly Bencomo. 2011. Towards requirements aware systems: Run-time resolution of design-time assumptions. In Proceedings of the 26th International Conference on Automated Software Engineering (ASE’11). IEEE, 560--563. Google ScholarGoogle ScholarDigital LibraryDigital Library
  118. Zhuoqun Yang, Zhi Li, Zhi Jin, and Yunchuan Chen. 2014. A systematic literature review of requirements modeling and analysis for self-adaptive systems. In Proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ’14). Springer, 55--71. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader

          HTML Format

          View this article in HTML Format .

          View HTML Format
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!