SPRing: Iterative Overcoming of Software Misuse

Leah Goldin, Reuven Gallant

2014

Abstract

Software misuse may cause very undesirable and expensive outcomes. Our work has proposed and we have been developing a priori preparation techniques of an embedded software system for eventual extensions that enable overcoming the consequences of its misuse. The center of gravity of this paper is its iterative aspect. In other words, extensions may be added, either continuously or after some time discontinuity. This is attained by means of SPRing, a convenient acronym of Software Proactive Reengineering. SPRing is based upon domain knowledge to model the system misuse. Specifically, system behaviors modeled by statechart diagrams, can be reengineered to suitably extend them, in order to correct diverse misuse outcomes. The approach is demonstrated by case studies related to Signal Traffic Lights and their controllers

References

  1. I. Alexander, “Misuse Cases: Use Cases with Hostile Intents”, IEEE Software, pp. 58-66, (2003).
  2. I. Exman, “Misbehavior Discovery through Unified Software-Knowledge Models”, in A. Fred et al. (eds.), Knowledge Discovery, Knowledge Engineering and Knowledge Management, 3rd Int. Joint Conference, IC3K 2011, Paris, France, October 26-29, Revised Selected Papers, CCIS Vol. 348, pp. 350-361, Springer-Verlag, Heidelberg, Germany, (2013).
  3. R. Gallant, "Freddy's Dishwasher: Are Statecharts 'Safe' for Stakeholder Evaluation of Safety-critical Reactive Systems?" Proceedings of the 15th International Conference of The Israel Society for Quality, 2004.
  4. L. Goldin, R. Gallant, and I. Exman, Software Proactive Reengineering for System Resilience to Misuse, in Proceedings of Software Summit, SWSTE 2014, Bar Ilan University, (2014).
  5. L. Goldin and R. Gallant, “Reengineered PFA: An Approach for Reinvention of Behaviorally-Rich Systems”, In Proc. SKY'2012 Int. Workshop on Software Knowledge, Barcelona, Spain, October 2012, SciTe Press, Portugal, (2012).
  6. D. Harel and H. Kugler, “The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)”, Integration of Software Specification Techniques for Applications in Engineering, (H. Ehrig et al., eds.), Lecture Notes in Computer Science, Vol. 3147, Springer-Verlag, Berlin, Germany, pp. 325-354, (2004).
  7. P. Hope, G. McGraw and A.I. Anton, “Misuse and Abuse Cases: Getting Past the Positive”, IEEE Security and Privacy, pp. 32-34 May/June (2004).
  8. M.A. Jackson, Software Requirements & Specifications, Addison-Wesley, Boston, MA, USA, (1996).
  9. M.A. Jackson, Problem Frames: Analysing and Structuring Software Development Problems, Addison-Wesley, Boston, MA, USA, (2001).
  10. M.A. Jackson, “The Problem Frames Approach to Software Engineering”, in Proc. APSEC 2007, 14th Asia-Pacific Software Engineering Conference, (2007).
  11. G. Sindre and A.L. Opdahl, “Eliciting security requirements with misuse cases”, Requirements Eng. Vol. 10, pp. 34-44, (2005).
  12. J. Steven and G. Peterson, “Defining Misuse with The Development Process”, IEEE Security & Privacy, pp. 81-84, November/December (2006).
  13. ISO/IEC 14764:2006, Software Engineering-Software Life Cycle Processes - Maintenance.
Download


Paper Citation


in Harvard Style

Goldin L. and Gallant R. (2014). SPRing: Iterative Overcoming of Software Misuse . In Proceedings of the 5th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2014) ISBN 978-989-758-051-2, pages 43-51. DOI: 10.5220/0005182100430051


in Bibtex Style

@conference{sky14,
author={Leah Goldin and Reuven Gallant},
title={SPRing: Iterative Overcoming of Software Misuse},
booktitle={Proceedings of the 5th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2014)},
year={2014},
pages={43-51},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005182100430051},
isbn={978-989-758-051-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2014)
TI - SPRing: Iterative Overcoming of Software Misuse
SN - 978-989-758-051-2
AU - Goldin L.
AU - Gallant R.
PY - 2014
SP - 43
EP - 51
DO - 10.5220/0005182100430051