具有ABS的资源感知应用程序

使用Envisage设计资源感知云应用程序

要实现虚拟计算的全部潜力,云需要重新考虑软件开发。部署决策及其验证可以而且应该在开发链的上游进入设计阶段。

在云中执行的软件的弹性使设计者能够控制执行环境的资源参数,例如处理器的数量和种类、内存、存储容量和带宽。参数甚至可以在运行时动态更改。因此,云服务客户机不仅可以部署和运行软件,而且还可以完全控制运行软件的成本和交付的服务质量(QoS)之间的权衡。

继续阅读

ABS在线:正式方法即服务

在设想项目中开发的所有工具都可以在ABS协作库中获得。ABS支持在云上部署服务和SLA的建模。ABS工具现在已经在线,这使您可以尝试建模语言和分析工具作为服务。现在就试试ABS在线工具吧!

ABS在线工具包括具有可视化支持的仿真、死锁分析、成本分析、部署综合和测试用例生成(参见http://abs-models.org/abs-tools).

ABS语言手册已更新并在http://docs.abs-models.org/.

这些工具是开源的。这些工具的源代码在https://github.com/abstools/abstools。这些工具可以编译并本地安装(也可通过流浪者或码头工人)。

基于ABS的弹性业务部署决策建模

白皮书摘要

如果服务能够有效地利用可用的虚拟资源来满足服务级别的要求,那么使用云技术可以为服务部署节省大量成本。为了避免软件设计的伸缩性差,在服务本身开发的早期,在设计时为服务做出部署决策是很重要的。ABS提供了一种正式的、基于模型的方法,它将服务的设计与部署决策的建模结合起来。在本文中,我们通过使用自动伸缩策略对可伸缩的工作人员池进行建模,并使用该模型比较与峰值负载有关的客户端流量的部署决策,从而阐明了该方法的主要概念。

PDF格式
下载此白皮书的pdf文件在这里.

 

问卷调查
我们将非常感谢您反馈在这份白皮书上。


继续阅读

云中SLA遵从性分析:一种基于模型的自动化方法

白皮书摘要

这篇博文包含一份白皮书和一份调查问卷。白皮书解释了如何将正式模型与静态分析工具和生成的运行时监控器相结合,从而在云端实现服务的SLA感知部署。所提出的方法与DevOps方法非常吻合。

PDF格式
下载此白皮书的pdf文件在这里.

 

问卷调查
我们将非常感谢您反馈在这份白皮书上。

 
继续阅读

展望@Cloudscape 2016

设想:模拟云部署的成本

Cloudscape2016 U声明

一定要抓住设想演示如果你打算云景2016在布鲁塞尔:

  • 3月8日15:45-16:15手机屏幕S.6(直播)
  • 3月9日11:45-12:15手机屏幕S.7(直播)

当系统设计不考虑部署架构和成本时,云计算的节约很难实现。ENVISAGE项目开发了正式的行为模型,这些模型集成了数据建模、控制流、资源使用、静态和动态部署以及缩放决策。静态分析方法有助于建立置信度和计算最坏情况下的成本;仿真和可视化工具使我们能够在建模和设计阶段了解整个系统的行为。

在TimSort中查找错误(视频)

Stijn de Gouw介绍了他在演绎软件验证方面的工作钥匙去发现蒂姆索特虫2015特隆赫姆开发商大会。这项工作的细节先前已作为博客文章作为一篇科学论文2015年CAVTDC2015的人录下了Stijn的演讲,并把它放到了Vimeo上,这样你就可以观看Stijn讨论这项工作了。

Stijn de Gouw–TIMSORT的臭虫特隆赫姆茨维米奥.