Typographic hierarchy is established by the order of importance that elements are given on a page, based on their placement, size, and tone. Hierarchy determines what the reader’s attention is drawn to first, depending on how the page is laid out, and which information the designer has given the most emphasis.
排版设计的目的是将信息的所有元素组织成统一而和谐的交流,让浏览者以逻辑的顺序来吸收信息。排版层次结构是根据元素在页面上的重要性顺序建立的,基于它们的位置、大小和色调。层次结构决定了读者的注意力被吸引到第一,这取决于页面布局,信息设计师给了最强调的。

#STOOD##实时系统架构建模与验证工具#

近年来,随着硬件设备计算能力的不断提高,性能关键实时系统的规模和复杂性急剧增加,导致其开发成本和非功能属性的要求也越来越高,这对其开发中的设计合理性,验证完备性以及开发效率等方面都带来了一定的挑战。STOOD工具,可对自动飞行系统进行架构设计,并对模型进行可调度分析及进行运行时的方针验证,使系统设计者在系统架构设计时能够及时发现潜在的错误和问题,便于开发时及时做出调整,缩短开发周期,并避免后期损失。

● STOOD
STOOD是符合AADL和HOOD最新标准的安全关键系统软件建模工具。它支持统一的建模与架构设计语言AADL(Architecture Analysis and Desig Laguage),AADL满足安全关键的嵌入式实时系统的特殊需求。通过对AADL,UML和HOOD的支持,STOOD得到了持续的发展,应用到欧洲空间局(European Space Agency)的项目及大量的工业项目。

● STOOD带来的变化

① 改进关键系统开发维护的工程实践

STOOD是针对安全关键系统的建模工具,使用者在开发系统和软件架构模型的过程中,能将系统体系结构表示为各交互组件的分层结构,以软件、硬件和物理组件的接口组成并规范系统蓝图,有利于组织开展大规模、基于团队开发的工程实践。

② 提供体系结构中心方法的分析视角

STOOD采用体系结构中心方法,可以用它获取静态的模块化体系结构、以通信任务为基础的运行时体系结构、用于部署软件的计算机平台体系结构,以及与之进行交互的任何物理系统或环境。将自定义分析和系统规范与设计语言能力结合起来,为体系结构建模和分析建立一个完整的设计、仿真和验证的工程环境。

③ 关注任务系统运行期间的重点问题

STOOD使用在架构和详细设计阶段,应用在需求分析和集成之间。STOOD关注系统的功能性与软硬件要素、软件体系结构与硬件体系结构的对应关系,支持多种可扩展的分析方法,如时间正确性分析、故障时间或故障概率建模、功能行为验证和自动代码生成等,将系统级的问题在系统集成和验收实验之前显露并推演出来,避免在开发和维修中进行为时已晚的、昂贵的返工。

● STOOD优势
①支持实时系统软件的全模型开发
②支持AADL-SAE国际标准
③支持遗传Ada和C代码导入
④符合工业标准-包括DO178B

● STOOD功能

① 需求追踪:

STOOD提供简便和有效的方法来处理系统、软件模块以及从纯文本文件或远程工具导入的初始需求之间的更新追踪;

② 架构设计:

STOOD图形编辑器是用来创建软件及其运行环境(库,执行平台,…)的架构模型的。STOOD建立图形化模型的意图不是显示所开发系统或软件的细节,而是聚焦在系统架构问题上的设计工作;

③ 模型实例

STOOD为设计师提供了直接进行实例化建模能力,如果必要能够得出抽象的模型。这种方法极大的提高了架构设计和验证活动之间的相互作用的能力;

④ 详细设计&编码

STOOD提供了一个专门的解决方案,使用所有低层次细节来丰富架构模型,一致性适当的模型验证处理,代码和文档生成。STOOD详细设计行为是基于HOOD对象描述(ODS)的概念,完全支持AADL性能和用户定义的配置定制;

⑤ 系统设计确认

STOOD包含一组由LMP技术实现的静态模型验证工具。这些工具嵌入在STOOD中,通过AADL和HOOD模型的构成利用自动更新的交叉引用表格;

⑥ 外部分析工具接入

除STOOD可作为设计检查器之外,外部的模型检查工具也可借助AADL接口轻松地与STOOD连接;

⑦ 代码自动生成

在建模活动的任何阶段,都可选择生成“ready to compile”的代码文件集和相应的makefile。支持的目标语言为Ada,C和C++;

⑧ Round-trip工程和逆向工程

当详细设计活动尚未完全完成,底层代码细节还未在ODS段内显现,可以在STOOD外使用注释源文件来丰富文本信息,然后重新导入工具,以更新的设计模型。此外,采用Ada或C的源代码可导入STOOD生成相应的设计组件;

⑨ 设计文档

生产文档是大多数项目的一项重要且耗时的活动。使用STOOD,可以自动生成一个完整的设计文件,和一致的架构及源代码,也已产生的相同的设计参考;

⑩ 模型分析

AADL Inspector能加载多文本的AADL文件或项目,实现系统规格设计,并可通过AADL行为附录以及错误附录进行扩展分析。Ellidiss及其合作者开发了AADL Inspector集成了多种分析工具,为设计工程提供遵循AS5506C标准的分析报告。

● STOOD成功案例
①Airbus A340/A380

用于地面和机上嵌入式软件应用

目标和语言:Sun/Solaris Ada 83/95、Windows C/C++

使用HOOD设计方法和Stood工具进行静态设计

支持面向对象的方法,提供通用的模块化手段

基于抽象的数据类型(使得应用结构稳定)和控制流(描述任务及其交互)

保证了软件开发和编码任务的质量,不论目标语言是什么,设计和代码都是一致的,遵

循了软件工程的准则

②Jason-1高度卫星

用于开发星载POSEIDON 2控制软件,该软件测量卫星与海平面的距离

在DORIS系统开发中起关键作用,DORIS是决定卫星轨道的实时系统

用于PROTEUS多任务总线的软件设计环境

在上述项目中,Stood都被用来进行架构设计和软件实现、代码和文档的产生

③Tigre直升机

用于反坦克和防护任务计算机

顶级大平层在找寻调性与舒适平衡之间,又确保其空间具备灵活可塑性。质感内敛的天然材料与深色系的墙面基调铺陈出一个流动的空间和自由的平面。房子里的留白空间就像是画布,房主从世界各地收集来的艺术作品和旅行的照片都可以在这里展出,纪录属于他们的故事和脚步。(平面图)项目地址 Project Loction | 苏州昆山·昆玉九里项目面积 Project Area

| 200㎡设计时间 Desig... https://t.cn/EiPjWee https://t.cn/z8ACu3i


发布     👍 0 举报 写留言 🖊   
✋热门推荐
  • #不同国家殖民地的不同发展# “在英属美洲殖民地,第一批移民的个人主义、社群意识和参与政府事务的决心奠定了美国建国时坚实的民主制度。 在加拿大、澳大利亚和新
  • 2020年再见,你好2021年 5, 4, 3, 2, 1…… 新年快乐! 又完美地在被窝里跨年,舒服! 此时此刻,两个儿子陪伴在我的左右,幸福
  • #润百颜不需要女性消费者##探寻华熙生物玻尿酸梦工厂# 作为全球最大的玻尿酸企业之一,华熙生物的主要客户群体都是女性。 但旗下子品牌“润百颜”却找了个有侮
  • 外卖了份螺蛳粉[馋嘴]结果商家没送来筷子… 怎么办呢 于是。我拿出了“珍藏已久”的仅剩叉子和勺的如图所示的小型餐具 准备“大快朵颐” 当我用勺子给自己喂花生豆的
  • 世界忽然消失了,一群中学三年级的学生和自己的学校开始了“漂流”,偌大的世界仿佛只剩下了他们和这所学校。奇特的是,每个人渐渐发现,在“漂流”过程中自己拥有了超能力
  • 情系老检察 重阳话初心——双牌县人民检察院召开重阳节座谈会 最美夕阳红,人间重晚晴。为继承和弘扬老一辈检察干警的优良作风和光荣传统,10月15日,双牌县检察院
  • 傻哥最近在看北京的房子。其实每一个房子都是独一无二的,房本就是该资产的NFT代币。但有趣的是,北京市场总有些大楼盘,同户型的房子非常多。这一类就接近Fungib
  • #收集好运# 笑死 最后一次抽盲盒已经是九月份的事情了 十月份玩太嗨 已经没钱肝泡泡玛特了 今天早上cr透卡的时候发给我中了她想要的盲盒 我就想起来还有送的透
  • 善良,就是对世间万物的每一点关怀。善良就是这么简单,无需花哨的言语,从一举一动中流露,时刻温暖人心。再漂亮的人,也会有凄凉;再执着的未来,也会有以往;再潇洒的海
  • #偶像梦幻祭[超话]#看看我们佛系吃谷诚一小团 是一个比较佛系的野团,没有固团,没有妈位,默认无燐音,niki,毛,汪多薰,纯。其余手速,调价抄作业(温和版)随
  • #画家刘文顺# #艺术的生命# #国画风水# 书画作品注重气韵和笔情墨趣,意境隽永,耐人寻味。画格有四,逸格、神格、妙格、能格。“盖能不及妙,妙不及神,神不及逸
  • #理智追星从我做起##全网抵制私生理智追星##时代少年团# 致SS喜欢的前提是尊重,别把自己的喜欢看的那么理所当然,你们的所作所为,让一群年均未成年的小朋友们
  • 从前的时候我们总是以为来日方长,未来可期,以为有大把的时间可以浪费。 走过了半生,才知道这世间最易逝的是时间,最值得我们珍惜的是身边人。 别伤了亲人的心,也别让
  • 对于卑微的人,要想摆脱自己在生活和爱情里的现状,最主要就是让自己变得自信起来。 而建立自信的第一步,那就是先学会从自身寻找一定的闪光点(每个人都是有闪光点的,不
  • #NCT_DREAM[超话]##NCT DREAM 未来可期# 211011 韩网更新 最先举行的NCT DREAM的不接触公演'DREAM CINEMA'
  • 【传灯法师:净土法语】 修行法门,乃如来对病之良药也。药随病广,数逾恒沙。求其至捷径,最简要者,莫胜于念佛求生净土法门。可谓速出生死之玄关,疾成觉道之秘诀也。
  • 已经想不起来自己以前是个什么鸟样子了 我最值得被记住的时候仅仅短暂的放了个蔫炮就这么结束了 反正现在仅仅是掉进人海里立马找不见的死宅一枚 每天穿着大裤衩和洞洞鞋
  • 赠予你57条适合过生日发的文案[蛋糕] ☽★ ⋆ . · ⋆⋆ ⋆. 1、ᵕ̈ʜᵅᵖᵖᵞ ʙⁱʳᵗᑋᵈᵃᵞ 2、观察地球第18年 3、叮 按时长大 4、管
  • 【#以同事为原型创作狗血剧被判侵权#】项某是某公司办公室的一名行政专员,从事公章管理工作。在与前妻杜某登记离婚后,项某与公司内一部门经理谭某结婚。徐某是该公司的
  • 风水师不敢说的秘密!#道教知识# 风水生万物,有风水的地方草木会旺盛,有住宅的门庭兴旺,如果葬了先人,其阴德也会恩泽后世。 有人神通阴阳,天眼可看清风流水