Our approach to predicting deployment on the cloud using ABS and formal methods, as developed in the Envisage project, was presented at the kick-off event of the Sirius Center for Research-driven Innovation on Scalable Data Access on May 19, 2016.
Envisage will attend Net Futures 2016 in Brussels 20-21 April 2016.
There will be an Envisage demo in the booth of the
Cluster on Software Engineering for Services and Applications.
Hope to see you there!
Envisage: Simulating the Cost of Cloud Deployment
- 8 March 15:45-16:15 Mobile Screen S.6 (live)
- 9 March 11:45-12:15 Mobile Screen S.7 (live)
When system design does not take deployment architectures and costs into account, the savings of cloud computing are difficult to realize. The ENVISAGE project develops formal behavioral models that integrate data modeling, control flow, resource usage, and static and dynamic deployment and scaling decisions. Static analysis methods help with establishing confidence and calculating worst-case cost; simulation and visualization tools enable gaining insights into whole-system behavior already during the modeling and design phase.
Envisage organized a track at ISoLA 2014 on Engineering Virtualized Services. The event took place in the Hotel Imperial, Corfu, Greece on Wednesday, October 8, 2014.
Virtualized computing services, such as cloud services, create new opportunities, but also pose new challenges for users and providers alike. Over-provisioning of resources and compensative penalties for breaching an SLA are among the only too real downsides of virtualization. At the same time, formal models of software services and advanced static analysis tools promise vast improvements of productivity and cost effectiveness in cloud computing. This track explores the state-of-art in modeling of services deployed on the cloud and in the formalization as well as verification of SLAs.
The 20th International Symposium on Formal Methods (FM 2015) will be organized in Oslo, 22-26 June 2015.
The call for papers is out now. You know what to do (before January 9)!
Exciting programme at the 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models! The summer school is co-organized by Envisage, with many highly relevant topics for the project: