AADL通过行为附件以状态机的形弌对鉏件的内部行汋建模
发布时间:2021/9/25 8:16:23 访问次数:343
Notecard可以以极低的开发成本,加快用于连接资产的蜂窝物联网解决方案的开发速度。
Blues Wireless Notecard 基于高性能、超低功耗的STM32L4R5 微控制器 (MCU)、先进的密钥管理和设备安全芯片 STSAFE-A,以及集成温度传感器、运动传感器和功耗优化的位置感知传感器的 LIS2DTW12模块。
围绕意法半导体产品,Notecard集成预付费嵌入式蜂窝数据服务、安全通信功能,和可显著缩短各种云连接物联网应用从概念到部署时间的创新开发模式。
制造商:Infineon产品种类:电源开关 IC - 配电RoHS: 详细信息类型:High Side输出端数量:1 Output输出电流:1.3 A电流限制:6.5 A导通电阻—最大值:150 mOhms运行时间—最大值:180 us空闲时间—最大值:200 us工作电源电压:6 V to 52 V最小工作温度:- 30 C最大工作温度:+ 85 C安装风格:SMD/SMT封装 / 箱体:SOIC-8系列:Industrial PROFET封装:Reel封装:Cut Tape封装:MouseReel商标:Infineon Technologies湿度敏感性:YesPd-功率耗散:1.5 W产品:Power Switches产品类型:Power Switch ICs - Power Distribution工厂包装数量:2500子类别:Switch ICs电源电压-最大:52 V电源电压-最小:6 V商标名:PROFET零件号别名:ISP752TXT SP000211730 ISP752TFUMA1单位重量:83.260 mg
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。
AADL通过行为附件以状态机的形弌对鉏件的内部行汋建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。
针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。
(素材来源:eccn和ttic.如涉版权请联系删除。特别感谢)
Notecard可以以极低的开发成本,加快用于连接资产的蜂窝物联网解决方案的开发速度。
Blues Wireless Notecard 基于高性能、超低功耗的STM32L4R5 微控制器 (MCU)、先进的密钥管理和设备安全芯片 STSAFE-A,以及集成温度传感器、运动传感器和功耗优化的位置感知传感器的 LIS2DTW12模块。
围绕意法半导体产品,Notecard集成预付费嵌入式蜂窝数据服务、安全通信功能,和可显著缩短各种云连接物联网应用从概念到部署时间的创新开发模式。
制造商:Infineon产品种类:电源开关 IC - 配电RoHS: 详细信息类型:High Side输出端数量:1 Output输出电流:1.3 A电流限制:6.5 A导通电阻—最大值:150 mOhms运行时间—最大值:180 us空闲时间—最大值:200 us工作电源电压:6 V to 52 V最小工作温度:- 30 C最大工作温度:+ 85 C安装风格:SMD/SMT封装 / 箱体:SOIC-8系列:Industrial PROFET封装:Reel封装:Cut Tape封装:MouseReel商标:Infineon Technologies湿度敏感性:YesPd-功率耗散:1.5 W产品:Power Switches产品类型:Power Switch ICs - Power Distribution工厂包装数量:2500子类别:Switch ICs电源电压-最大:52 V电源电压-最小:6 V商标名:PROFET零件号别名:ISP752TXT SP000211730 ISP752TFUMA1单位重量:83.260 mg
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。
AADL通过行为附件以状态机的形弌对鉏件的内部行汋建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。
针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。
(素材来源:eccn和ttic.如涉版权请联系删除。特别感谢)