publication . Preprint . 2014

On Cloud-Based Engineering of Dependable Systems

Alajrami, Sami;
Open Access English
  • Published: 29 Apr 2014
The cloud computing paradigm is being adopted by many organizations in different application domains as it is cost effective and offers a virtually unlimited pool of resources. Engineering critical systems can benefit from clouds in attaining all dependability means: fault tolerance, fault prevention, fault removal and fault forecasting. Our research aims to investigate the potential of supporting engineering of dependable software systems with cloud computing and proposes an open, extensible, and elastic cloud-based software engineering workflow system which represents and executes software processes to improve collaboration, reliability and quality assurance, ...
free text keywords: Computer Science - Software Engineering
Download from

[1] S. Hate, “Introducing software engineering-as-a-service,” 19/06/2012 2012.

[2] M. Oriol and F. Ullah, “Yeti on the cloud,” in Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on, pp. 434-437.

[3] S. Bucur, V. Ureche, C. Zamfir, and G. Candea, “Parallel symbolic execution for automated real-world software testing,” in Proceedings of the Sixth Conference on Computer Systems, ser. EuroSys '11. New York, NY, USA: ACM, 2011, pp. 183-198. [Online]. Available: [OpenAIRE]

[4] M. Schmidberger, “Software engineering as a service for hpc,” in Parallel and Distributed Computing (ISPDC), 2012 11th International Symposium on, pp. 34-39. [OpenAIRE]

[5] E. Armengaud, M. Biehl, Q. Bourrouilh, M. Breunig, S. Farfeleder, C. Hein, M. Oertel, A. Wallner, and M. Zoier, “Integrated tool chain for improving traceability during the development of automotive systems,” in ERTS2 2012 - Embedded Real Time Software and Systems, Feb. 2012. [OpenAIRE]

[6] W. Herzner, R. Schlick, M. Schlager, B. Leiner et al., “Model-based development of distributed embedded real-time systems with the DECOS tool-chain,” SAE Technical Paper 2007-01-3827, 2007.

[7] O. Laurent, I. Viglietti, F. Paganelli, S. Bonnet, G. Cristau, P. Priggouris, and P. Baufreton, “customization principles of an aeronautical SLM environment and an illustration on aeronautics use cases, the doors management system and the flight control system,” in ERTS2 2012 - Embedded Real Time Software and Systems, 2012.

[8] H. Hiden, S. Woodman, P. Watson, and J. Cala, “Developing cloud applications using the e-science central platform,” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 371, no. 1983, 2013. [OpenAIRE]

[9] J. H. Gerard, “The model checker spin,” IEEE Trans. Softw. Eng., vol. 23, no. 5, pp. 279-295, 1997, 260902.

[10] J. Barnat, L. Brim, M. Cˇesˇka, and P. Rocˇkai, “DiVinE: Parallel Distributed Model Checker (Tool paper),” in Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi/PDMC 2010). IEEE, 2010, pp. 4-7.

Any information missing or wrong?Report an Issue