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.
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press, Cambridge, MA. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- Andreas Bauer, Martin Leucker, and Christian Schallhart. 2011. Runtime verification for LTL and TLTL. ACM Trans. Software Eng. Methodol. 20, 4 (2011). Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Antoine Cailliau. 2017. Ambulance Dispatch System. Retrieved from https://github.com/ancailliau/ADS.Google Scholar
- Antoine Cailliau. 2017. KAOSTools. Retrieved from https://github.com/ancailliau/KAOSTools.Google Scholar
- Antoine Cailliau. 2018. Software Requirements Engineering: A Risk-Driven Approach. Ph.D. Dissertation. Université catholique de Louvain.Google Scholar
- Antoine Cailliau and Axel van Lamsweerde. 2013. Assessing requirements-related risks through probabilistic goals and obstacles. Require. Eng. 18, 2 (2013), 129--146. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms (3rd ed.). MIT Press. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- Rogério de Lemos, Holger Giese, Hausi A Müller, and Mary Shaw. 2010. Software Engineering for Self-Adaptive Systems II. Springer.Google Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Naeem Esfahani and Sam Malek. 2013. Uncertainty in Self-adaptive Software Systems. Springer, 214--238.Google Scholar
- Martin S. Feather and Steven L. Cornford. 2003. Quantitative risk-based requirements reasoning. Require. Eng. 8, 4 (2003), 248--265. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- David Garlan, Bradley R. Schmerl, and Shang-Wen Cheng. 2009. Software architecture-based self-adaptation. Auton. Comput. Netw. 1 (2009), 31--55.Google Scholar
- 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 Scholar
Digital Library
- Carlo Ghezzi and Amir Molzam Sharifloo. 2013. Dealing with Non-functional Requirements for Adaptive Systems via Dynamic Software Product-lines. Springer, 191--213.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- Klaus Havelund and Grigore Roşu. 2004. Efficient monitoring of safety properties. Int. J. Software Tools Technol. Transfer 6, 2 (2004), 158--173.Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Jeffrey O. Kephart and David M. Chess. 2003. The vision of autonomic computing. Computer 36, 1 (2003), 41--50. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Emmanuel Letier. 2002. Reasoning About Agents in Goal-oriented Requirements Engineering. Ph.D. Dissertation. Université catholique de Louvain.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- Mirko Morandini, Loris Penserini, Anna Perini, and Alessandro Marchetto. 2017. Engineering requirements for adaptive systems. Require. Eng. 22, 1 (2017), 77--103. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Bashar Nuseibeh. 2001. Weaving together requirements and architectures. Computer 34, 3 (2001), 115--119. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Lina Perelman, Avi Ostfeld, and Elad Salomons. 2008. Cross entropy multiobjective optimization for water distribution systems design. Water Resour. Res. 44, 9 (2008).Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- William Robinson. 2007. Extended OCL for goal monitoring. Electron. Commun. EASST 9 (2007).Google Scholar
- William N. Robinson. 2003. Monitoring web service requirements. In Proceedings of the 9th International Requirements Engineering Conference (RE’03). IEEE, 65--74. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- William N. Robinson. 2006. A requirements monitoring framework for enterprise systems. Require. Eng. 11, 1 (2006), 17--41. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- Prasanna Thati and Grigore Roşu. 2005. Monitoring algorithms for metric temporal logic specifications. Electron. Notes Theor. Comput. Sci. 113 (2005), 145--162.Google Scholar
Cross Ref
- 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 Scholar
- Axel van Lamsweerde. 2009. Requirements Engineering: From System Goals to UML Models to Software. John Wiley 8 Sons.Google Scholar
- 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 Scholar
Digital Library
- Axel van Lamsweerde and Emmanuel Letier. 2000. Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Software Eng. 26, 10 (2000), 978--1005. Google Scholar
Digital Library
- Alvaro Videla and Jason J. W. Williams. 2012. RabbitMQ in Action: Distributed Messaging for Everyone. Manning.Google Scholar
- David Vose. 2008. Risk Analysis: A Quantitative Guide. John Wiley 8 Sons.Google Scholar
- Dennis Wackerly, William Mendenhall, and Richard Scheaffer. 2007. Mathematical Statistics with Applications. Nelson Education.Google Scholar
- Yiqiao Wang, Sheila A. Mcilraith, Yijun Yu, and John Mylopoulos. 2009. Monitoring and diagnosing software requirements. Auto. Software Eng. 16, 1 (2009), 3. Google Scholar
Digital Library
- Kristopher Welsh and Pete Sawyer. 2010. Understanding the scope of uncertainty in dynamically adaptive systems. Require. Eng.: Found. Software Qual. (2010), 2--16.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
Index Terms
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals
Recommendations
Runtime monitoring and resolution of probabilistic obstacles to system goals
SEAMS '17: Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing SystemsSoftware systems are deployed in environments that keep changing over time. They should therefore adapt to changing conditions in order to meet their requirements. The satisfaction rate of these requirements depends on the rate at which adverse ...
Assessing requirements-related risks through probabilistic goals and obstacles
Requirements completeness is among the most critical and difficult software engineering challenges. Missing requirements often result from poor risk analysis at requirements engineering time. Obstacle analysis is a goal-oriented form of risk analysis ...
A probabilistic framework for goal-oriented risk analysis
RE '12: Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)Requirements completeness is among the most critical and difficult software engineering challenges. Missing requirements often result from poor risk analysis at requirements engineering time. Obstacle analysis is a goal-oriented form of risk analysis ...






Comments