aadl

架构制图:工具与方法论

爷,独闯天下 提交于 2020-10-10 12:34:01
简介: 软件工程也是工程,因此传统工程制图的一些基本理论,在软件行业同样适用。但另一方面,软件与实体制造业之间还是有着本质区别,所以在制图方面的需求和方式也大相径庭,无法直接套用。作为软件行业的从业者,你可以完全不懂工程制图,但你不得不懂架构制图 —— 这是任何程序员职业生涯的的必修课。 作者 | 楚衡 前言 “架构制图”这词乍一听似乎有些晦涩,但如果提起“工程制图”,相信绝大部分工科背景的程序员们都不会陌生,甚至还能共同感慨下那些年一起伏在宿舍左手圆规,右手直尺,徒手作图到深夜的日子。 软件工程也是工程 ,因此传统工程制图的一些基本理论,在软件行业同样适用。但另一方面,软件与实体制造业之间还是有着本质区别,所以在制图方面的需求和方式也大相径庭,无法直接套用。作为软件行业的从业者,你可以完全不懂工程制图,但你不得不懂架构制图 —— 这是任何程序员职业生涯的的必修课。 本文在后半段将介绍如何用图去 描述 (describe)和 传达 (communicate)你的架构设计。值得强调的是,本文并不会侧重于单一的方法和工具,而是更希望关注那些优秀方法背后的通用方法论,即架构制图的 本质 、 共性 和 最佳实践 。希望本文能起到引子作用,激发大家对自己日常工作中关于架构和制图部分的关注、审视与思考;如果还真能帮助大家提升一点点制图效率和效果,那就更好不过了。 什么是软件架构? 1.

AADL Inspector 故障树安全分析模块

◇◆丶佛笑我妖孽 提交于 2020-08-16 10:21:26
故障树是一种在系统安全性和可靠性研究中应用广泛的工程技术。这种方法,也称为故障树或错误树,是指以图形表示可能发生的使预先定义的不受欢迎的事件发生的组合。所以故障树是由连续的层次构成的,并通过逻辑门联系在一起的事件。通过采用这个表达式和演绎逻辑(从效果到原因)和阅读的布尔式逻辑一是干净的,可以从不受欢迎的事件的起因追溯到基本的、独立的和可预见的事件。 为适应AADL建模领域对复杂系统运行安全性的研究应用,Ellidiss发布了AADL Inspector的新功能:故障树安全分析模块。该模块是Ellidss与Arbre-analyste两家机构一起研究并推出的,提出以Open-PSA格式和XFTA计算引擎为核心的故障树安全分析技术,来应对工业项目标准化和可持续性问题。 Open-PSA标准是一种形式化的文本格式,在此次的故障树安全分析技术中主要用以XML为基础,促进复杂内容的自动交换(树、文本)等异构信息,实现模型的完整性与操作性。XFTA是一种故障树计算引擎,它允许基于OpenPSA格式的模型进行运行安全分析,为一种极好的最小幅度剪切计算算法。XFTA支持从模型的最小范围开始,实施所有常规概率评估: 当前故障树安全分析工作的主要问题体现在转换效率和信息分享上。AADL Inspector的新模块很好的解决了这两个问题,它支持多种模式导入的方式

阅、便捷的送达带给读书

瘦欲@ 提交于 2020-05-03 19:13:58
sdfsdf 服务网格作为一个改善服务到服务通信的专用基础设施层,是云原生范畴中最热门的话题。随着容器愈加流行,服务拓扑也频繁变动,这就需要更好的网络性能。服务网格能够通过服务发现、路由、负载均衡、心跳检测和支持可观测性,帮助我们管理网络流量。服务网格试图为无规则的复杂的容器问题提供规范化的解决方案 将供应链搬出中国,似乎成了过去两三个月新冠肺炎疫情衍生出的热门话题。 年初新冠肺炎疫情爆发,让中国供应链的生产活动几乎完全停顿,影响席卷全球:苹果的新 5G 有可能因疫情而延期推出,特斯拉新款芯片无法及时交付、陷入“芯片门”纠纷。其余像三星、小米、索尼等著名跨国企业,均受到供应链停摆的影响。 因此,pqablnz.answers.yahoo.com/question/index?qid=20200427235058AAdbG70?PJ9=39vph=53r answers.yahoo.com/question/index?qid=20200427235117AAzRV8X?HJ3=75xpt=73f in.answers.yahoo.com/question/index?qid=20200427235117AAzRV8X?JT9=51jhh=55f malaysia.answers.yahoo.com/question/index?qid=20200427235117AAzRV8X