Abstract
The need is becoming evident for a software engineering research community that focuses on the development and maintenance of Evolving Critical Systems (ECS). The software and systems engineering community must concentrate its efforts on the techniques, methodologies and tools needed to design, implement, and maintain critical software systems that evolve successfully (without risk of failure or loss of quality). Critical systems are systems where failure or malfunction will lead to significant negative consequences. These systems may have strict requirements for security and safety, to protect the user or others. Alternatively, these systems may be critical to the organization’s mission, product base, profitability or competitive advantage
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D.: Incremental syntactic-semantic reliability analysis of evolving structured workflows. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 41–55. Springer, Heidelberg (2014)
Bessai, J., Dudenhefner, A., Düdder, B., Martens, M., Rehof, J.: Combinatory logic synthesizer. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 26–40. Springer, Heidelberg (2014)
Nuseibeh, L.C.M.H.B., Fiadeiro, J.L.: Evolving critical systems. Computer 43(5), 28–33 (2010)
Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with dyWA. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 56–72. Springer, Heidelberg (2014)
Andersen, J., Bahr, P., Henglein, F., Hvitved, T.: Domain-specific languages for enterprise systems. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 73–95. Springer, Heidelberg (2014)
Sedwards, A.L.S.: Statistical abstraction boosts design and test efficiency of evolving critical systems. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 4–25. Springer, Heidelberg (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hinchey, M., Margaria, T. (2014). Evolving Critical Systems - Track Introduction. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2014. Lecture Notes in Computer Science, vol 8802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45234-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-45234-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45233-2
Online ISBN: 978-3-662-45234-9
eBook Packages: Computer ScienceComputer Science (R0)