Abstract
This position paper addresses, and attempts to propose solutions for, critical issues in software engineering that need to be resolved before the Verified Software grand challenge as proposed by Professor Tony Hoare can be usefully exploited in industry to increase the assurance of software intensive systems.
Keywords
- Service Level Agreement
- Grand Challenge
- Architectural Pattern
- Daunting Challenge
- Credit Card Transaction
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Bharadwaj, R.: SINS:a middleware for autonomous agents and secure code mobility. In: Proc. Second International Workshop on Security of Mobile Multi-Agent Systems (SEMAS 2002), Bologna, Italy (July 2002)
Bharadwaj, R.: Verifiable middleware for secure agent interoperability. In: Proc. Second Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems, Greenbelt, MD (October 2002)
Bharadwaj, R.: A framework for the formal analysis of multi-agent systems. In: Proc. Formal Approaches to Multi-Agent Systems, Warsaw, Poland (April 2003)
Bharadwaj, R.: Development of dependable component-based applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, Springer, Heidelberg (2006)
Bharadwaj, R., Heitmeyer, C.: Hardware/software co-design and co-validation using the SCR method. In: Proceedings of the IEEE International High Level Design Validation and Test Workshop (HLDVT 1999), San Diego, CA (November 1999)
Bharadwaj, R., Heitmeyer, C.: Developing high assurance avionics systems with the SCR requirements methods. In: Proc. 19th IEEE Digital Avionics Systems Conference, Philadelphia, PA (October 2000)
Bharadwaj, R., Sims, S.: Salsa: Combining constraint solvers with BDDs for automatic invariant checking. In: Proc. 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 378–394 (March 2000)
Bharadwaj, R.: Formal analysis of domain models. In: Proc. International Workshop on Requirements for High Assurance Systems (RHAS 2002), Essen, Germany (September 2002)
Heitmeyer, C., Bharadwaj, R.: Applying the SCR requirements method to the Light Control Case Study. JUCS 6(7) (2000)
Jeffords, R.L., Bharadwaj, R.: Formal verification of architectural patterns in support of dependable distributed systems. (Submitted 2005)
D.L. Parnas. Private Communication.
TurboTax. FAQs on Sales and Use Taxes and the Internet, http://www.turbotax.com/articles/FAQonSalesandUseTaxesandtheInternet.html
Xie, F., Browne, J.C.: Verified systems by composition from verified components. In: Inverardi, P. (ed.) Proc. Joint 9th Eur. Softw. Eng. Conf (ESEC) and 11th SIGSOFT Symp. on Foundations of Softw. Eng (FSE-11), Helsinki,Finland, pp. 277–286 (September 2003)
Yau, S.S., Mukhopadhyay, S., Bharadwaj, R.: Specification, analysis, and implementation of architectural patterns for dependable software systems. In: Proc. 10th IEEE Int’l Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), Sedona, AZ (February 2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bharadwaj, R. (2008). Verified Software: The Real Grand Challenge. In: Meyer, B., Woodcock, J. (eds) Verified Software: Theories, Tools, Experiments. VSTTE 2005. Lecture Notes in Computer Science, vol 4171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69149-5_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-69149-5_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69147-1
Online ISBN: 978-3-540-69149-5
eBook Packages: Computer ScienceComputer Science (R0)